31979 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	abd647ebc4	Wrap closure bodies in Named.	2019-12-19 14:11:36 -05:00
Rob Rix	c707fe59df	Strengthen the constraints available to typechecked evaluators.	2019-12-19 14:07:33 -05:00
Rob Rix	ac274cb336	Combine the Has constraints.	2019-12-19 14:06:35 -05:00
Rob Rix	964d8e20d2	Allow the evaluator to use the heap & env effects.	2019-12-19 14:03:01 -05:00
Rob Rix	875a4087d6	Allow the evaluator to use the Domain effect.	2019-12-19 14:00:24 -05:00
Rob Rix	87433746b7	Run the Domain effect for concrete analysis.	2019-12-19 13:59:47 -05:00
Rob Rix	b013780cc2	Define an Algebra instance for DomainC.	2019-12-19 13:56:54 -05:00
Rob Rix	a64c337b1e	Graph the heap using the addresses in closure bodies.	2019-12-19 13:46:16 -05:00
Rob Rix	387824aa7b	Closure holds a Scope.	2019-12-19 13:44:01 -05:00
Rob Rix	1f9e0fa18f	Reformat a context.	2019-12-19 13:33:11 -05:00
Rob Rix	de096192ba	Define a MonadTrans instance for DomainC.	2019-12-19 13:25:47 -05:00
Rob Rix	e518beb826	Derive some instances for DomainC.	2019-12-19 13:25:41 -05:00
Rob Rix	585b05fa61	🔥 the name parameters from Decl & ScopeGraph.	2019-12-19 13:00:35 -05:00
Rob Rix	d93686e01e	Scope graphing takes addressed terms.	2019-12-19 12:58:43 -05:00
Rob Rix	da63c0cf6a	Define an Addr synonym for scope graphing.	2019-12-19 12:57:57 -05:00
Rob Rix	c3b632fd9d	Import graphing uses addressed terms.	2019-12-19 12:55:09 -05:00
Rob Rix	e78cc7bbfc	Define an Addr synonym for import graphing.	2019-12-19 12:54:55 -05:00
Rob Rix	f7c2c74ef8	Take addressed terms in Concrete.	2019-12-19 12:53:39 -05:00
Rob Rix	d22039b768	Rename the Precise synonym to Addr.	2019-12-19 12:52:30 -05:00
Rob Rix	fdb0f519d9	Define an Addr synonym for typechecking.	2019-12-19 12:51:45 -05:00
Rob Rix	4485d3622d	🔥 Evaluator.	2019-12-19 12:32:13 -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	6810624e2c	Note a fixme.	2019-12-19 12:02:28 -05:00
Rob Rix	76c56e387d	Concretize records.	2019-12-19 11:59:39 -05:00
Rob Rix	cb2a9959ce	Add records to Intro.	2019-12-19 11:56:42 -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	a3ccc126b0	🔥 abstract & apply from Analysis.	2019-12-19 11:18:08 -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	570b2c2e47	Merge pull request #413 from github/generalize-fix-broken-cabal-store ... Generalize script/fix-broken-cabal-store	2019-12-18 17:15:34 -05:00
Patrick Thomson	f2f6c8eb94	Merge pull request #412 from github/the-thin-read-line ... Use fused-effects-readline package rather than a custom implementation.	2019-12-18 17:07:38 -05:00
Rob Rix	a921912ecf	Factor out the prefix.	2019-12-18 16:55:20 -05:00
Rob Rix	bc5796178e	Quote the paths.	2019-12-18 16:50:40 -05:00
Rob Rix	ba84757c41	Generalize the fix-broken-cabal-store script to arbitrary GHC versions.	2019-12-18 16:50:29 -05:00
Timothy Clem	d2e4713921	Merge pull request #396 from github/test-precise-parsing ... Test precise parsing and compare precise vs. a la carte symbols output	2019-12-18 12:42:45 -08:00
Rob Rix	443b4ca8e1	Add lambdas to Intro.	2019-12-18 15:13:38 -05:00
Rob Rix	63427b9d60	Alignment.	2019-12-18 15:12:15 -05:00
Timothy Clem	4effc2b10b	Try to bust these caches	2019-12-18 11:24:23 -08:00
Timothy Clem	1aea6200dd	Merge remote-tracking branch 'origin/master' into test-precise-parsing	2019-12-18 11:09:05 -08:00
Timothy Clem	a26b0f69b3	Better comments	2019-12-18 11:08:31 -08:00
Rob Rix	5ac48ee676	Merge pull request #411 from github/ghcide-is-painless ... Update script/repl & ghcide support for 8.8.1	2019-12-18 14:08:14 -05:00
Timothy Clem	83269b1440	Run both python and ruby parse-examples, cleanup	2019-12-18 11:04:10 -08:00
Timothy Clem	12428e4988	Try to always use tree-sitter 0.7.2	2019-12-18 10:59:52 -08:00