github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-18 20:31:55 +03:00
Code Issues Projects Releases Wiki Activity
26,854 Commits 19 Branches 16 Tags 46 MiB
09d616788e
Commit Graph

113 Commits

Author SHA1 Message Date
Rob Rix
b66ea73427 Reassociate errors in the specs. 2018-05-07 16:56:40 -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
ca778fd76e We don’t need to constrain the term type any more. 2018-05-07 15:25:05 -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
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
Rob Rix
c427be3670 Stub in a spec for Evaluator. 2018-05-07 14:21:05 -04:00