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
Rob Rix
89e0185371
Stub in a module for FailWithLoc.
2019-10-07 17:21:23 -04:00
Rob Rix
a93327f46d
🔥 emptySpan.
2019-10-07 17:19:16 -04:00
Rob Rix
36eb0df4a9
Don’t use emptySpan in the doctests.
2019-10-07 17:18:53 -04:00
Rob Rix
d70f95fa56
Don’t re-export Span/Pos.
2019-10-07 17:18:18 -04:00
Rob Rix
8f11c4dae3
🔥 some commented-out fields.
2019-10-07 17:16:37 -04:00
Rob Rix
0b642f579d
Use semantic-source’s definition of Span.
2019-10-07 17:16:01 -04:00
Rob Rix
b082341704
Depend on semantic-source.
2019-10-07 17:14:32 -04:00
Rob Rix
03b12f2900
Define as a newtype wrapper around Text.
2019-10-07 17:10:24 -04:00
Patrick Thomson
375c975338
Use compileCC to build a record of toplevel bindings.
2019-09-23 11:56:40 -04:00
Rob Rix
7d1567e70a
🔥 a bunch of redundant hidden imports.
2019-09-20 16:45:12 -04:00
Patrick Thomson
d9f88fc046
Add a CHECK-TREE directive and simplify esoteric jq tests.
...
Due to the problems outlined in #245 , the tests for return statements
were complicated and not testing useful properties. This patch adds a
new `CHECK-TREE` directive which lets you embed a Core expression
as a string, which is parsed and then compared against the result of
compiling the containing module.
2019-09-18 18:07:43 -04:00
Patrick Thomson
da5bb84b05
Remove tree-sitter dependency from semantic-core.
2019-09-18 13:49:04 -04:00
Patrick Thomson
302add6c5e
Define annWith with annAt.
2019-09-18 13:43:36 -04:00
Patrick Thomson
962cd5d5de
Restore spacing.
2019-09-18 13:43:31 -04:00
Patrick Thomson
4d21791ae4
Add Data.Core.annAt.
2019-09-18 11:51:31 -04:00
Patrick Thomson
60fa4c82ab
Add Data.Loc.fromTSSpan.
...
We'll probably change this so that Unmarshal can do this for us, but
this implementation will suffice for now.
2019-09-18 11:50:53 -04:00
Patrick Thomson
1c5ac83791
Corral orphan instances.
2019-08-27 11:27:53 -04:00
Patrick Thomson
811f693051
Use Analysis.ScopeGraph instead of my bad reimplementation
2019-08-16 15:54:17 -04:00
Patrick Thomson
90dd0b4d33
Trying to bring up this test harness
2019-08-16 12:34:56 -04:00
Rob Rix
d3726fa9e2
Merge branch 'scope-graphs' into re-name
2019-08-06 15:08:56 -04:00
Rob Rix
0515d7c11d
Let-bind the function extending each value in the cell.
2019-08-06 15:05:15 -04:00
Rob Rix
c30e5ff473
Merge branch 'master' into scope-graphs
2019-08-06 14:55:39 -04:00
Rob Rix
8ad510d274
Merge branch 'master' into generalize-analyses-over-the-term-type
2019-08-06 14:38:30 -04:00
Rob Rix
f0ab3f1c91
Merge branch 'master' into factor-annotations-out-of-core
2019-08-06 14:07:22 -04:00
Rob Rix
c2e620ac6f
Haddock doesn’t like this.
2019-08-06 13:52:32 -04:00
Rob Rix
8d08b1a26a
Merge branch 'master' into sequence-values-in-the-abstract-domain
2019-08-06 13:45:57 -04:00
Rob Rix
d600246663
📝 the Semigroup instance for Concrete.
2019-08-06 13:44:21 -04:00
Rob Rix
82cb7e49b0
📝 the Semigroup instance for Term Monotype a.
2019-08-06 13:43:37 -04:00
Rob Rix
559a7aa59c
📝 the Semigroup use.
2019-08-06 13:41:45 -04:00
Rob Rix
dbf894163a
Merge branch 'master' into sequence-values-in-the-abstract-domain
2019-08-06 13:37:20 -04:00
Rob Rix
5d47b21977
Merge branch 'master' into module-laws
2019-08-06 13:34:36 -04:00
Rob Rix
372ed98b5e
Avoid rolling our own string literal parser.
...
🎩 @patrickt .
2019-08-06 12:25:05 -04:00
Rob Rix
78bd32e0b0
Don’t prefix :<-.
2019-08-06 12:23:01 -04:00
Rob Rix
b80dd5381a
Pull the rhs into a where clause.
2019-08-06 12:18:34 -04:00
Rob Rix
28404ae11e
foldrWithKey.
...
🎩 @patrickt .
2019-08-06 12:12:11 -04:00
Rob Rix
dd6d9a0209
Type application.
2019-08-06 12:07:01 -04:00
Rob Rix
0d2f05a8c7
📝 the parameters to unprefixEither.
2019-08-06 12:05:22 -04:00
Rob Rix
7c686d1ccb
📝 unprefixEither.
2019-08-06 12:04:22 -04:00
Rob Rix
eb2ede6d1d
Subterm.
2019-08-06 12:02:47 -04:00
Rob Rix
e2ec37ebdb
📝 unprefix’s parameters.
2019-08-06 12:01:30 -04:00