1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Commit Graph

19215 Commits

Author SHA1 Message Date
Rob Rix
5c15ad7120 Define runAnalysis using run. 2018-03-14 14:02:47 -04:00
Rob Rix
a2dffe278c runEffects produces the final result directly. 2018-03-14 14:02:02 -04:00
Rob Rix
8ff194439c Rename a bunch more type parameters. 2018-03-14 13:55:59 -04:00
Rob Rix
00549ae24b Align the comments. 2018-03-14 13:11:26 -04:00
Rob Rix
418f7536c4 Add an effects parameter to EvaluatingEffects. 2018-03-14 13:10:29 -04:00
Rob Rix
762a8e34a3 Don’t recompute the free variables in closure bodies. 2018-03-14 12:33:17 -04:00
Rob Rix
9742978154 Close over a smaller environment. 2018-03-14 12:31:34 -04:00
Rob Rix
a0071fc768 Add a function deleting a binding from an environment. 2018-03-14 12:31:02 -04:00
Rob Rix
3775750451 Parameterize Type by some type constructor. 2018-03-14 12:05:57 -04:00
Rob Rix
4ab0ae50e1 Derive Generic1, Eq1, Ord1, & Show1 instances for Subterm. 2018-03-14 11:48:34 -04:00
Rob Rix
97a1d5adb6 Require Ord instances for LocationFor. 2018-03-14 11:26:39 -04:00
Rob Rix
a391268efe Add superclass constraints to AbstractLocation. 2018-03-14 11:25:44 -04:00
Rob Rix
c1f3bd5711 …and some more. 2018-03-14 11:22:25 -04:00
Rob Rix
b8a3bd72f0 And some more type parameters. 2018-03-14 11:21:35 -04:00
Rob Rix
601c3b97d8 Rename some more type parameters. 2018-03-14 11:20:37 -04:00
Rob Rix
9ef31e03ec We don’t actually need the functional dependency here. 2018-03-14 11:19:19 -04:00
Rob Rix
34f2f04931 Clean up some language extensions. 2018-03-14 11:19:00 -04:00
Rob Rix
9b53187b8e Define Cell as an associated type family. 2018-03-14 11:16:23 -04:00
Rob Rix
6dd03c72d5 Define Cell as an open type family. 2018-03-14 11:15:23 -04:00
Rob Rix
8ac251c45b Rename a bunch more type parameters. 2018-03-14 11:12:44 -04:00
Rob Rix
e8df177ed4 Rename a bunch of type parameters. 2018-03-14 11:11:39 -04:00
Rob Rix
50f57fcf6f Generalize Environment over the address type. 2018-03-14 11:10:47 -04:00
Rob Rix
9d9b0abd67 Use EnvironmentFor to abbreviate lookupOrAlloc('). 2018-03-14 11:10:08 -04:00
Rob Rix
f105ecbdaa Align Configuration fields. 2018-03-14 11:09:20 -04:00
Rob Rix
12824b018a Sort imports. 2018-03-14 11:09:14 -04:00
Rob Rix
971ca6e5ad Define an AbstractValue typeclass with instances for Value & Type. 2018-03-14 10:58:08 -04:00
Rob Rix
426b48ea1c Define LocationFor as an open type family. 2018-03-14 10:55:59 -04:00
Rob Rix
b8fb250e10 apply does not take Subterms. 2018-03-14 10:45:03 -04:00
Rob Rix
25e95513ee Re-indent the signature for assign. 2018-03-14 10:34:00 -04:00
Rob Rix
86626ca242 Reformat a bunch of signatures. 2018-03-14 10:33:39 -04:00
Rob Rix
568cda0f12 Correct liftComparison. 2018-03-14 10:33:34 -04:00
Rob Rix
53e582fe8a Merge branch 'master' into fix-fix 2018-03-14 10:24:20 -04:00
Rob Rix
63c88b8aa5 Try letrec'ing a loop variable. 2018-03-14 10:24:13 -04:00
Rob Rix
eb41c0886e Add a typescript typechecking entry point. 2018-03-14 10:23:54 -04:00
Rob Rix
944fb5d879 Merge pull request #1555 from github/garbage-collecting
Garbage Collecting
2018-03-14 09:48:39 -04:00
Rob Rix
3a654abb08 Reformat RequiredEffects over multiple lines. 2018-03-14 09:40:45 -04:00
Rob Rix
6918fb31cf Merge branch 'master' into garbage-collecting 2018-03-14 09:39:55 -04:00
Rob Rix
9b91c742b2 Merge pull request #1559 from github/import-environments
Import environments
2018-03-14 09:38:59 -04:00
Rob Rix
5f86831c28 🔥 Interface values. 2018-03-14 09:31:05 -04:00
Rob Rix
5e5599c9e8 Copy my changes back. 2018-03-14 09:30:45 -04:00
Rob Rix
6833ac039e Merge branch 'master' into import-environments 2018-03-14 09:07:46 -04:00
Rob Rix
2ecc371f8d Revert "Subterm takes a parameter for the monadic context."
This reverts commit 1d3e72a833681f3010446cd636af86e005290745.
2018-03-13 17:09:18 -04:00
Rob Rix
d6c6662283 Subterm takes a parameter for the monadic context. 2018-03-13 17:05:38 -04:00
Rob Rix
caa0848aff Add a letrec construct. 2018-03-13 16:58:50 -04:00
Timothy Clem
3cbd4d004d Merge pull request #1535 from github/typescript-exports
Typescript exports
2018-03-13 13:57:04 -07:00
joshvera
fbe80583ad Merge branch 'typescript-exports' of https://github.com/github/semantic-diff into typescript-exports 2018-03-13 13:39:38 -07:00
Josh Vera
a8534f481f Merge branch 'master' into typescript-exports 2018-03-13 15:32:19 -05:00
joshvera
b094d4c0f6 Add Exports constraint to MonadEnvironment instance 2018-03-13 13:21:50 -07:00
joshvera
f93243f5b5 Merge remote-tracking branch 'origin/master' into typescript-exports 2018-03-13 13:13:53 -07:00
Rob Rix
1e1495a507 Use while to define forLoop. 2018-03-13 16:10:20 -04:00