Mriganka Basu Roy Chowdhury mbrc12

I hereby claim:

To claim this, I am signing this object:

Specification of the command line tool for purity and nullability analysis

Throughout this document, a ! means that the said option is not implemented yet.

The following specificies the details of the command line interface exposed by the tool. Please note that this is subject to change:

The following options are planned as of yet:

	<!-- /public/index.html -->
	<html>
	<script src = "/js/main.js"></script>
	<script>window.onload = cjs1.main.main </script>
	<style>
	body { margin: 0; }
	canvas { display: block; }
	</style>
	<body>
	</body>

	public class Branch<T> implements Tree<T>{
	private T elem;
	private Tree<T> left;
	private Tree<T> right;

	public Branch(T elem, Tree<T> left, Tree<T> right) {
	this.elem = elem;
	this.left = left;
	this.right = right;
	}

	import scala.annotation.tailrec

	sealed trait Trampoline[+A]

	case class Done[A](x : A) extends Trampoline[A]
	case class More[A](x : () => Trampoline[A]) extends Trampoline[A]
	case class Act[A, B](x : Trampoline[B], f : (B => Trampoline[A])) extends Trampoline[A]

	object Runner {
	@tailrec

	(setq inhibit-splash-screen t)
	(tool-bar-mode -1)
	(toggle-scroll-bar -1)
	(add-to-list 'default-frame-alist
	'(vertical-scroll-bars . nil))
	(menu-bar-mode -1)
	(show-paren-mode 1)

	(setq-default tab-width 4)
	(setq indent-tabs-mode nil)

	{-# LANGUAGE TypeApplications #-}

	import Control.Concurrent
	import Control.Concurrent.MVar
	import Control.Monad
	import Control.Parallel
	import Data.Vector ((!))
	import Debug.Trace
	import System.Exit (die)
	import qualified Data.Vector as V

	==================== Tidy Core ====================
	Result size of Tidy Core
	= {terms: 548, types: 702, coercions: 164, joins: 4/13}

	-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
	maxn :: Int
	maxn = I# 1000000#

	-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
	$trModule4 :: Addr#

	{-
	fractal : A fractal generator in haskell

	Author : Mriganka Basu Roy Chowdhury

	Install : Preferably (if you don't want cabal hell),
	form a cabal sandbox and install JuicyPixels
	and optparse-applicative. Then just
	cabal exec -- ghc fractal.hs -O3
	Please use -O3, as otherwise, the generation

	````
	Error: While constructing the build plan, the following exceptions were encountered:

	In the dependencies for conf-0.1.1.0:
	base-4.10.1.0 from stack configuration does not match >=4.6 && <4.8 (latest matching version is 4.7.0.2)
	needed due to etanol-0.1.0.0 -> conf-0.1.1.0

	In the dependencies for etanol-0.1.0.0:
	base-4.10.1.0 from stack configuration does not match ==4.7.0.2 (latest matching version is 4.7.0.2)
	needed since etanol is a build target.