github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-20 13:21:59 +03:00
Code Issues Projects Releases Wiki Activity
19,486 Commits 19 Branches 16 Tags 46 MiB
e9d8c9c247
Commit Graph

19486 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Timothy Clem
ddc7a0447f Minor spacing and naming cleanup for readability 2018-03-14 12:03:14 -07:00
Rob Rix
c392b50037 Loosen the constraint on modifyGlobalEnv. 2018-03-14 15:02:00 -04:00
Timothy Clem
7204debb07 Merge remote-tracking branch 'origin/master' into import-language-tour 2018-03-14 11:38:49 -07: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
Patrick Thomson
378b65631a Evaluatable instance for Array literals. 
Pretty much identical to the one for tuples.
 2018-03-14 11:46:23 -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
Patrick Thomson
a6346525e6 Add Evaluatable instance for Bitwise operators. 
Would have been nice to reuise liftNumeric and liftNumeric2, but it's
not clear what it means to take bitwise components of rational or
floating-point numbers.
 2018-03-14 11:25:06 -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
Patrick Thomson
3b9b3703f6 Merge pull request #1557 from github/symbol-eval 
Evaluatable instance for symbols.
 2018-03-14 10:58:34 -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
Patrick Thomson
78212c6efb Merge remote-tracking branch 'origin/master' into symbol-eval 2018-03-14 10:50:34 -04:00
Patrick Thomson
4ff2ca71cc Merge pull request #1560 from github/rationals 
Add Evaluatable instance for Rational and unify numerical interface.
 2018-03-14 10:48:13 -04:00
Patrick Thomson
b7b1b1f2ef Merge remote-tracking branch 'origin/master' into symbol-eval 2018-03-14 10:46:56 -04:00
Rob Rix
b8fb250e10 apply does not take Subterms. 2018-03-14 10:45:03 -04:00
Patrick Thomson
fc122bdfbe Merge branch 'symbol-eval' of github.com:github/semantic into symbol-eval 2018-03-14 10:43:33 -04:00
Patrick Thomson
99d4815d3a Don't do anything clever with stripping colons from symbols. 2018-03-14 10:42:50 -04:00
Patrick Thomson
229902a5ca Merge remote-tracking branch 'origin/master' into rationals 2018-03-14 10:40:00 -04:00
Patrick Thomson
81aab6572e Address Rob's changes. 2018-03-14 10:36:56 -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