24193 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
joshvera	911143f618	++grpc-haskell	2018-07-06 13:15:57 -04:00
joshvera	8e4cbb73b4	Reset the field number when passing it down to children of a sum type	2018-07-06 13:12:12 -04:00
Rob Rix	f3e58ca6be	Merge pull request #2020 from github/traverse-unspecialized-eval ... Traverse in default eval	2018-07-06 11:16:54 -04:00
Rob Rix	c39b8532c9	Merge branch 'master' into traverse-unspecialized-eval	2018-07-06 10:48:23 -04:00
Rob Rix	daab0f421a	Merge pull request #2012 from github/abstract-abstract-semantics ... Abstract abstract semantics	2018-07-06 10:48:00 -04:00
Rob Rix	cc1b2f61bf	Merge branch 'master' into traverse-unspecialized-eval	2018-07-06 10:33:28 -04:00
Rob Rix	c80b5ac7c5	Merge branch 'master' into abstract-abstract-semantics	2018-07-06 10:29:39 -04:00
Charlie Somerville	680d1240dd	Merge pull request #2011 from github/charliesome/substitution ... Implement substitution in unification	2018-07-06 14:34:07 +10:00
Charlie Somerville	fa8ad0d1bc	add doc comments to occur,. prune, and substitute	2018-07-06 11:58:00 +10:00
Timothy Clem	e57a46063f	Traverse in default eval	2018-07-05 14:55:23 -07:00
joshvera	03244d0ae9	Rename Relative to IsRelative	2018-07-05 17:12:17 -04:00
joshvera	c05e7e76aa	Add a unit test for method roundtrips	2018-07-05 15:21:25 -04:00
joshvera	ceebdbdfc2	Namespace languages so their message definitions don't overlap	2018-07-05 15:16:05 -04:00
Rob Rix	d20f9a4d5d	Corrections for higher-order effects.	2018-07-05 14:29:14 -04:00
Rob Rix	bcbc70446c	Merge branch 'charliesome/substitution' into abstract-abstract-semantics	2018-07-05 14:15:01 -04:00
Rob Rix	120483c323	Use raiseHandler to obviate the need for Monad constraints.	2018-07-05 14:09:46 -04:00
Rob Rix	4ffcd89076	One last missing Effects constraint.	2018-07-05 14:08:19 -04:00
Rob Rix	3c97647d6c	State is the other way around now.	2018-07-05 14:07:54 -04:00
Rob Rix	086c417dff	Add a couple of Effects constraints.	2018-07-05 14:07:41 -04:00
Rob Rix	6ef1e5f7c8	Alphabetize the contexts.	2018-07-05 14:05:17 -04:00
Rob Rix	e70d14bb52	Merge branch 'master' into charliesome/substitution	2018-07-05 14:05:01 -04:00
Rob Rix	e2b117cecd	Merge pull request #2013 from github/bracketing-environments ... Bracketing environments	2018-07-05 11:47:20 -04:00
Rob Rix	05f547b7d1	Merge branch 'master' into bracketing-environments	2018-07-05 11:17:42 -04:00
Rob Rix	e3e3514949	Merge pull request #1956 from github/higher-order-effects ... Higher-order effects	2018-07-05 11:16:34 -04:00
Rob Rix	b883f6a5e1	Merge branch 'charliesome/substitution' into abstract-abstract-semantics	2018-07-05 09:39:50 -04:00
Charlie Somerville	b819ff8a3b	add separate InfiniteType constructor to TypeError	2018-07-05 22:56:48 +10:00
Charlie Somerville	fa00126ab6	prune type before case matching in occur	2018-07-05 22:41:15 +10:00
Charlie Somerville	9a227edcdc	rename exist to occur	2018-07-05 22:40:49 +10:00
Rob Rix	bd43be37eb	Merge branch 'charliesome/substitution' into abstract-abstract-semantics	2018-07-04 12:21:20 -04:00
Rob Rix	b046630c43	Fix the type of the handler.	2018-07-04 12:20:51 -04:00
Rob Rix	a96667a02d	🔥 some scoped type variables.	2018-07-04 12:12:46 -04:00
Rob Rix	043c8a18d9	Replace Push/Pop with a single higher-order action.	2018-07-04 12:12:23 -04:00
Rob Rix	4f345c7603	Fix up the return type of runTypesWith.	2018-07-04 12:02:25 -04:00
Rob Rix	95cbf207e8	🔥 Evaluating.	2018-07-04 11:38:57 -04:00
Rob Rix	174f1b9acc	Evaluate the traversable container in parallel.	2018-07-04 11:35:39 -04:00
Rob Rix	7b262ac381	Define runTypesWith.	2018-07-04 11:30:33 -04:00
Rob Rix	b8eefb3db1	Restore runTypeErrorWith.	2018-07-04 11:28:53 -04:00
Rob Rix	474fb302e8	Bump effects for a fix to eavesdrop.	2018-07-04 11:23:38 -04:00
Rob Rix	f6f4eed29d	Correct Semantic.Graph.	2018-07-04 11:02:08 -04:00
Rob Rix	cf8274a6c7	Correct Semantic.Parse.	2018-07-04 10:57:19 -04:00
Rob Rix	fc309ae7e6	Lift IO.	2018-07-04 10:54:14 -04:00
Rob Rix	ea9b24a903	State is the other way around now.	2018-07-04 10:53:46 -04:00
Rob Rix	ddbd2690bb	Merge branch 'master' into higher-order-effects	2018-07-04 10:53:04 -04:00
Rob Rix	2a6b1dd109	Move Data.Abstract.Type to Data.Abstract.Value.Type.	2018-07-04 10:46:13 -04:00
Rob Rix	4c8359176b	Merge remote-tracking branch 'origin/charliesome/substitution' into abstract-abstract-semantics	2018-07-04 10:44:55 -04:00
Rob Rix	aac98ec0ef	Merge branch 'master' into abstract-abstract-semantics	2018-07-04 10:44:44 -04:00
Rob Rix	6f3739f4a3	Merge branch 'master' into abstract-abstract-semantics	2018-07-04 10:44:35 -04:00
Rob Rix	ec65999a94	Merge branch 'master' into charliesome/substitution	2018-07-04 10:43:47 -04:00
Rob Rix	50632bf99f	Merge pull request #2009 from github/more-languages ... Add support for more languages	2018-07-04 10:43:24 -04:00
Rob Rix	77178650bf	Factor the common shape of running assignment out.	2018-07-04 10:28:09 -04:00