github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Code Issues Projects Releases Wiki Activity
26,896 Commits 19 Branches 16 Tags 46 MiB
799fe67107
Commit Graph

26896 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
799fe67107 Spacing. 2018-12-10 11:27:05 -05:00
Rob Rix
85ad3230be Simplify a few Evaluatable instances. 2018-12-10 11:12:04 -05:00
Rob Rix
13e584ce5a 🔥 a bunch of redundant case expressions. 2018-12-10 11:08:07 -05:00
Rob Rix
381cdcb951 🔥 redundant parens. 2018-12-10 11:01:23 -05:00
Rob Rix
e58d2d7cf2 Evaluate MemberAccess using ref. 2018-12-10 11:01:14 -05:00
Rob Rix
2c21e347c2 🔥 a redundant return. 2018-12-10 10:54:41 -05:00
Rob Rix
75b633b499 Don’t re-export ValueRef. 2018-12-10 10:49:43 -05:00
Rob Rix
c8682806ef 🔥 a redundant import. 2018-12-10 10:48:34 -05:00
Rob Rix
cde42e1c64 Spacing. 2018-12-10 10:48:25 -05:00
Rob Rix
e0bd50a328 ReferenceError can be resumed with a slot. 2018-12-10 10:45:42 -05:00
Rob Rix
4cfbfec03c 🔥 QualifiedImportError. 2018-12-10 10:41:49 -05:00
Rob Rix
4b7fb3dead 🔥 rvalBox. 2018-12-10 10:39:30 -05:00
Rob Rix
a839a19b54 🔥 some redundant imports of ValueRef. 2018-12-10 10:38:52 -05:00
Rob Rix
2acb4d0c28 🔥 an obsolete comment. 2018-12-10 10:38:44 -05:00
Rob Rix
fb4b254e5c define returns in unit. 2018-12-10 10:37:38 -05:00
Rob Rix
a2b6a27005 Defining built-ins returns in unit. 2018-12-10 10:36:51 -05:00
Rob Rix
7587536d4d Avoid constructing a ValueRef. 2018-12-10 10:36:02 -05:00
Rob Rix
17541d6b3e Analyze to values. 2018-12-10 10:34:17 -05:00
Rob Rix
dd2ef7bbdb Evaluate to values. 2018-12-10 10:29:41 -05:00
Rob Rix
826da6d8ca Pass eval an evaluator producing values. 2018-12-10 10:12:09 -05:00
Rob Rix
e7f8a88905 Evaluate TypeScript.JSX.RequiredParameter using ref. 2018-12-10 09:55:50 -05:00
Rob Rix
e305f1e18e Evaluate Ruby.Assignment using ref. 2018-12-10 09:54:51 -05:00
Rob Rix
8caee1226d Evaluate Statement.Assignment using ref. 2018-12-10 09:53:12 -05:00
Rob Rix
0adaad3ba0 Evaluate Expression.Delete using ref. 2018-12-10 09:52:51 -05:00
Rob Rix
3d2ced84c3 Make ref throw the error. 2018-12-10 09:51:08 -05:00
Rob Rix
03fda04500 Compose in the other direction. 2018-12-10 09:46:39 -05:00
Rob Rix
f96fb53501 Factor out the kleisli composition. 2018-12-10 09:46:05 -05:00
Rob Rix
9116072186 Make the ref parameter throw on failure. 2018-12-10 09:44:54 -05:00
Rob Rix
e0e8b1b566 Add a RefError constructor to EvalError. 2018-12-10 09:42:34 -05:00
Rob Rix
4c59a6bafa eval takes a reference evaluator. 2018-12-10 09:32:02 -05:00
Rob Rix
231e0f81b7 Give eval a dummy parameter. 2018-12-07 16:16:23 -05:00
Rob Rix
0cf03b6abe Give ref an extra parameter for the slot-recurrence function. 2018-12-07 16:00:53 -05:00
Rob Rix
4e18bd6a40 Simplify the open-recursion since our host language is call-by-need. 2018-12-07 15:55:35 -05:00
Rob Rix
0b36f9bad1 Module results hold values. 2018-12-07 15:23:03 -05:00
Rob Rix
111b9ec1c9 Fix up the evaluator spec. 2018-12-07 15:20:55 -05:00
Rob Rix
76537758fc Generalize graphingTerms over the result type. 2018-12-07 15:02:48 -05:00
Rob Rix
9acacd0716 runFunction takes an evaluator producing values. 2018-12-07 14:49:37 -05:00
Rob Rix
df4413f2a4 Calls return values. 2018-12-07 14:46:41 -05:00
Rob Rix
a51e5f67c1 They do. 2018-12-07 14:33:45 -05:00
Rob Rix
80ce9ab357 Functions return values. 2018-12-07 14:30:47 -05:00
Rob Rix
ed073ba245 While operates on values, not ValueRefs. 2018-12-07 12:59:01 -05:00
Rob Rix
36a7c31166 LoopControl operates on values, not ValueRefs. 2018-12-07 12:52:51 -05:00
Rob Rix
09d616788e Return holds a value, not a ValueRef. 2018-12-07 12:38:16 -05:00
Rob Rix
ba2cabc979 Revert "Abbreviate the Effect instance for Modules." 
This reverts commit d51f3ec67b35c1ed460617b5561016afa30ae9ec.
 2018-12-07 11:46:05 -05:00
Rob Rix
d82d0ad584 Revert "Rename resolve to resolvePaths." 
This reverts commit 6c2cd2a6c9a56956b6d6bae61510939b21f25080.
 2018-12-07 11:46:01 -05:00
Rob Rix
3c2a4241e8 Rename resolve to ref. 2018-12-07 11:45:29 -05:00
Rob Rix
23e3a688f7 Resolve MemberAccesses. 2018-12-07 11:40:11 -05:00
Rob Rix
3fd19e07d8 Specialize resolve for Identifier. 2018-12-07 11:32:13 -05:00
Rob Rix
260a44e7a0 Constrain callers of resolve a little further. 2018-12-07 11:31:25 -05:00
Rob Rix
ca6fad7c06 resolve returns in Maybe. 2018-12-07 11:01:46 -05:00