716 Commits

Author	SHA1	Message	Date
Rob Rix	ff4523e25e	Extract the basic introduction forms into a new syntax type.	2019-12-16 13:50:58 -05:00
Rob Rix	fbd86f3115	Concretize using the smart constructors.	2019-12-13 11:43:56 -05:00
Rob Rix	d113cc4ea9	Use the smart constructors to tidy up Core.Eval.	2019-12-13 11:38:10 -05:00
Rob Rix	34a0afbfba	Merge branch 'fused-effects-one-dot-zero' into analysis-effects	2019-12-12 12:53:27 -05:00
Patrick Thomson	34214b737f	Fix Generators module.	2019-12-11 15:44:50 -05:00
Rob Rix	83194f8b98	🔥 a redundant import.	2019-12-10 15:11:01 -05:00
Rob Rix	df43078a65	Merge branch 'master' into fused-effects-one-dot-zero	2019-12-10 14:48:48 -05:00
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
Patrick Thomson	9fb876be84	Port over RightModule definitions for Core and Ann.	2019-11-08 10:36:43 -05:00
Patrick Thomson	35ea116f00	Bump various FE dependencies from 0.5 to 1.0.	2019-11-07 15:48:57 -05:00
Rob Rix	4ede4ae68b	Concretize values via the Domain effect.	2019-11-07 11:03:10 -05:00
Rob Rix	56cc4e1040	Construct Unit, Bool, & String via the Domain effect.	2019-11-07 11:01:41 -05:00
Rob Rix	7f6680d825	Specialize the Env effect to Name.	2019-11-05 12:08:13 -05:00
Rob Rix	02ae8de2ba	Specialize Analysis to Name.	2019-11-05 12:02:39 -05:00
Rob Rix	0e69c0a67a	Use Analysis.Name in Core.	2019-11-05 11:17:09 -05:00
Rob Rix	a3e7d51cfe	Fix a typo.	2019-11-04 14:30:45 -05:00
Rob Rix	07568e55a5	Use the Heap effect to define eval.	2019-11-04 14:00:05 -05:00
Rob Rix	6e1383d2de	Evaluate Core using the Env effect.	2019-11-01 15:25:49 -04:00
Rob Rix	a8333adae0	Derive the RightModule instance for Core.	2019-10-28 13:26:15 -04:00
Rob Rix	8d751c1dbc	Derive the RightModule instance for Ann.	2019-10-28 13:26:07 -04:00
Rob Rix	904b79b462	Derive the Effect instance for Core.	2019-10-28 12:01:13 -04:00
Rob Rix	b3308bc694	Derive the Effect instance for Ann.	2019-10-28 12:01:06 -04:00
Rob Rix	e139ec0a76	Fix the Effect instances in Core.Core.	2019-10-28 12:00:30 -04:00
Rob Rix	d3cb08c9cf	Fix the rest of semantic-core.	2019-10-28 11:10:34 -04:00
Rob Rix	c2a1a298a8	Fix Core.Core.	2019-10-28 11:09:41 -04:00
Rob Rix	f616dbeb78	🔥 a redundant copy of the Readline carrier.	2019-10-28 10:55:40 -04:00
Rob Rix	5372cfad51	Merge branch 'master' into fused-effects-one-dot-zero	2019-10-25 16:05:40 -04: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