660 Commits

Author	SHA1	Message	Date
Rob Rix	12739872c5	Generalize concreteAnalysis over the name type.	2019-10-11 11:02:31 -04:00
Rob Rix	d62dc3c5cf	Generalize lookupConcrete over the name type.	2019-10-11 11:01:38 -04:00
Rob Rix	e7aefb8186	Generalize addressStyle over the name type.	2019-10-11 11:00:14 -04:00
Rob Rix	0eb9edf2ef	Generalize heapAddressGraph over the name type.	2019-10-11 10:59:19 -04:00
Rob Rix	264d33816b	Generalize heapValueGraph over the name type.	2019-10-11 10:59:08 -04:00
Rob Rix	c0a995f612	Generalize heapGraph over the name type.	2019-10-11 10:58:51 -04:00
Rob Rix	b697d187c7	Generalize EdgeType over the name type.	2019-10-11 10:58:20 -04:00
Rob Rix	fd793d7d7d	Generalize Env over the name type.	2019-10-11 10:57:40 -04:00
Rob Rix	3cad92a4e1	Generalize Heap over the name type.	2019-10-11 10:56:45 -04:00
Rob Rix	5974e82819	Generalize Concrete over the name type.	2019-10-11 10:55:31 -04:00
Rob Rix	541ef22076	Parameterize Analysis by the type of names.	2019-10-11 10:49:32 -04:00
Rob Rix	b6a9eeaf6b	Rename Analysis.Eval to Core.Eval.	2019-10-11 10:46:59 -04:00
Rob Rix	253116a46f	Merge branch 'core-factoring' into eliminate-core-loc	2019-10-11 10:23:43 -04:00
Rob Rix	5b238d8c50	Don’t re-export Analysis.	2019-10-11 10:23:31 -04:00
Rob Rix	9c8350db48	Merge branch 'core-factoring' into eliminate-core-loc	2019-10-11 10:22:41 -04:00
Rob Rix	f06af1755b	📝 Analysis.	2019-10-11 10:21:30 -04:00
Rob Rix	43d5516528	Move Analysis into its own module.	2019-10-11 10:20:34 -04:00
Rob Rix	05d9dab6d8	Stub in a module for the Analysis type.	2019-10-11 10:17:55 -04:00
Rob Rix	59d6deb005	🔥 a redundant import.	2019-10-11 09:15:32 -04:00
Rob Rix	57ab84bb46	Weaken a Carrier constraint to Applicative.	2019-10-11 09:15:26 -04:00
Rob Rix	ba23138ade	🔥 a redundant constraint.	2019-10-11 09:15:17 -04:00
Rob Rix	cce6f74b95	🔥 a redundant import.	2019-10-11 09:13:48 -04:00
Rob Rix	d16a3c909c	Weaken a Carrier constraint to Applicative.	2019-10-11 09:13:30 -04:00
Rob Rix	9b48331945	🔥 a redundant constraint.	2019-10-11 09:13:20 -04:00
Rob Rix	b99b9f90df	Merge branch 'core-factoring' into eliminate-core-loc	2019-10-10 20:43:11 -04:00
Rob Rix	1b7acb2411	Add a missing dependency.	2019-10-10 20:43:00 -04:00
Rob Rix	a046690bd0	Correct a doctest.	2019-10-10 20:42:02 -04:00
Rob Rix	c2bb05fe25	🔥 Core.Loc.	2019-10-10 18:09:02 -04:00
Rob Rix	a87e62309d	Merge branch 'core-factoring' into eliminate-core-loc	2019-10-10 18:06:17 -04:00
Rob Rix	13fec83cba	Rename Spec to Test.	2019-10-10 18:05:50 -04:00
Rob Rix	ab1932c264	Use File.fromBody.	2019-10-10 18:04:20 -04:00
Rob Rix	585848658a	Core.Core doesn’t depend on Core.Loc.	2019-10-10 17:57:26 -04:00
Rob Rix	d679f28760	File.fromBody doesn’t depend on Core.Loc.	2019-10-10 17:50:25 -04:00
Rob Rix	e177ea7eab	Rename fromGHCSrcLoc to fromSrcLoc.	2019-10-10 17:40:42 -04:00
Rob Rix	c31b151ba8	🔥 Core.Loc.Path.	2019-10-10 17:33:56 -04:00
Rob Rix	aee5f5110c	Sort imports.	2019-10-10 17:23:03 -04:00
Rob Rix	f9a92e76a9	🔥 UnliftIOToMonadException.	2019-10-10 17:22:18 -04:00
Rob Rix	b709219b77	Don’t allow messages to be sent to the InputT.	2019-10-10 16:53:03 -04:00
Rob Rix	2e61978b98	🔥 println.	2019-10-10 16:10:24 -04:00
Rob Rix	45de2f56a6	Rename ControlIOC to UnliftIOToMonadException.	2019-10-10 16:08:43 -04:00
Rob Rix	ed6c7507fb	Render fitted to the window.	2019-10-10 16:05:25 -04:00
Rob Rix	269e8700d9	Render colour annotations.	2019-10-10 16:01:02 -04:00
Rob Rix	4044575648	🔥 the IsString constraint.	2019-10-10 15:58:23 -04:00
Rob Rix	c2908ed497	🔥 a redundant language extension.	2019-10-10 15:56:16 -04:00
Rob Rix	742db3d17e	🔥 the Carrier instance.	2019-10-10 15:54:54 -04:00
Rob Rix	81d1a1117e	Internalize ControlIOC.	2019-10-10 15:54:29 -04:00
Rob Rix	beae029a38	🔥 a redundant import.	2019-10-10 15:53:06 -04:00
Rob Rix	d59ba40235	🔥 a redundant constraint.	2019-10-10 15:50:59 -04:00
Rob Rix	7dffdd2407	Derive MonadFix instances.	2019-10-10 15:48:15 -04:00
Rob Rix	c6b12ef710	Simplify runControlIO to use MonadUnliftIO.	2019-10-10 15:47:43 -04:00
Rob Rix	c2954ae963	Re-export runM.	2019-10-10 15:40:31 -04:00
Rob Rix	de154040c9	Line is an implementation detail.	2019-10-10 15:40:01 -04:00
Rob Rix	5f7ecbdd04	Int, not Int64.	2019-10-10 15:38:42 -04:00
Rob Rix	c2764b76b6	🔥 AskLine.	2019-10-10 15:38:17 -04:00
Rob Rix	859f856e09	Extract the Readline carrier into its own module.	2019-10-10 15:35:58 -04:00
Rob Rix	ee0ee8d2d3	Stub in a module for the Readline carrier.	2019-10-10 15:26:21 -04:00
Rob Rix	2c120879bb	Replace Core.Scope with Syntax.Scope.	2019-10-10 15:24:52 -04:00
Rob Rix	131bec8ed3	Replace Prec with Syntax.Pretty.Prec.	2019-10-10 15:20:27 -04:00
Rob Rix	5b378da075	Replace Core.Stack with Syntax.Stack.	2019-10-10 15:19:04 -04:00
Rob Rix	7df71e359e	Replace Core.Term with Syntax.Term.	2019-10-10 15:17:22 -04:00
Rob Rix	0f8fa337e4	Replace Control.Monad.Module with Syntax.Module.	2019-10-10 15:14:37 -04:00
Rob Rix	cde9635319	Rename the Term constructor to Alg.	2019-10-10 15:12:44 -04:00
Rob Rix	d7dc440a30	Move all the Data.* modules into Core.* instead.	2019-10-10 15:07:49 -04:00
Rob Rix	3039b1d53f	Rename the test component to test.	2019-10-10 14:51:40 -04:00
Rob Rix	304df23c3a	Reformat the tested-with field.	2019-10-10 14:48:23 -04:00
Rob Rix	93ea54c5a5	Fix some redundant imports.	2019-10-10 14:47:29 -04:00
Rob Rix	c688990e25	Extract the common fields of the components.	2019-10-10 14:45:40 -04:00
Rob Rix	7f5a52c349	Reformat the build-depends field.	2019-10-10 14:43:01 -04:00
Rob Rix	1c1d955553	Reformat the exposed-modules field.	2019-10-10 14:42:41 -04:00
Rob Rix	7e5f477353	Mention v2- instead of new-.	2019-10-10 14:42:19 -04:00
Rob Rix	bb81dd0ee1	Drop an obsolete stripAnnotations.	2019-10-10 14:11:34 -04:00
Rob Rix	a1a6270c01	🔥 Path annotations.	2019-10-10 14:10:35 -04:00
Rob Rix	61a2cd396b	🔥 some Path annotations.	2019-10-10 14:09:30 -04:00
Rob Rix	c19a373bf3	Fix the tests.	2019-10-10 14:06:47 -04:00
Rob Rix	1e326d7fb8	Don’t re-export Trifecta.	2019-10-10 14:05:59 -04:00
Rob Rix	6681639dd5	Rearrange stripAnnotations’ type parameters.	2019-10-10 14:05:50 -04:00
Rob Rix	8880278961	🔥 Loc.	2019-10-10 13:56:22 -04:00
Rob Rix	20c6d12b03	🔥 a redundant language extension.	2019-10-10 13:55:52 -04:00
Rob Rix	31b1eae78e	🔥 interactive.	2019-10-10 13:55:13 -04:00
Rob Rix	177fb8d05c	Correct a doctest.	2019-10-10 13:52:07 -04:00
Rob Rix	5433cad022	Store local Refs.	2019-10-10 13:51:18 -04:00
Rob Rix	f15feb0ca3	🔥 askLoc.	2019-10-10 13:49:36 -04:00
Rob Rix	ef36ded16c	Inline the Loc into Ref.	2019-10-10 13:48:39 -04:00
Rob Rix	e2092e8a52	Inline the Loc into Decl.	2019-10-10 13:47:12 -04:00
Rob Rix	5b4a1d3d9d	Inline the Loc into Concrete.	2019-10-10 13:44:45 -04:00
Rob Rix	5dd2b1185d	Inline the Loc into Semi.	2019-10-10 13:44:00 -04:00
Rob Rix	e949f88517	🔥 fileLoc.	2019-10-10 13:41:55 -04:00
Rob Rix	4ca2990346	Revert "Rename Control.Carrier.Fail.WithLoc to .WithFile." ... This reverts commit 4c58f0877e.	2019-10-10 13:41:17 -04:00
Rob Rix	c414161679	Revert "Return the message in a File." ... This reverts commit 1ec98e9c05.	2019-10-10 13:41:14 -04:00
Rob Rix	1ec98e9c05	Return the message in a File.	2019-10-10 13:40:49 -04:00
Rob Rix	4c58f0877e	Rename Control.Carrier.Fail.WithLoc to .WithFile.	2019-10-10 13:38:56 -04:00
Rob Rix	6a0be9cf09	Split up Loc annotations.	2019-10-10 13:36:58 -04:00
Rob Rix	200c3edf77	Evaluate doubly-annotated terms.	2019-10-10 13:30:01 -04:00
Rob Rix	dfceb329f9	Split Loc annotations into separate Path & Span readers.	2019-10-10 13:26:09 -04:00
Rob Rix	c97c8c7e12	Inline Loc into File.	2019-10-10 13:12:32 -04:00
Rob Rix	d044ea2fc4	Add a newtype wrapper around Path.	2019-10-10 13:08:14 -04:00
Rob Rix	2be7c29dad	Parameterize Ann with the annotation type.	2019-10-10 13:06:02 -04:00
Patrick Thomson	ae46a7b105	Make Data.Name.Name a newtype rather than a synonym. ... The fact that `Name` was a simple alias for `Text` was creeping into the error messages I'm seeing in `semantic-python`, which was a bit of a buzzkill. This remedies that.	2019-10-07 17:45:53 -04:00
Rob Rix	16b475c57f	Rename FailWithLocC to FailC.	2019-10-07 17:26:37 -04:00
Rob Rix	1391e75a14	Move FailWithLocC into its own module.	2019-10-07 17:25:11 -04:00