676 Commits

Author	SHA1	Message	Date
Patrick Thomson	d258677dd8	And the rest of them	2019-12-06 14:54:06 -05:00
Patrick Thomson	c2685b81c3	Revert whitespace changes.	2019-12-06 14:52:49 -05:00
Patrick Thomson	dd5cf213d6	Derive HFoldable instances for syntax types.	2019-12-06 14:51:09 -05:00
Patrick Thomson	17d0b57f85	Preserve whitespace.	2019-12-06 14:05:20 -05:00
Patrick Thomson	1c735d46d0	Establish HTraversable instances for Core, Ann, and Failure.	2019-12-05 15:06:54 -05:00
Rob Rix	68d43468af	Merge pull request #361 from github/yes-comment ... Support comments in the Core parser.	2019-10-25 13:06:31 -04:00
Patrick Thomson	fe468f2cda	Go with // for comments.	2019-10-25 10:54:35 -04:00
Patrick Thomson	65f6325668	simplify projection	2019-10-25 09:50:04 -04:00
Patrick Thomson	2d8819933a	Simplify derivations.	2019-10-25 09:35:08 -04:00
Patrick Thomson	1c039b786b	Kill unused function.	2019-10-23 16:05:57 -04:00
Patrick Thomson	bf1aebf1f3	Add comments to Core. ... I went with the Haskell comment style (`--` for line comments, `{- -}` for block comments, allowing nested multiline comments. This can be changed pretty easily.	2019-10-23 15:27:13 -04:00
Patrick Thomson	14c3faf750	the tests pass now	2019-10-23 13:09:26 -04:00
Patrick Thomson	91558a7d65	Add generator for .? (this kills the crab^Wtests).	2019-10-23 12:24:35 -04:00
Patrick Thomson	8f0790ced2	Add pretty-printing support.	2019-10-23 12:05:40 -04:00
Patrick Thomson	9b56f60132	Add parsing support.	2019-10-23 12:05:35 -04:00
Patrick Thomson	b58132ba0e	Unused imports.	2019-10-23 12:05:28 -04:00
Patrick Thomson	cb783e6646	Make this a boolean operator pending resolution of #358.	2019-10-23 11:59:23 -04:00
Patrick Thomson	5d5113ff69	fix brokenness that crept in overnight (?)	2019-10-23 10:31:55 -04:00
Patrick Thomson	559958d9cf	Define new :? type for checked lookups and try implementing it.	2019-10-22 17:27:54 -04:00
Rob Rix	6b9ba62c8c	Rename Core.Core.* to Core.*.	2019-10-11 13:50:40 -04:00
Rob Rix	740a3ca1a9	Core’s tests depend on semantic-analysis.	2019-10-11 12:55:23 -04:00
Rob Rix	9e31fc1f9b	semantic-core no longer has doctests.	2019-10-11 12:53:36 -04:00
Rob Rix	d20cbead89	Remove the Analysis.* and Control.* hierarchies from semantic-core.	2019-10-11 12:52:32 -04:00
Rob Rix	052eb88231	🔥 a couple of redundant dependencies.	2019-10-11 12:52:18 -04:00
Rob Rix	6bac8d2770	How did this ever work? What does it even do?	2019-10-11 12:42:21 -04:00
Rob Rix	85d09b5116	Rename Core.File to Analysis.File.	2019-10-11 12:37:11 -04:00
Rob Rix	5f9787f21c	Correct an import.	2019-10-11 12:22:12 -04:00
Rob Rix	6bfd33e7bc	Correct the import.	2019-10-11 12:21:04 -04:00
Rob Rix	3700cb5106	Merge branch 'eliminate-core-loc' into generalize-analysis-over-the-name-type	2019-10-11 12:20:53 -04:00
Rob Rix	7c2ac87ff3	Correct the doctest.	2019-10-11 12:19:37 -04:00
Rob Rix	5ef4ecdde9	Merge branch 'eliminate-core-loc' into generalize-analysis-over-the-name-type	2019-10-11 12:15:39 -04:00
Rob Rix	7554271e2d	toString.	2019-10-11 12:14:58 -04:00
Rob Rix	7d52293e13	Merge branch 'eliminate-core-loc' into generalize-analysis-over-the-name-type	2019-10-11 12:12:35 -04:00
Rob Rix	f3b3a32f8a	Merge branch 'core-factoring' into eliminate-core-loc	2019-10-11 12:12:25 -04:00
Rob Rix	a278c9daab	Import eval.	2019-10-11 12:11:30 -04:00
Rob Rix	d78c3ddc9e	Merge branch 'eliminate-core-loc' into generalize-analysis-over-the-name-type	2019-10-11 11:51:46 -04:00
Rob Rix	37b723aa81	Merge branch 'core-factoring' into eliminate-core-loc	2019-10-11 11:51:34 -04:00
Rob Rix	b77a3b8058	Enable flexible contexts for the doctest.	2019-10-11 11:50:16 -04:00
Rob Rix	a160c0b7d5	Generalize typecheckingFlowInsensitive over the name type.	2019-10-11 11:47:39 -04:00
Rob Rix	ffc281f0f3	Generalize runFile over the name type.	2019-10-11 11:47:01 -04:00
Rob Rix	6efc7c7301	Generalizee typecheckingAnalysis over the name type.	2019-10-11 11:45:57 -04:00
Rob Rix	45dfc6ead1	Generalize solve over the name type.	2019-10-11 11:45:32 -04:00
Rob Rix	d184acfbfe	Generalize Solution over the name type.	2019-10-11 11:41:11 -04:00
Rob Rix	6d3d1751b6	Generalize unify over the name type.	2019-10-11 11:40:30 -04:00
Rob Rix	a17d0b57ff	Generalize meta over the name type.	2019-10-11 11:40:09 -04:00
Rob Rix	f87f7c0d0d	Generalize Constraint over the name type.	2019-10-11 11:39:32 -04:00
Rob Rix	7e51f43451	Generalize Substitution over the name type.	2019-10-11 11:38:38 -04:00
Rob Rix	6fa4a01c80	Generalize Type over the name type.	2019-10-11 11:37:49 -04:00
Rob Rix	7d8e8f27d4	Generalize Monotype over the name type.	2019-10-11 11:36:17 -04:00
Rob Rix	804e3c1020	Use the Type synonym more widely.	2019-10-11 11:35:03 -04:00