github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Code Issues Projects Releases Wiki Activity
19,220 Commits 19 Branches 16 Tags 46 MiB
a85fe18d20
Commit Graph

19220 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
a85fe18d20 📝 loop. 2018-03-14 15:30:15 -04:00
Rob Rix
2eec625fbb Define looping as primitive on MonadValue. 2018-03-14 15:27:53 -04:00
Rob Rix
222ce40be3 Function/method names are bound in their bodies. 2018-03-14 15:08:24 -04:00
Rob Rix
4b4cea587f letrec returns the address. 2018-03-14 15:06:40 -04:00
Rob Rix
c392b50037 Loosen the constraint on modifyGlobalEnv. 2018-03-14 15:02:00 -04:00
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