3220 Commits

Author	SHA1	Message	Date
Charlie Somerville	435a211fc4	Merge branch 'master' into charliesome/value-ref-address	2018-06-01 14:20:07 -07:00
Charlie Somerville	7478c4a6de	Merge branch 'master' into charliesome/value-ref-address	2018-06-01 12:50:11 -07:00
Ayman Nadeem	3613373a8a	Merge branch 'master' into java-assignment	2018-06-01 11:52:56 -07:00
Ayman Nadeem	1808d53a3b	correct text fixtures according to and/or ruby bug fix	2018-06-01 11:16:00 -07:00
Rick Winfrey	057de6df34	Add aglebraic datatype tests	2018-06-01 10:56:12 -07:00
Charlie Somerville	32268b1710	Merge branch 'master' into charliesome/value-ref-address	2018-05-31 20:34:05 -05:00
Ayman Nadeem	e030824d52	fix conflicts with new haskell additions	2018-05-31 15:32:10 -07:00
Charlie Somerville	3c38b5fa46	Merge branch 'master' into charliesome/value-ref-address	2018-05-31 11:54:44 -05:00
Rick Winfrey	9016553aaa	Merge branch 'master' into haskell-assignment	2018-05-31 11:22:45 -05:00
Rick Winfrey	c49ce6d5a7	Merge branch 'master' into haskell-assignment	2018-05-30 19:21:11 -05:00
Rick Winfrey	cc3a215833	Update specialized constructors ([], (,), (->), ()) ... Also updates the `TuplingConstructor` to store its arity as Int	2018-05-30 17:17:05 -07:00
Rob Rix	6f9cfae147	Merge branch 'master' into env-effect	2018-05-30 18:57:52 -04:00
Rob Rix	08cf65718f	Fix the evaluator spec.	2018-05-30 17:20:08 -04:00
Rob Rix	bcf9338b75	Update the language specs to respect the env-per-entry-point thing.	2018-05-30 17:19:05 -04:00
Rick Winfrey	b270130cc0	Merge branch 'master' into haskell-assignment	2018-05-30 12:33:37 -05:00
Rob Rix	f9c7f2836d	runEnv in the evaluator spec.	2018-05-30 13:03:50 -04:00
Timothy Clem	ddc4923e88	Fix tests	2018-05-30 09:53:01 -07:00
Timothy Clem	51394186f9	Merge remote-tracking branch 'origin/master' into enhanced-json-output	2018-05-30 07:50:29 -07:00
Rob Rix	6adc5d7413	Placate hlint some more.	2018-05-30 10:33:51 -04:00
Rob Rix	e9880781e5	Make sure we can load the Address module.	2018-05-30 09:51:08 -04:00
Rob Rix	f9b29f143e	And another.	2018-05-30 09:46:56 -04:00
Rob Rix	04b43477c9	🔥 a reference to Address in the spec.	2018-05-30 09:46:30 -04:00
Timothy Clem	2d08451d87	Call [] Statements	2018-05-29 14:25:31 -07:00
Charlie Somerville	b72b442e0c	WIP Merge branch 'master' into charliesome/value-ref-address	2018-05-29 16:06:45 -05:00
Rob Rix	8fc1ccaa19	Merge branch 'recursive-type-families-are-not-our-friends' into 🔥-galign	2018-05-29 12:49:29 -04:00
Rob Rix	dda2f9897b	Merge branch 'master' into 🔥-galign	2018-05-29 12:48:34 -04:00
Charlie Somerville	e0b4be74a9	Merge branch 'master' into charliesome/value-ref-address	2018-05-29 11:38:09 -05:00
Rob Rix	81032f34ec	Whoops.	2018-05-29 12:26:36 -04:00
Rob Rix	f5572e41ca	Use Member instead of Members everywhere!	2018-05-29 12:09:09 -04:00
Timothy Clem	2134f04ffe	Merge branch 'master' into haskell-assignment	2018-05-29 08:34:52 -07:00
Rob Rix	54150552b3	Merge branch 'master' into 🔥-galign	2018-05-29 08:53:37 -04:00
Rob Rix	6b780d297d	Revert "These are probably integers." ... This reverts commit d2a74b2a4ca1472976abfccc09601c60840c1761.	2018-05-28 16:06:25 -04:00
Rob Rix	0f3c7df8d1	These are probably integers.	2018-05-28 16:05:03 -04:00
Rob Rix	038d3d07eb	Test the return values	2018-05-28 15:44:48 -04:00
Rob Rix	7b02e3e64f	Correct the EnvironmentError application.	2018-05-28 15:30:19 -04:00
Rob Rix	f0c220906a	Partially apply Eff in the tests.	2018-05-28 14:48:00 -04:00
Rob Rix	cc02cfd8eb	AbstractIntro is pure.	2018-05-28 14:47:42 -04:00
Rob Rix	89b90496b7	Don’t qualify this name.	2018-05-28 14:47:20 -04:00
Rob Rix	b3b47a34df	🔥 Goto.	2018-05-28 14:42:46 -04:00
Rob Rix	282c02fbbd	Embed the evaluating action into the closure body.	2018-05-28 14:11:08 -04:00
Rob Rix	a01e723b31	Run ValueErrors in TermEvaluator.	2018-05-28 09:55:01 -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
Rick Winfrey	e74bfca4bd	Assign basic type synonym declarations	2018-05-25 01:57:20 -05:00
Rick Winfrey	ea18738a28	Assign string and array literals	2018-05-25 01:57:20 -05:00
Rick Winfrey	d86a41f17c	Assign character literals	2018-05-25 01:57:20 -05:00
Rob Rix	127ed8a26a	Merge branch 'master' into rearrange-value-ref-and-friends	2018-05-24 12:23:30 -04:00
Rob Rix	5ac256e340	🔨 fix the type in the spec	2018-05-24 12:09:20 -04:00
Rob Rix	eeb604569d	Merge branch 'master' into decompose-values	2018-05-24 09:11:19 -04:00