github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00
Code Issues Projects Releases Wiki Activity
21,530 Commits 19 Branches 16 Tags 46 MiB
c05d708f15
Commit Graph

21530 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
b66ea73427 Reassociate errors in the specs. 2018-05-07 16:56:40 -04:00
Rob Rix
a1677d5417 Reassociate errors for ghci. 2018-05-07 16:55:57 -04:00
Rob Rix
d9e76fb2c5 Test that we can call functions. 2018-05-07 16:06:21 -04:00
Rob Rix
c05884195d Add environment errors to the mix. 2018-05-07 16:06:04 -04:00
Rob Rix
de1a8e1164 Clean up a redundant pure. 2018-05-07 16:05:55 -04:00
Rob Rix
b589d4f7d0 Define a FreeVariables instance for Term. 2018-05-07 16:05:27 -04:00
Rob Rix
36ecc8e356 🔥 lookupWith. 2018-05-07 16:00:28 -04:00
Rob Rix
3d8e6edb7c Move variable into Addressable. 2018-05-07 15:58:16 -04:00
Rob Rix
b1dea9c5f0 Switch variable over to EnvironmentError. 2018-05-07 15:56:47 -04:00
Rob Rix
a464c7a7ca Define a handler for resuming free variable errors. 2018-05-07 15:52:27 -04:00
Rob Rix
f203d4f74b Define a convenience for throwing a free variable error. 2018-05-07 15:45:10 -04:00
Rob Rix
e9d6a8fb89 Define an EnvironmentError GADT & handlers. 2018-05-07 15:45:02 -04:00
Rob Rix
ca778fd76e We don’t need to constrain the term type any more. 2018-05-07 15:25:05 -04:00
Rob Rix
4f64d95a51 🔥 redundant language extensions. 2018-05-07 15:21:41 -04:00
Rob Rix
28eec7a7ec Lift TermEvaluators to Subterm evaluators. 2018-05-07 15:19:57 -04:00
Rob Rix
a4e823681f Define a TermEvaluator synonym. 2018-05-07 15:19:36 -04:00
Patrick Thomson
50ea7d1a09 remove duplication 2018-05-07 15:13:40 -04:00
Rob Rix
3b4b953506 Run evaluators in IO. 2018-05-07 15:13:01 -04:00
Rob Rix
1bd817bc76 Test that we can construct integers. 2018-05-07 15:10:41 -04:00
Rob Rix
980fd74aed Define an evaluator helper. 2018-05-07 15:10:11 -04:00
Rob Rix
47d48d695e Add types for terms, values, and the effects for evaluating terms. 2018-05-07 15:09:50 -04:00
Patrick Thomson
600a2c5100 better name 2018-05-07 15:08:14 -04:00
Rob Rix
f16b734be3 🔥 a redundant Recursive constraint on term. 2018-05-07 15:05:15 -04:00
Patrick Thomson
5cf08450e0 whoops 2018-05-07 15:04:07 -04:00
Patrick Thomson
92d8ca7872 comments 2018-05-07 15:02:21 -04:00
Patrick Thomson
1a47af44d3 fix lints 2018-05-07 14:59:29 -04:00
Patrick Thomson
ab90ff0464 fix repl functions 2018-05-07 14:56:10 -04:00
Patrick Thomson
110365733c fix specs 2018-05-07 14:39:01 -04:00
Rob Rix
022e0779f7 🔥 the functional dependency on AbstractValue. 2018-05-07 14:25:14 -04:00
Patrick Thomson
335878454b Merge branch 'master' into remove-tracem 2018-05-07 14:23:46 -04:00
Rob Rix
c427be3670 Stub in a spec for Evaluator. 2018-05-07 14:21:05 -04:00
Rob Rix
29c755a8dc Sort the test modules. 2018-05-07 14:20:56 -04:00
Patrick Thomson
bedba61867 Make Evaluator use effectful trace rather than Debug.Trace. 2018-05-07 14:15:47 -04:00
Rob Rix
05999e7559 Revert "Don’t specialize null for Exports." 
This reverts commit 8f626b6c0f90af595f510543b15400219e5d9102.
 2018-05-07 14:13:11 -04:00
Rob Rix
676f905468 We no longer use fail in this module at all. 2018-05-07 13:15:15 -04:00
Rob Rix
4c6e433802 Merge branch 'master' into musical-chairs,-evaluator-edition 2018-05-07 13:09:25 -04:00
Rob Rix
d9b1b5e4da 📝 Evaluator. 2018-05-07 13:08:11 -04:00
Rob Rix
05c2770499 Don’t qualify the import of Eff. 2018-05-07 13:04:08 -04:00
Rob Rix
4becd242aa 🔥 a couple of stray imports. 2018-05-07 13:02:39 -04:00
Rob Rix
0220ef3046 Merge branch 'master' into musical-chairs,-evaluator-edition 2018-05-07 12:58:27 -04:00
Rob Rix
0687851456 Merge pull request #1805 from github/scope-effects-to-evaluation 
Scope effects to evaluation
 2018-05-07 12:55:04 -04:00
Rob Rix
b09e854be5 Move ResolutionError into the module table effects module. 2018-05-07 12:49:51 -04:00
Rob Rix
0d3f8b685f Don’t specialize null for Exports. 2018-05-07 12:33:48 -04:00
Rob Rix
05ff04533f Merge branch 'master' into scope-effects-to-evaluation 2018-05-07 12:29:26 -04:00
Rob Rix
aafbeb6b72 Don’t export the unevaluated module table & load stack accessors. 2018-05-07 12:28:04 -04:00
Rob Rix
39f8d659e1 Move require, load, & LoadError into the module table effects module. 2018-05-07 12:26:38 -04:00
Rob Rix
b69a9d275d Move resolve & listModulesInDir into the module table effect module. 2018-05-07 12:23:51 -04:00
Rob Rix
6557859772 Move the unevaluated module table and load stack accessors into the module table effects module. 2018-05-07 12:21:35 -04:00
Josh Vera
d6cf05177e Merge pull request #1817 from github/fix-benchmarks 
Fix benchmarks.
 2018-05-07 12:20:43 -04:00
Rob Rix
eabb3b79a1 Move the evaluated module table accessors into their own module. 2018-05-07 12:20:23 -04:00