Rob Rix
|
6b9ba62c8c
|
Rename Core.Core.* to Core.*.
|
2019-10-11 13:50:40 -04:00 |
|
Rob Rix
|
740a3ca1a9
|
Core’s tests depend on semantic-analysis.
|
2019-10-11 12:55:23 -04:00 |
|
Rob Rix
|
9e31fc1f9b
|
semantic-core no longer has doctests.
|
2019-10-11 12:53:36 -04:00 |
|
Rob Rix
|
d20cbead89
|
Remove the Analysis.* and Control.* hierarchies from semantic-core.
|
2019-10-11 12:52:32 -04:00 |
|
Rob Rix
|
052eb88231
|
🔥 a couple of redundant dependencies.
|
2019-10-11 12:52:18 -04:00 |
|
Rob Rix
|
6bac8d2770
|
How did this ever work? What does it even do?
|
2019-10-11 12:42:21 -04:00 |
|
Rob Rix
|
85d09b5116
|
Rename Core.File to Analysis.File.
|
2019-10-11 12:37:11 -04:00 |
|
Rob Rix
|
5f9787f21c
|
Correct an import.
|
2019-10-11 12:22:12 -04:00 |
|
Rob Rix
|
6bfd33e7bc
|
Correct the import.
|
2019-10-11 12:21:04 -04:00 |
|
Rob Rix
|
3700cb5106
|
Merge branch 'eliminate-core-loc' into generalize-analysis-over-the-name-type
|
2019-10-11 12:20:53 -04:00 |
|
Rob Rix
|
7c2ac87ff3
|
Correct the doctest.
|
2019-10-11 12:19:37 -04:00 |
|
Rob Rix
|
5ef4ecdde9
|
Merge branch 'eliminate-core-loc' into generalize-analysis-over-the-name-type
|
2019-10-11 12:15:39 -04:00 |
|
Rob Rix
|
7554271e2d
|
toString.
|
2019-10-11 12:14:58 -04:00 |
|
Rob Rix
|
7d52293e13
|
Merge branch 'eliminate-core-loc' into generalize-analysis-over-the-name-type
|
2019-10-11 12:12:35 -04:00 |
|
Rob Rix
|
f3b3a32f8a
|
Merge branch 'core-factoring' into eliminate-core-loc
|
2019-10-11 12:12:25 -04:00 |
|
Rob Rix
|
a278c9daab
|
Import eval.
|
2019-10-11 12:11:30 -04:00 |
|
Rob Rix
|
d78c3ddc9e
|
Merge branch 'eliminate-core-loc' into generalize-analysis-over-the-name-type
|
2019-10-11 11:51:46 -04:00 |
|
Rob Rix
|
37b723aa81
|
Merge branch 'core-factoring' into eliminate-core-loc
|
2019-10-11 11:51:34 -04:00 |
|
Rob Rix
|
b77a3b8058
|
Enable flexible contexts for the doctest.
|
2019-10-11 11:50:16 -04:00 |
|
Rob Rix
|
a160c0b7d5
|
Generalize typecheckingFlowInsensitive over the name type.
|
2019-10-11 11:47:39 -04:00 |
|
Rob Rix
|
ffc281f0f3
|
Generalize runFile over the name type.
|
2019-10-11 11:47:01 -04:00 |
|
Rob Rix
|
6efc7c7301
|
Generalizee typecheckingAnalysis over the name type.
|
2019-10-11 11:45:57 -04:00 |
|
Rob Rix
|
45dfc6ead1
|
Generalize solve over the name type.
|
2019-10-11 11:45:32 -04:00 |
|
Rob Rix
|
d184acfbfe
|
Generalize Solution over the name type.
|
2019-10-11 11:41:11 -04:00 |
|
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 |
|