22458 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	54150552b3	Merge branch 'master' into 🔥-galign	2018-05-29 08:53:37 -04:00
Rob Rix	4843b03186	Merge pull request #1892 from github/values-as-ordinary-adt ... Values as ordinary ADT	2018-05-28 14:38:37 -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
Josh Vera	73d7cfbbfc	Merge branch 'master' into ctags-protip	2018-05-24 11:23:45 -04:00
Rob Rix	e141f0e6ac	Swap the order of Value’s parameters.	2018-05-24 11:20:04 -04:00
Rob Rix	02a595cc36	Infer the type of runType.	2018-05-24 11:18:26 -04:00
Rob Rix	39851a602e	🔥 EmbedAny/Embed.	2018-05-24 11:17:50 -04:00
Rob Rix	98bd85f676	Parameterize Value by opaque instead of effects.	2018-05-24 11:17:08 -04:00
Rob Rix	5144f41a6e	🔥 a redundant import.	2018-05-24 11:16:59 -04:00
Rob Rix	be85a89c72	🔥 the ModuleInfo/PackageInfo stuff from the experiment.	2018-05-24 11:14:01 -04:00
Rob Rix	a346886950	Swap Function’s parameters again.	2018-05-24 11:10:48 -04:00
Rob Rix	f05de7ab1a	Rename runEmbedEval to unEmbedEval.	2018-05-24 11:02:41 -04:00
Rob Rix	37f7aa8ff8	Spike out a candidate implementation of embedEval.	2018-05-24 11:02:26 -04:00
Rob Rix	3bf6074f6e	Define embedEval monadically.	2018-05-24 10:51:40 -04:00
Rob Rix	871d2e8dfb	Use the normal effect handling flow for runType.	2018-05-24 10:48:44 -04:00
Rob Rix	f7442219af	🔥 more redundant constraints.	2018-05-24 10:48:20 -04:00
Rob Rix	6ec225948b	🔥 a redundant constraint.	2018-05-24 10:47:31 -04:00
Rob Rix	e4c91a6d1f	Interpret in runFunctionType.	2018-05-24 10:43:45 -04:00
Rob Rix	f176cd2c14	Interpret in runUnitType.	2018-05-24 10:42:49 -04:00
Rob Rix	13366d65c0	Interpret in runBooleanType.	2018-05-24 10:42:42 -04:00
Rob Rix	a9041e0002	Interpret in runVariable.	2018-05-24 10:42:26 -04:00
Rob Rix	218c283d18	Move the basic effect handlers out of runType.	2018-05-24 10:22:25 -04:00
Rob Rix	589ef3534f	Move the Fresh handler into runType.	2018-05-24 10:20:34 -04:00
Rob Rix	32b39faad9	🔥 the final type parameter.	2018-05-24 10:19:22 -04:00
Rob Rix	dc5d3ecc76	Run progs.	2018-05-24 10:12:58 -04:00
Rob Rix	3dfc4ec336	Use opaque in Function.	2018-05-24 10:07:44 -04:00
Rob Rix	bf6aefc871	Stub in helpers to hide and reveal evaluators under the opaque parameter.	2018-05-24 10:07:20 -04:00
Rob Rix	228e686781	Specialize runFunctionType to use allocType/assignType.	2018-05-24 09:57:13 -04:00
Rob Rix	0a841bafea	opaque is * -> *.	2018-05-24 09:54:51 -04:00
Rob Rix	8bc9178a31	Specialize the Type handlers to Eval.	2018-05-24 09:54:28 -04:00