github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 00:33:59 +03:00
Code Issues Projects Releases Wiki Activity
24,172 Commits 19 Branches 16 Tags 46 MiB
255a0aa62b
Commit Graph

149 Commits

Author SHA1 Message Date
Rob Rix
255a0aa62b Move TaskConfig into Semantic.Util. 2018-07-10 14:09:02 -04:00
Rob Rix
b33daf0ce1 Pass the task config stuff around as a single datum. 2018-07-10 13:49:34 -04:00
Rob Rix
90cb86d027 Pass config & queues to the integration specs. 2018-07-09 14:26:15 -04:00
Rob Rix
bcbc70446c Merge branch 'charliesome/substitution' into abstract-abstract-semantics 2018-07-05 14:15:01 -04:00
Rob Rix
5100670e72 Rename Data.Abstract.Value to Data.Abstract.Value.Concrete. 2018-07-03 14:22:26 -04:00
Rob Rix
a236328056 Merge branch 'master' into higher-order-effects 2018-06-26 15:14:28 -04:00
Rob Rix
7d37d3eb11 Resume defining LoopControl as using Exc. 2018-06-26 12:09:21 -04:00
Rob Rix
492947ae2e Resume defining Return as using Exc. 2018-06-26 12:00:25 -04:00
Rob Rix
3fb45b5d50 Preserve the structure of the data we’re testing against. 2018-06-25 12:27:30 -04:00
Rob Rix
33c04b15c3 Get the tests compiling. 2018-06-22 13:52:21 -04:00
Rob Rix
eedc8f4b7e Rearrange the spec helper to match Util. 2018-06-21 14:52:08 -04:00
Rob Rix
6abd29a65d Reuse UtilEff. 2018-06-21 13:46:28 -04:00
Rob Rix
3c537e3337 We’re in Evaluator, not TermEvaluator. 2018-06-21 13:44:58 -04:00
Rob Rix
4e57d32e91 🔥 the outdated reference to the module table state. 2018-06-21 13:36:11 -04:00
Rob Rix
418b15077a Not EvaluatingState. 2018-06-21 13:34:42 -04:00
Rob Rix
e0f5d4ee22 Don’t use evaluating. 2018-06-21 13:22:58 -04:00
Rob Rix
1e26865c65 🔥 evaluatePackageWith. 2018-06-21 13:19:24 -04:00
Rob Rix
e972abd2e3 Factor runFresh out of evaluating. 2018-06-20 12:17:46 -04:00
Rob Rix
1b245278a1 🔥 the value parameter from Modules. 2018-06-18 13:18:20 -04:00
Rob Rix
9bf816db3b 🔥 the value parameter from LoadError. 2018-06-18 13:15:10 -04:00
Rob Rix
c36b04fd17 Re-export Proxy from SpecHelpers. 2018-06-18 11:11:22 -04:00
Rob Rix
792cdcc5e2 Re-export Lower from SpecHelpers. 2018-06-15 11:41:38 -04:00
Rob Rix
31893e6ced Bump effects for https://github.com/joshvera/effects/pull/54. 
This requires us to specify the lists of effects fully.
 2018-06-13 16:35:56 -04:00
Rob Rix
6a239acb35 🔥 redundant parens. 2018-06-13 16:26:25 -04:00
Charlie Somerville
b68d12f4e7 deref pointers to values in testEvaluating 2018-06-08 11:33:04 +10:00
Charlie Somerville
2fc9f1ca25 add type annotation to testEvaluating 2018-06-07 12:01:48 +10:00
Rob Rix
b19c381edb 🔥 the Fail effect. 2018-06-06 09:45:40 -04:00
Rob Rix
6adc5d7413 Placate hlint some more. 2018-05-30 10:33:51 -04:00
Rob Rix
282c02fbbd Embed the evaluating action into the closure body. 2018-05-28 14:11:08 -04:00
Rob Rix
a01e723b31 Run ValueErrors in TermEvaluator. 2018-05-28 09:55:01 -04:00
Rob Rix
015b74cf41 Give Value a term type parameter once more. 2018-05-28 09:35:42 -04:00
Rob Rix
2993c3588c Correct the specs. 2018-05-28 08:54:33 -04:00
Rob Rix
5ac256e340 🔨 fix the type in the spec 2018-05-24 12:09:20 -04:00
Rob Rix
2cb425dbb5 Merge branch 'master' into decompose-values 2018-05-22 15:43:51 -04:00
joshvera
378dad0d69 Merge remote-tracking branch 'origin/master' into grpc-server 2018-05-21 12:33:22 -04:00
Rob Rix
2ba726cb28 Fix a dodgy import. 2018-05-18 13:06:49 -04:00
Rob Rix
75d83155ec Re-export the Name module. 2018-05-18 13:06:35 -04:00
Timothy Clem
a60ed7bc16 Merge remote-tracking branch 'origin/master' into package-dot-json-parsing 2018-05-16 12:07:13 -07:00
Timothy Clem
f81ea4bff5 s/File/Project b/c that makes more sense to me 2018-05-16 08:38:00 -07:00
Rob Rix
47e92a766f Merge remote-tracking branch 'origin/master' into fix-abstract-semantics 2018-05-15 18:47:47 -04:00
Rob Rix
788618a9d0 Fix extracting values from Latest in the tests. 2018-05-15 17:43:57 -04:00
Rob Rix
3ab781ea48 🔥 all the constraining functions since we can use type applications instead. 2018-05-15 13:51:07 -04:00
Rob Rix
dcaad09deb Fix the specs. 2018-05-15 12:58:05 -04:00
Rob Rix
84ea29a60b Fix the tests. 2018-05-14 18:39:41 -04:00
joshvera
fb5c4c039d hide error 2018-05-14 16:19:59 -04:00
Rob Rix
75ab25d443 Generalize the type of toOutput. 2018-05-14 10:31:40 -04:00
Rob Rix
5813258037 Add a runBuilder helper. 2018-05-14 10:27:45 -04:00
Rob Rix
29be8a5243 Provide a helper which builds bytestrings. 2018-05-14 10:20:13 -04:00
Rob Rix
29af5d4d3a Build the bytestrings. 2018-05-14 10:18:52 -04:00
joshvera
9e2b7725a6 Merge origin/master 2018-05-11 16:37:04 -04:00