32121 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	c574d56e23	Define a GTraversable1 instance for :+:.	2020-01-13 13:07:43 -05:00
Rob Rix	eecace9024	Define a GTraversable1 instance for :*:.	2020-01-13 13:07:05 -05:00
Rob Rix	35f7094dab	Define a GTraversable1 instance for M1.	2020-01-13 13:05:55 -05:00
Rob Rix	e0f6462e78	Add a gtraverse1 method to GTraversable1.	2020-01-13 13:04:25 -05:00
Rob Rix	c6d658130d	Stub in a class for traversal of higher-order subterm positions.	2020-01-13 12:59:59 -05:00
Timothy Clem	9cd8717cc2	Merge pull request #414 from github/more-precise-parsing ... More precise parsing	2020-01-06 13:38:35 -08:00
Rob Rix	4022643c42	Don’t shout about the HLINT pragma.	2020-01-06 16:38:00 -05:00
Rob Rix	f5c8346740	Ignore hints in assertEvaluatesTo.	2020-01-06 16:37:49 -05:00
Rob Rix	55e573eb7f	Revert "Trick hlint." ... This reverts commit 29e09bea4d.	2020-01-06 16:37:01 -05:00
Rob Rix	29e09bea4d	Trick hlint. ... This is goofy as hell but we don’t have maybeM here.	2020-01-06 15:17:53 -05:00
Rob Rix	e34444eaf9	Revert "Placate hlint." ... This reverts commit d278a01122.	2020-01-06 15:13:55 -05:00
Rob Rix	d278a01122	Placate hlint.	2020-01-06 13:59:29 -05:00
Timothy Clem	52b24e55ec	Use vertical style pragmas	2020-01-06 09:30:36 -08:00
Timothy Clem	87954ae399	Some record puns	2020-01-06 09:23:19 -08:00
Timothy Clem	03ae167523	This toggle with ts halt on error	2019-12-20 11:07:24 -08:00
Timothy Clem	250ede0eec	Corpus test updates from changing assignment	2019-12-20 10:47:42 -08:00
Timothy Clem	4a6185eea0	Test all of the examples	2019-12-20 09:40:00 -08:00
Timothy Clem	c1cf16ed03	Handle a couple more function call cases	2019-12-20 09:39:38 -08:00
Rob Rix	1a670825de	Simplify a pattern match.	2019-12-20 12:28:19 -05:00
Rob Rix	a6fe9b7a55	Alignment.	2019-12-20 12:27:39 -05:00
Rob Rix	a167dedbfc	Rename the abstract parameter to value.	2019-12-20 12:26:57 -05:00
Rob Rix	c07324ff90	Split Domain into multiple effects.	2019-12-20 12:24:04 -05:00
Rob Rix	661227365a	Don’t repeat ourselves.	2019-12-20 12:07:27 -05:00
Rob Rix	75a63dd340	Split up abstraction into separate constructors.	2019-12-20 12:04:29 -05:00
Rob Rix	f5efb6a497	🔥 Analysis.ScopeGraph.	2019-12-20 11:44:26 -05:00
Rob Rix	f78d90aaae	Remove the CHECK-JQ directive.	2019-12-20 11:43:15 -05:00
Rob Rix	bfec95a992	Correct the package id for the sample .ghci.	2019-12-20 11:25:32 -05:00
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	f305c38228	Add semantic-python’s tests to the load paths.	2019-12-20 10:56:51 -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	a45de13034	Build the benchmarks’ dependencies.	2019-12-20 10:44:28 -05:00
Rob Rix	935fe94381	Build the tests’ dependencies.	2019-12-20 10:44:16 -05:00
Rob Rix	537f3c38da	Move the cabal build call into script/repl. ... Doing it in script/ghci-flags means it has to be silent, which is super confusing/surprising. Doing it in script/repl means we can see what it’s up to.	2019-12-20 10:44:02 -05:00
Rob Rix	7c9c5f0dce	Declare the dependency on transformers.	2019-12-20 10:30:20 -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	58f6298ee4	Revert "Use Analysis.Intro in Core’s syntax." ... This reverts commit 1828a1a433.	2019-12-20 10:23:07 -05:00
Rob Rix	1828a1a433	Use Analysis.Intro in Core’s syntax.	2019-12-20 10:22:16 -05:00
Rob Rix	1e1bd838f3	Reformat the Core destructors using LambdaCase. ... stylish-haskell is willing to leave these definitions alone.	2019-12-20 10:10:02 -05:00
Rob Rix	d876d010ff	Reformat language pragmas.	2019-12-20 10:07:02 -05:00
Rob Rix	086018019f	Reformat language pragmas.	2019-12-20 10:06:42 -05:00
Rob Rix	1948e2b619	Sort/align imports.	2019-12-20 10:06:37 -05:00
Rob Rix	2fe68f3d0f	Alignment.	2019-12-20 10:06:32 -05:00
Rob Rix	a50ab43314	Reformat language extensions.	2019-12-20 10:06:01 -05:00
Rob Rix	96f5204338	Sort imports.	2019-12-20 10:04:32 -05:00
Rob Rix	850811bf06	Reformat an import list.	2019-12-20 10:04:21 -05:00
Rob Rix	38da7a41ec	Align cases locally.	2019-12-20 10:04:11 -05:00
Rob Rix	580525a3d8	Reformat language pragmas.	2019-12-20 10:03:51 -05:00
Rob Rix	2052c70e73	Sort imports.	2019-12-20 10:03:45 -05:00