331 Commits

Author	SHA1	Message	Date
Rob Rix	540b88c5a0	Evaluate closed terms.	2019-12-20 11:04:42 -05:00
Rob Rix	8894d73bbb	Correct a type signature.	2019-12-20 10:57:33 -05:00
Rob Rix	38215571c1	Fix a couple of instances.	2019-12-20 10:55:50 -05:00
Rob Rix	c04c59d772	Fix the semantic-python test build.	2019-12-20 10:47:17 -05:00
Rob Rix	50933159aa	Revert "Extract the basic introduction forms into a new syntax type." ... This reverts commit ff4523e25e.	2019-12-20 10:26:30 -05:00
Rob Rix	f85c31c127	Merge branch 'master' into analysis-effects	2019-12-19 10:54:29 -05:00
Timothy Clem	12428e4988	Try to always use tree-sitter 0.7.2	2019-12-18 10:59:52 -08:00
Timothy Clem	b2f10d0d6a	Merge remote-tracking branch 'origin/master' into test-precise-parsing	2019-12-18 08:35:57 -08:00
Rob Rix	667f894ec3	Merge branch 'ghcide-is-painless' into analysis-effects	2019-12-18 09:49:08 -05:00
Rob Rix	ff4523e25e	Extract the basic introduction forms into a new syntax type.	2019-12-16 13:50:58 -05:00
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
Timothy Clem	7e0c6b5417	Give this a signature	2019-12-13 13:43:59 -08: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
Timothy Clem	8ade6db251	Merge remote-tracking branch 'origin/master' into test-precise-parsing	2019-12-13 13:13:54 -08: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
Timothy Clem	955e2622f2	Few more python built-in functions	2019-12-10 13:09:46 -08: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
Timothy Clem	c4686cd7e7	++tree-sitter 0.7 ... Also bumps parsers that changed	2019-12-10 11:03:07 -08:00
Patrick Thomson	68ab3cbb97	semantic:exe now compiles	2019-12-10 13:32:56 -05:00
Timothy Clem	84a1a99cda	Handle generating tags for ParenthesizedExpression in calls	2019-12-09 13:16:56 -08:00
Timothy Clem	3c3c140cbb	Handle directly nested calls	2019-12-09 11:28:45 -08:00
Timothy Clem	4d8c7d23b4	Handle built-in python functions	2019-12-09 11:28:37 -08:00
Timothy Clem	d3763cbd69	Merge branch 'bump-haskell-tree-sitter' into test-precise-parsing	2019-12-09 11:27:51 -08: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