418 Commits

Author	SHA1	Message	Date
Patrick Thomson	3e7f746d9d	Remove template comments.	2020-06-27 16:24:41 -04:00
Patrick Thomson	a6ab4c4d25	Remove unnecessary Stackage deps.	2020-06-27 12:53:17 -04:00
Patrick Thomson	dbce051436	simplifying target layouts.	2020-06-27 12:47:04 -04:00
Patrick Thomson	6c3a08c735	save a ton of code	2020-06-25 08:56:09 -04:00
Patrick Thomson	deae1e32e0	remove deprecated src_strip_prefix thing	2020-06-23 11:29:02 -04:00
Patrick Thomson	3aecbcc98a	Merge remote-tracking branch 'origin/master' into bazel-experiments	2020-06-23 11:03:39 -04:00
Patrick Thomson	801ef3bfc3	use the same GHC warnings everywhere	2020-06-23 09:45:10 -04:00
Patrick Thomson	b208bb91ad	Merge remote-tracking branch 'origin/master' into bazel-experiments	2020-06-09 14:35:24 -04:00
Ayman Nadeem	41d8ebb3de	Merge branch 'master' into codegen-cleanup	2020-06-08 10:57:49 -04:00
Patrick Thomson	ca8475057d	formatting	2020-05-27 14:18:21 -04:00
Patrick Thomson	215fe31bf1	Use black for formatting Bazel files.	2020-05-21 19:24:56 -04:00
Alexei Pastuchov	a3c49edd31	improvement of AST.Test.exampleParser ... implement outputSepParser in the way tree-sitter do it. See e8e80b1cf1/cli/src/test.rs (L20)	2020-05-20 11:39:53 +02:00
Patrick Thomson	f05dc8eb9c	source, analysis, and ast work	2020-05-19 12:52:01 -04:00
Ayman Nadeem	4d0a1151af	move AST.Parse import	2020-05-18 18:30:13 -04:00
Ayman Nadeem	9255d5c46f	Update Element.hs	2020-05-08 14:52:02 -04:00
Ayman Nadeem	40641dbb6e	removed shapeParameterName for now	2020-05-08 14:44:58 -04:00
Ayman Nadeem	acc0ceaa26	export EPrj pattern synonym	2020-05-07 15:27:08 -04:00
Ayman Nadeem	4fec608d3f	need AST.Parse for Parse.Err	2020-05-07 15:26:57 -04:00
Ayman Nadeem	f75a056fbb	introduce pattern synonym for matching on Success and Prj	2020-05-07 15:26:42 -04:00
Ayman Nadeem	09e20bba15	unmarshalField instance still needed because we want to use Err to build product types	2020-05-07 13:32:23 -04:00
Ayman Nadeem	e48a0fe029	Remove unmarshal instance for Err, as we no longer need this	2020-05-07 13:24:21 -04:00
Ayman Nadeem	c9f0deabdb	success is a noun (and a journey)	2020-05-07 13:07:01 -04:00
Ayman Nadeem	d976447be8	remove f from token now that we no longer parameterize our programs with it	2020-05-07 13:06:07 -04:00
Ayman Nadeem	ce6ee75d58	Token no longer has the generalized f param with (* -> *)	2020-05-07 12:46:15 -04:00
Ayman Nadeem	72d8ad5792	remove shapeParameterName from all generated datatypes and hardcode Parse.Err when building product types	2020-05-07 11:37:29 -04:00
Ayman Nadeem	67fb8287bd	Update Token.hs	2020-04-29 13:07:19 -04:00
Ayman Nadeem	19df903be3	use standalone format for language extensions in AST.Token	2020-04-29 13:07:10 -04:00
Ayman Nadeem	ffd2294b63	use standalone format for language pragmas in AST.Parse	2020-04-29 13:05:36 -04:00
Ayman Nadeem	2089d8d65a	change a to sym where it implies symbol	2020-04-28 13:46:10 -04:00
Ayman Nadeem	9da786c8c5	change a to ann because a is overloaded and confusing	2020-04-28 13:45:48 -04:00
Ayman Nadeem	284fe08f75	add UnmarshalField instance for new Err type	2020-04-28 13:44:54 -04:00
Ayman Nadeem	07166c17b2	Unmarshal Token instances now needs an additional param, f	2020-04-28 13:44:30 -04:00
Ayman Nadeem	d539ac70cd	provide explicit kind signature for f param to Token	2020-04-28 13:42:53 -04:00
Ayman Nadeem	6794da00cd	manually derive Show	2020-04-28 13:13:54 -04:00
Ayman Nadeem	ac263ada10	derive applicative since we can't autoderive it	2020-04-28 13:13:45 -04:00
Ayman Nadeem	41eaf07526	fix Parse.Err	2020-04-28 10:47:15 -04:00
Ayman Nadeem	324ecc3110	use Parse.Err	2020-04-28 10:47:07 -04:00
Ayman Nadeem	f3810df481	Err wraps a but has no args	2020-04-28 10:26:03 -04:00
Ayman Nadeem	2bb5ce1fad	need AST.Parse in Unmarshal	2020-04-27 17:45:08 -04:00
Ayman Nadeem	d95440e4e6	use ParseFail and ParseSucceed constructors	2020-04-27 17:42:50 -04:00
Ayman Nadeem	0af40b260a	auto-derive Functor and everything else	2020-04-27 17:42:16 -04:00
Ayman Nadeem	fae94854fd	add AST.Parse to exposed-modules list	2020-04-27 17:41:41 -04:00
Ayman Nadeem	d3b980af91	describe function of shape parameter introduced	2020-04-27 17:00:52 -04:00
Ayman Nadeem	09dfa147b7	replace token type synonym with example datatype of kind (*->*)->*->*	2020-04-27 16:59:59 -04:00
Ayman Nadeem	87349a4d55	provide description for Error type	2020-04-27 16:59:15 -04:00
Ayman Nadeem	c752315548	don't need typelits, since no Symbol/Nat data will index this datatype	2020-04-27 16:57:12 -04:00
Ayman Nadeem	e3a46c4405	stub out functor instance	2020-04-24 13:32:18 -04:00
Ayman Nadeem	d1dcb4c09e	this will be a datatype isomorphic to Either	2020-04-24 13:32:09 -04:00
Ayman Nadeem	1e145cae9c	create AST.Parse	2020-04-24 12:47:55 -04:00
Ayman Nadeem	2d36330145	remove extra line	2020-04-24 12:47:39 -04:00