22471 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	6f0570c828	Rename the term parameter to body.	2018-05-28 11:55:46 -04:00
Rob Rix	385882faae	Sort this deriving clause too.	2018-05-28 11:54:34 -04:00
Rob Rix	4406c84ba0	Define an Ord instance for SomeBuiltin.	2018-05-28 11:52:58 -04:00
Rob Rix	71c1e50c0b	Define an Eq instance for SomeBuiltin.	2018-05-28 11:52:31 -04:00
Rob Rix	5116d52da7	Define an existential abstraction over Builtin.	2018-05-28 11:52:05 -04:00
Rob Rix	d0e07f76b8	Sort the deriving clause.	2018-05-28 11:51:26 -04:00
Rob Rix	517c9305ec	Use ClosureBody to define Closure.	2018-05-28 11:49:09 -04:00
Rob Rix	916a325d85	Define a ClosureBody datatype.	2018-05-28 11:47:14 -04:00
Rob Rix	e9d9ebe466	Correct some alignment.	2018-05-28 11:23:10 -04:00
Rob Rix	ef9ef17c3b	defineBuiltins wraps the Prim effect.	2018-05-28 11:22:32 -04:00
Rob Rix	20f918e7f7	evaluatePackageBody provides a Primitive effect.	2018-05-28 11:16:51 -04:00
Rob Rix	0d034f5ddc	Builtins are indexed by their argument/return types.	2018-05-28 11:14:01 -04:00
Rob Rix	22e01c9ed3	Define builtin behaviours in runPrimitive.	2018-05-28 10:58:27 -04:00
Rob Rix	54988fa3df	lambda assumes no free variables.	2018-05-28 10:52:29 -04:00
Rob Rix	3fcdae3ac8	📝 prim.	2018-05-28 10:51:24 -04:00
Rob Rix	9d36699682	Primitive requests take parameters.	2018-05-28 10:48:17 -04:00
Rob Rix	116f64eb75	Define a smart constructor for Primitive requests.	2018-05-28 10:44:07 -04:00
Rob Rix	aea17bb2ec	Define a handler for Primitive effects.	2018-05-28 10:43:00 -04:00
Rob Rix	fc5600e23c	Define a Primitive effect.	2018-05-28 10:40:44 -04:00
Rob Rix	cb10c3decf	Derive Bounded & Enum instances for Builtin.	2018-05-28 10:09:30 -04:00
Rob Rix	fd548475cf	Define builtins using Builtin.	2018-05-28 10:09:11 -04:00
Rob Rix	46d871a98a	Define a helper to derive printable names from Builtins.	2018-05-28 10:08:36 -04:00
Rob Rix	d7cc70ec06	Define a datatype naming builtins.	2018-05-28 10:04:53 -04:00
Rob Rix	a01e723b31	Run ValueErrors in TermEvaluator.	2018-05-28 09:55:01 -04:00
Rob Rix	49de5d3357	Generalize runGoto.	2018-05-28 09:51:58 -04:00
Rob Rix	ed8127d23d	Generalize runAllocator.	2018-05-28 09:49:45 -04:00
Rob Rix	b888ff3d9e	Generalize runReturn & runLoopControl.	2018-05-28 09:45:40 -04:00
Rob Rix	015b74cf41	Give Value a term type parameter once more.	2018-05-28 09:35:42 -04:00
Rob Rix	a2135fda74	Don’t use overloaded lists.	2018-05-28 09:35:03 -04:00
Rob Rix	2993c3588c	Correct the specs.	2018-05-28 08:54:33 -04:00
Rob Rix	ea94863148	Fix a couple of hints.	2018-05-28 08:45:02 -04:00
Rob Rix	8f183d5f86	Represent Value as a normal ADT.	2018-05-28 08:44:45 -04:00
Josh Vera	3641d6d18c	Merge pull request #1885 from github/ctags-protip ... Ctags protip	2018-05-24 14:09:17 -04:00
Rob Rix	12b0f12f64	Merge branch 'master' into ctags-protip	2018-05-24 13:43:48 -04:00
Timothy Clem	5abcef5e31	Merge pull request #1874 from github/deployment-setup ... Tuning deployment setup: health checks and successfully deploy	2018-05-24 10:35:41 -07:00
Timothy Clem	a15efb9327	Merge branch 'master' into deployment-setup	2018-05-24 10:13:25 -07:00
Rob Rix	542ae1e397	Merge branch 'master' into ctags-protip	2018-05-24 12:54:04 -04:00
joshvera	feca9a573b	Ignore codex.tags files	2018-05-24 12:43:13 -04:00
Rob Rix	7c981969e8	Merge pull request #1886 from github/rearrange-value-ref-and-friends ... Rearrange ValueRef and friends	2018-05-24 12:37:40 -04:00
Rob Rix	2ca068a484	Fix a renaming.	2018-05-24 12:30:42 -04:00
Rob Rix	127ed8a26a	Merge branch 'master' into rearrange-value-ref-and-friends	2018-05-24 12:23:30 -04:00
Rob Rix	d9b13aec04	Simplify further.	2018-05-24 12:23:14 -04:00
Rob Rix	d819051bf4	Placate hlint.	2018-05-24 12:22:55 -04:00
Rob Rix	3a5d1de162	🔥 redundant hiding.	2018-05-24 12:21:45 -04:00
Josh Vera	0ea30d43aa	Merge pull request #1883 from github/haskell-assignment ... Haskell assignment #1	2018-05-24 12:18:26 -04:00
Rob Rix	5ac256e340	🔨 fix the type in the spec	2018-05-24 12:09:20 -04:00
Josh Vera	32f0bb2a8a	Merge branch 'master' into haskell-assignment	2018-05-24 12:05:32 -04:00
joshvera	33d31e045f	appease hlint	2018-05-24 12:04:29 -04:00
Josh Vera	38d438d540	Merge branch 'master' into deployment-setup	2018-05-24 11:52:40 -04:00
Rob Rix	3a8ee0dca2	Back out all of the effect decomposition stuff.	2018-05-24 11:26:42 -04:00