311 Commits

Author	SHA1	Message	Date
Patrick Thomson	266a720fa9	Use PVP operator.	2019-12-16 12:20:05 -05:00
Patrick Thomson	9817b686e5	Merge remote-tracking branch 'origin/master' into glorious-ghc-upgrade-8.8	2019-12-16 12:14:47 -05:00
Rob Rix	ae6b2849f2	Merge pull request #404 from github/none-is-the-loneliest-umber ... Compile Python None expressions.	2019-12-16 09:34:05 -05:00
Patrick Thomson	da3dbdf148	Merge remote-tracking branch 'origin/master' into glorious-ghc-upgrade-8.8	2019-12-13 16:41:18 -05:00
Patrick Thomson	053306fbbd	Forgot to bind None and NoneType in the prelude exports.	2019-12-13 16:21:02 -05:00
Patrick Thomson	6bebd84deb	Officially require GHC 8.8.	2019-12-13 15:48:49 -05:00
Patrick Thomson	e115f4ad59	Compile Python None expressions.	2019-12-13 12:51:23 -05:00
Patrick Thomson	3825be9788	Emacs misfire.	2019-12-13 12:33:26 -05:00
Patrick Thomson	e137f4c68b	Compile Python lambdas. ... Lambdas are so hilariously crippled in Python that they're significantly easier to compile than functions. Indeed, the resulting core looks much like a function definition, without a `rec` binding.	2019-12-13 12:14:04 -05:00
Patrick Thomson	dc69714053	Merge remote-tracking branch 'origin/master' into glorious-ghc-upgrade-8.8	2019-12-13 11:23:36 -05:00
Patrick Thomson	862ee92eb8	Fix semantic-python tests.	2019-12-11 15:47:03 -05:00
Patrick Thomson	810d28f615	Merge remote-tracking branch 'origin/master' into glorious-ghc-upgrade-8.8	2019-12-11 12:31:30 -05:00
Timothy Clem	ec19540425	++tree-sitter 0.7 ... Also bumps parsers that changed	2019-12-10 16:34:26 -05:00
Rob Rix	65d58e97da	Add a missing Compile instance.	2019-12-10 15:17:16 -05:00
Rob Rix	0c8aa34976	Fix some old-style constraints.	2019-12-10 15:17:08 -05:00
Rob Rix	fc8c818920	Correct an import.	2019-12-10 15:14:44 -05:00
Rob Rix	a461c72ae4	Bump a few tree-sitter-* versions.	2019-12-10 15:10:25 -05:00
Rob Rix	df43078a65	Merge branch 'master' into fused-effects-one-dot-zero	2019-12-10 14:48:48 -05:00
Timothy Clem	5926b47438	++tree-sitter 0.7 ... Also bumps parsers that changed	2019-12-10 11:04:02 -08:00
Patrick Thomson	68ab3cbb97	semantic:exe now compiles	2019-12-10 13:32:56 -05:00
Timothy Clem	0930c7c7d9	One new pieces of syntax here	2019-12-09 09:57:05 -08:00
Timothy Clem	285ba19b2b	Bump to latest tree-sitters	2019-12-09 09:52:42 -08:00
Patrick Thomson	7266ab0ce2	No LambdaCase here.	2019-12-06 15:09:47 -05:00
Patrick Thomson	dd5cf213d6	Derive HFoldable instances for syntax types.	2019-12-06 14:51:09 -05:00
Patrick Thomson	cb0e0eae0c	Make Unimplemented store a String.	2019-12-06 14:49:38 -05:00
Patrick Thomson	16aa229442	Lints.	2019-12-05 17:12:21 -05:00
Patrick Thomson	91d0d8e019	Work around missing MonadFail instance for Either String.	2019-12-05 15:49:01 -05:00
Patrick Thomson	923664b811	Forgot to insert this nice new type variable.	2019-12-05 15:46:10 -05:00
Patrick Thomson	7978318d6b	Generalize eliminateFailures to MonadFail.	2019-12-05 15:15:15 -05:00
Patrick Thomson	615931890b	Restore the original location of eliminateFailures.	2019-12-05 15:10:10 -05:00
Patrick Thomson	37f70c8e28	Express eliminateFailures with Syntax.Term.handle.	2019-12-05 15:07:32 -05:00
Patrick Thomson	1c735d46d0	Establish HTraversable instances for Core, Ann, and Failure.	2019-12-05 15:06:54 -05:00
Patrick Thomson	609ddb989c	Add eliminateFailures, even though it doesn't do what I want.	2019-11-14 15:26:04 -05:00
Patrick Thomson	99ae60a184	Remove all MonadFail occurrences from the Python compiler.	2019-11-13 14:34:18 -05:00
Patrick Thomson	14d7ba5b0b	Add failure syntax.	2019-11-13 14:33:39 -05:00
Patrick Thomson	2e39e129cd	Make semantic-python tests work.	2019-11-08 22:37:17 -05:00
Patrick Thomson	7acd177fa7	Port Python tagging to FE1.	2019-11-08 12:04:52 -05:00
Patrick Thomson	fbea9072f8	Port Python compiler to use Has.	2019-11-08 12:03:10 -05:00
Patrick Thomson	35ea116f00	Bump various FE dependencies from 0.5 to 1.0.	2019-11-07 15:48:57 -05:00
Patrick Thomson	7db0a6e61c	hlint	2019-10-31 14:17:45 -04:00
Patrick Thomson	c21828efc2	More unused imports.	2019-10-31 13:57:47 -04:00
Patrick Thomson	b91fbf065e	Remove unused import and sort them.	2019-10-30 15:43:32 -04:00
Patrick Thomson	80587be6cc	Adjust prelude definitions since we can't yet assign to slots.	2019-10-30 15:13:34 -04:00
Patrick Thomson	f4d70c0c21	Align some definitions.	2019-10-30 13:51:51 -04:00
Patrick Thomson	ebb74b30cb	Parse result directive RHS values into Concrete values.	2019-10-30 13:49:54 -04:00
Patrick Thomson	45864480e0	clean up language, in a literal sense	2019-10-30 13:40:36 -04:00
Patrick Thomson	c2bce9d76a	Give tree equality its own assertion function	2019-10-30 13:33:07 -04:00
Patrick Thomson	edaac52ebd	extract readDirectivesFromFile into the Directives module	2019-10-30 13:29:18 -04:00
Patrick Thomson	3bf5c415f1	Clean up milestoneFixtures.	2019-10-30 13:20:26 -04:00
Patrick Thomson	630f2fcb3d	Initial version of this before I go on a refactoring spree.	2019-10-30 13:13:53 -04:00