20923 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	6de62e0cf8	🔥 some redundant parens.	2018-04-24 16:55:35 -04:00
joshvera	6c4f1c33bd	cleanup imports	2018-04-24 16:33:16 -04:00
Josh Vera	48c471e9d6	Merge branch 'master' into project-dir	2018-04-24 16:31:20 -04:00
joshvera	d4ac097291	Appease hlint	2018-04-24 16:30:39 -04:00
joshvera	c72ae3c161	Remove entry point from list of paths	2018-04-24 16:29:40 -04:00
joshvera	c6bbda32c5	Remove packages	2018-04-24 16:26:09 -04:00
joshvera	d2e32fd50b	go is really about entryPoints	2018-04-24 16:19:54 -04:00
joshvera	c20b882c5b	Add projectEntryPoints back	2018-04-24 16:14:01 -04:00
Timothy Clem	71102dcef8	Resumable ResolutionErrors for PHP	2018-04-24 13:06:26 -07:00
Patrick Thomson	e986fdac39	merge fallout + remove MonadFail	2018-04-24 15:56:02 -04:00
Patrick Thomson	4fd34d0412	Merge remote-tracking branch 'origin/master' into resumable-type-errors	2018-04-24 15:50:20 -04:00
joshvera	421cc0d1a1	Add readProjectEntry to the Files effects	2018-04-24 15:48:44 -04:00
Timothy Clem	2b069d5921	Clarify comment	2018-04-24 12:46:34 -07:00
Patrick Thomson	15b81a1dfc	lints	2018-04-24 15:39:47 -04:00
Patrick Thomson	e82b4cca1d	Cleanup.	2018-04-24 15:39:07 -04:00
Patrick Thomson	f4e0ab8977	Working implementation.	2018-04-24 15:35:50 -04:00
Rob Rix	2875aa90a3	Tidy up the ImportGraphing language extensions.	2018-04-24 14:59:24 -04:00
Rob Rix	4cc2edbfb3	Spacing.	2018-04-24 14:14:20 -04:00
Rob Rix	e05c0aab2a	Align some things.	2018-04-24 14:14:00 -04:00
Patrick Thomson	89c1403f89	WIP	2018-04-24 14:12:28 -04:00
Josh Vera	73371b717c	Merge pull request #1770 from github/pass-the-effects-list-around ... Pass the effects list around	2018-04-24 14:08:37 -04:00
Patrick Thomson	39cb75f04d	Add TypeError and make MonadValue over Type use it.	2018-04-24 13:40:50 -04:00
Rob Rix	dae310c357	Use one Erroring analysis per error type.	2018-04-24 13:04:46 -04:00
Rob Rix	b042a6a6d4	Provide resumable exceptions in the analyses which resume them.	2018-04-24 13:01:56 -04:00
Rob Rix	4b48d7c858	Add BadAddresses to EvaluatingWithHoles.	2018-04-24 13:01:30 -04:00
Rob Rix	e2bdb23564	Define an analysis which fails on errors.	2018-04-24 13:01:16 -04:00
Rob Rix	70080feadb	🔥 a redundant equality constraint.	2018-04-24 12:35:34 -04:00
Rob Rix	e6010b75cd	Spacing.	2018-04-24 12:34:17 -04:00
Rob Rix	9c8aff921f	Tidy up the Control.Abstract.Value language extensions.	2018-04-24 12:15:29 -04:00
Rob Rix	447bb428a4	And another.	2018-04-24 12:10:11 -04:00
Rob Rix	145d48ede4	And another.	2018-04-24 12:09:41 -04:00
Rob Rix	af6e09a735	🔥 a redundant kind signature.	2018-04-24 12:09:23 -04:00
Rob Rix	a85e41666b	Don’t re-export EvaluatorState & State from Evaluating.	2018-04-24 12:01:28 -04:00
Rob Rix	aab795d9bb	Correct an import in the specs.	2018-04-24 12:00:43 -04:00
Rob Rix	8bb4c0a22c	Merge branch 'master' into pass-the-effects-list-around	2018-04-24 11:57:33 -04:00
Rob Rix	8c972edd98	🔥 a use of PolyKinds.	2018-04-24 11:49:41 -04:00
Rob Rix	1c1fda485c	🔥 a language extension.	2018-04-24 11:49:04 -04:00
Rob Rix	ba52638f40	🔥 maybeFail.	2018-04-24 11:48:43 -04:00
Rob Rix	3e3f21c1d7	Use maybeM in Data.Scientific.Exts to fail parsing.	2018-04-24 11:48:39 -04:00
Rob Rix	812adece0f	🔥 all the MonadFail instances. ... We can still fail using `raise (fail …)`, but it’s less convenient now.	2018-04-24 11:45:35 -04:00
Rob Rix	61452e8978	Spacing.	2018-04-24 11:37:06 -04:00
Rob Rix	d1adb3939f	Differentiate between unallocated and uninitialized addresses.	2018-04-24 11:34:13 -04:00
Rob Rix	5fa6dc28ea	🔥 MonadFresh.	2018-04-24 11:16:35 -04:00
Rob Rix	b311764651	Clean up some more language extensions.	2018-04-24 11:06:43 -04:00
Rob Rix	d3af580585	Clean up the language extensions.	2018-04-24 11:06:31 -04:00
Rob Rix	889e984403	Don’t export the lenses.	2018-04-24 11:04:38 -04:00
Rob Rix	56f8f19964	Add section comments for each group of functions.	2018-04-24 11:04:29 -04:00
Rob Rix	84e9106696	🔥 MonadEnvironment.	2018-04-24 11:02:44 -04:00
Rob Rix	1adaef0833	🔥 MonadHeap.	2018-04-24 10:54:53 -04:00
Rob Rix	00b7c917aa	🔥 MonadModuleTable.	2018-04-24 10:50:11 -04:00