github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-30 02:14:20 +03:00
Code Issues Projects Releases Wiki Activity
32,344 Commits 19 Branches 16 Tags 46 MiB
ca84aeb6a8
Commit Graph

747 Commits

Author SHA1 Message Date
Rob Rix
6d3d1751b6
Generalize unify over the name type. 2019-10-11 11:40:30 -04:00
Rob Rix
a17d0b57ff
Generalize meta over the name type. 2019-10-11 11:40:09 -04:00
Rob Rix
f87f7c0d0d
Generalize Constraint over the name type. 2019-10-11 11:39:32 -04:00
Rob Rix
7e51f43451
Generalize Substitution over the name type. 2019-10-11 11:38:38 -04:00
Rob Rix
6fa4a01c80
Generalize Type over the name type. 2019-10-11 11:37:49 -04:00
Rob Rix
7d8e8f27d4
Generalize Monotype over the name type. 2019-10-11 11:36:17 -04:00
Rob Rix
804e3c1020
Use the Type synonym more widely. 2019-10-11 11:35:03 -04:00
Rob Rix
5ae39b172d
Generalize scopeGraph over the name type. 2019-10-11 11:33:29 -04:00
Rob Rix
a4b016d3df
Generalize runFile over the name type. 2019-10-11 11:32:55 -04:00
Rob Rix
ee292476e2
Generalize scopeGraphAnalysis over the name type. 2019-10-11 11:31:59 -04:00
Rob Rix
5eff1ac7af
Generalize ScopeGraph over the name type. 2019-10-11 11:31:31 -04:00
Rob Rix
701937f7d2
🔥 a redundant type application. 2019-10-11 11:31:22 -04:00
Rob Rix
b739911580
Generalize Decl over the name type. 2019-10-11 11:29:23 -04:00
Rob Rix
0c1b7bc25f
Analysis expects term to be * -> *. 2019-10-11 11:28:44 -04:00
Rob Rix
3b33e7768f
Apply term in Semi at * -> *. 2019-10-11 11:28:18 -04:00
Rob Rix
a0a7d37797
Generalize importGraph over the name type. 2019-10-11 11:27:03 -04:00
Rob Rix
6a0f78699a
Generalize runFile over the name type. 2019-10-11 11:26:27 -04:00
Rob Rix
ccea885056
Generalize importGraphAnalysis over the name type. 2019-10-11 11:25:32 -04:00
Rob Rix
29caad2419
Generalize Value over the name type. 2019-10-11 11:24:41 -04:00
Rob Rix
adeec84cd8
Generalize Semi over the name type. 2019-10-11 11:23:44 -04:00
Rob Rix
462086e473
Concrete applies term at * -> *. 2019-10-11 11:19:26 -04:00
Rob Rix
56556d3d98
Generalize concrete over the name type. 2019-10-11 11:17:16 -04:00
Rob Rix
6e439f8f49
Generalize runFile over the name type. 2019-10-11 11:03:50 -04:00
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
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
Rob Rix
d59b7cc796
Fix Analysis.Concrete. 2019-10-04 18:34:01 -04:00
Rob Rix
376d1ef7bc
Fix Analysis.ImportGraph. 2019-10-04 18:32:21 -04:00
Rob Rix
6b9e765528
Fix Analysis.ScopeGraph. 2019-10-04 18:31:10 -04:00
Rob Rix
0e79014992
Fix Analysis.Typecheck. 2019-10-04 18:29:57 -04:00
Rob Rix
2c4d23dcb6
Fix Analysis.Eval. 2019-10-04 18:27:53 -04:00
Rob Rix
09ec150aea
Fix the core parser. 2019-10-04 18:26:56 -04:00
Rob Rix
60fff8d9a9
Fix constraints. 2019-10-04 18:25:56 -04:00
Rob Rix
171bafc69e
Define Project locally to Data.Core for now. 2019-10-04 18:25:47 -04:00
Rob Rix
a7700826af
Fix imports & instances. 2019-10-04 18:25:29 -04:00
Rob Rix
fdb983a7b5
Fix imports. 2019-10-04 18:25:18 -04:00
Rob Rix
13d8eca026
Update the flow-insensitive analysis. 2019-10-04 18:25:02 -04:00
Rob Rix
e254bcbea4
Remove redundant definitions. 2019-10-04 18:24:46 -04:00
Rob Rix
3a43887e30
Move the Readline carrier into its own module. 2019-10-04 18:24:35 -04:00
Rob Rix
b534f7cd84
Stub in a module for the haskeline-based Readline carrier. 2019-10-04 17:52:59 -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