758 Commits

Author	SHA1	Message	Date
Patrick Thomson	1d788504cc	semantic-core works	2020-05-19 13:03:25 -04:00
Patrick Thomson	c823f17bb6	semantic-core now works	2020-05-19 13:00:56 -04:00
Rick Winfrey	9a7ed9d294	Bump to semantic-source 0.1.0 ... Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>	2020-03-23 13:40:50 -07:00
Patrick Thomson	953473088d	Merge remote-tracking branch 'origin/master' into name-name-go-away	2020-01-28 15:07:05 -05:00
Patrick Thomson	9ecaeedcc3	Depend on newer semantic-source.	2020-01-28 12:42:42 -05:00
Patrick Thomson	7b11b0fc03	Fix some generators.	2020-01-17 16:10:29 -05:00
Patrick Thomson	f8c8c7913f	Merge remote-tracking branch 'origin/master' into name-name-go-away	2020-01-17 15:31:24 -05:00
Patrick Thomson	0e2a0e98b2	Hide Name constructor.	2020-01-17 13:46:17 -05:00
Patrick Thomson	ccb586ccd2	🔥 Data.Abstract.Name.	2020-01-17 11:09:19 -05:00
Patrick Thomson	14c68c407d	Move what was Data.Name into Analysis.Name.	2020-01-17 10:57:35 -05:00
Patrick Thomson	ef01408518	Make everything work with Analysis.Functor.Named.	2020-01-17 10:41:08 -05:00
Timothy Clem	c0d8675d09	Use semantic-source 0.0.1	2020-01-16 12:57:24 -08:00
Rob Rix	1a670825de	Simplify a pattern match.	2019-12-20 12:28:19 -05:00
Rob Rix	c07324ff90	Split Domain into multiple effects.	2019-12-20 12:24:04 -05:00
Rob Rix	75a63dd340	Split up abstraction into separate constructors.	2019-12-20 12:04:29 -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	cc403afe27	🔥 Analysis.	2019-12-19 12:30:05 -05:00
Rob Rix	f68bce11f6	Reference variables using the Domain effect.	2019-12-19 12:11:37 -05:00
Rob Rix	c4db1c9db4	Evaluate records using the Domain effect.	2019-12-19 12:09:37 -05:00
Rob Rix	e546950f29	Parameterize terms by addresses.	2019-12-19 11:52:05 -05:00
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