24344 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	c36f319a50	Merge branch 'master' into more-languages	2018-07-04 10:12:44 -04:00
Rob Rix	76de5a979c	Merge pull request #2008 from github/error-correcting-json-assignment ... Error correcting JSON assignment	2018-07-04 10:08:19 -04:00
Rob Rix	0b8ffe6339	Define an AbstractValue instance for Abstract.	2018-07-04 09:36:15 -04:00
Rob Rix	4f118789f0	Define an AbstractFunction instance for Abstract.	2018-07-04 09:30:48 -04:00
Rob Rix	4628187f39	Define an AbstractIntro instance for Abstract.	2018-07-04 09:30:38 -04:00
Rob Rix	a9ea68ac2a	Define an AbstractHole instance for Abstract.	2018-07-04 09:24:17 -04:00
Rob Rix	1f383050d2	Define a ValueRoots instance for Abstract.	2018-07-04 09:23:25 -04:00
Rob Rix	96d63e2166	Derive some instances for Abstract.	2018-07-04 09:22:44 -04:00
Rob Rix	b685f593af	Stub in an abstract value type.	2018-07-04 09:22:17 -04:00
Rob Rix	de7ac163d6	Stub in a module for abstract value semantics.	2018-07-04 09:21:51 -04:00
Charlie Somerville	b05e2bcac2	implement substitution in unification	2018-07-04 16:16:22 +10:00
Charlie Somerville	bebb6ebe6b	add a type map to type checker and prune types in unification	2018-07-04 15:48:41 +10:00