1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 07:25:44 +03:00
Commit Graph

31507 Commits

Author SHA1 Message Date
Rob Rix
1b61ce56ec
Sort explicit quantifiers. 2019-11-05 11:56:22 -05:00
Rob Rix
b33c694094
Sort constraints. 2019-11-05 11:55:54 -05:00
Rob Rix
d06d73c81b
Rename a bunch of type parameters. 2019-11-05 11:55:42 -05:00
Rob Rix
f03de00aec
🔥 ScopedTypeVariables. 2019-11-05 11:54:41 -05:00
Rob Rix
611ae5fb0b
🔥 quantifiers. 2019-11-05 11:53:46 -05:00
Rob Rix
6191f2e1be
Specialize the scope graph analysis to Name. 2019-11-05 11:52:21 -05:00
Rob Rix
4962104008
Specialize Value to Name. 2019-11-05 11:50:32 -05:00
Rob Rix
a3775a1248
Specialize the import graph analysis to Name. 2019-11-05 11:48:42 -05:00
Rob Rix
630759d1d7
Specialize Monotype to Name. 2019-11-05 11:47:01 -05:00
Rob Rix
18bc19a04e
Specialize Type, Constraint, Solution, & Substitution to Name. 2019-11-05 11:45:59 -05:00
Rob Rix
814f6fe8cf
🔥 quantifiers. 2019-11-05 11:38:24 -05:00
Rob Rix
50e123a110
Specialize the typechecking analysis to Name. 2019-11-05 11:37:47 -05:00
Rob Rix
71e4981805
Specialize EdgeType to Name. 2019-11-05 11:34:00 -05:00
Rob Rix
535ec0576a
🔥 some quantifiers. 2019-11-05 11:33:33 -05:00
Rob Rix
2f676e892e
Specialize the Env synonym to Name. 2019-11-05 11:32:55 -05:00
Rob Rix
398d377e35
Specialize Concrete to Name. 2019-11-05 11:32:22 -05:00
Rob Rix
29b117033b
Move Edge down. 2019-11-05 11:29:05 -05:00
Rob Rix
924e0d0129
🔥 Frame. 2019-11-05 11:28:18 -05:00
Rob Rix
98acd3adb7
Specialize concrete analysis to Name. 2019-11-05 11:26:01 -05:00
Rob Rix
0e69c0a67a
Use Analysis.Name in Core. 2019-11-05 11:17:09 -05:00
Rob Rix
9672556476
Move Name into its own module. 2019-11-05 11:13:15 -05:00
Rob Rix
9f26a4c13e
Stub in a module for Name. 2019-11-05 11:11:39 -05:00
Rob Rix
95298aa511
Avoid loading every package five times. 2019-11-05 10:59:40 -05:00
Rob Rix
cd5165ce00
Strengthen to Fin without Var. 2019-11-04 16:36:31 -05:00
Rob Rix
4811adddae
Define a smart constructor for Lam binding with Fin. 2019-11-04 16:29:08 -05:00
Rob Rix
ea2b679049
Export Name. 2019-11-04 16:07:02 -05:00
Rob Rix
23d1c84342
Define a RightModule instance for Intro. 2019-11-04 16:03:14 -05:00
Rob Rix
20591377da
Define an HFunctor instance for Intro. 2019-11-04 16:02:19 -05:00
Rob Rix
a5e1d5e0cb
Derive a Generic1 instance for Intro. 2019-11-04 16:02:12 -05:00
Rob Rix
4b0af27dde
Rename Domain to Intro. 2019-11-04 15:53:54 -05:00
Rob Rix
e5bfa87d86
Derive Foldable, Functor, & Traversable instances for Domain. 2019-11-04 15:52:40 -05:00
Rob Rix
3bafe21a23
Define an eliminator for Lam. 2019-11-04 15:38:27 -05:00
Rob Rix
2d362d9874
Define a smart constructor for multiple lambdas. 2019-11-04 15:36:55 -05:00
Rob Rix
9822b4eed7
Define a smart constructor for Lam. 2019-11-04 14:48:59 -05:00
Rob Rix
ca3bb15353
Define a smart constructor for Record. 2019-11-04 14:47:43 -05:00
Rob Rix
c9161d51d1
Define a smart constructor for String. 2019-11-04 14:47:19 -05:00
Rob Rix
6b6581dbbe
Define a smart constructor for Bool. 2019-11-04 14:46:41 -05:00
Rob Rix
722e40571c
Define a smart constructor for Unit. 2019-11-04 14:46:14 -05:00
Rob Rix
20555fcf84
Lam’s name is in Maybe. 2019-11-04 14:44:21 -05:00
Rob Rix
99a84e5646
Specialize Domain to Name. 2019-11-04 14:43:15 -05:00
Rob Rix
7208186efa
Copy Name in from Core.Name. 2019-11-04 14:40:18 -05:00
Rob Rix
24f6159acc
Domain is scope-safe. 2019-11-04 14:35:24 -05:00
Rob Rix
40d3e5ece6
Rename Arr to :->. 2019-11-04 14:33:06 -05:00
Rob Rix
a3e7d51cfe
Fix a typo. 2019-11-04 14:30:45 -05:00
Rob Rix
3721ccbace
Add Lam to Domain. 2019-11-04 14:30:17 -05:00
Rob Rix
e4caca6f19
Add Record to Domain. 2019-11-04 14:27:12 -05:00
Rob Rix
d4190ddb17
Derive some instances for Domain. 2019-11-04 14:24:05 -05:00
Rob Rix
664c7301db
Stub in a Domain datatype modelling the basic kinds of values. 2019-11-04 14:22:48 -05:00
Rob Rix
1098d95cd8
Stub in a module for modelling the concrete domain. 2019-11-04 14:20:56 -05:00
Rob Rix
a55972ef88
Remove the heap fields from Analysis. 2019-11-04 14:04:03 -05:00