731 Commits

Author	SHA1	Message	Date
Rob Rix	1bc3c65efe	🔥 the term parameter from Analysis.	2019-12-19 11:18:54 -05:00
Rob Rix	039148aa89	Define a smart constructor for concretizing lambdas.	2019-12-19 11:14:01 -05:00
Rob Rix	9f2a2fc819	Define a smart constructor for constructing lambdas.	2019-12-19 11:11:47 -05:00
Rob Rix	1832212aea	Interpret functions using the Domain effect.	2019-12-19 11:09:33 -05:00
Rob Rix	a60380ad09	Revert "Parameterize terms by addresses." ... This reverts commit 1d292b0395.	2019-12-19 11:06:44 -05:00
Rob Rix	1d292b0395	Parameterize terms by addresses.	2019-12-19 11:06:40 -05:00
Rob Rix	f85c31c127	Merge branch 'master' into analysis-effects	2019-12-19 10:54:29 -05:00
Rob Rix	443b4ca8e1	Add lambdas to Intro.	2019-12-18 15:13:38 -05:00
Patrick Thomson	3d1c102019	Widen prettyprinter dependencies.	2019-12-18 11:23:29 -05:00
Rob Rix	cfc8bdfe38	🔥 Ignored.	2019-12-18 10:54:54 -05:00
Rob Rix	6485f858ed	Move Named & Ignored into Analysis.Name.	2019-12-18 10:51:02 -05: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	6bebd84deb	Officially require GHC 8.8.	2019-12-13 15:48:49 -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
Patrick Thomson	dc69714053	Merge remote-tracking branch 'origin/master' into glorious-ghc-upgrade-8.8	2019-12-13 11:23:36 -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	68ab3cbb97	semantic:exe now compiles	2019-12-10 13:32:56 -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