github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 17:05:33 +03:00
Code Issues Projects Releases Wiki Activity
25,271 Commits 19 Branches 16 Tags 46 MiB
51d3422191
Commit Graph

174 Commits

Author SHA1 Message Date
Rob Rix
90b29a39ab Add a missing import. 2018-08-15 12:08:15 -04:00
Rob Rix
358b8cc564 Replace UtilEff with ConcreteEff. 2018-08-15 11:55:45 -04:00
joshvera
75365e9caa Merge remote-tracking branch 'origin/master' into interactive-debugger 2018-08-13 16:40:27 -04:00
joshvera
2732f17719 Merge remote-tracking branch 'origin/master' into interactive-debugger 2018-08-10 14:20:16 -04:00
Rob Rix
d05f3c6ae3 🔥 Data.Abstract.Address. 2018-08-10 13:46:24 -04:00
Rob Rix
55acc78d83 Fix up the specs. 2018-08-09 15:51:55 -04:00
Rob Rix
0def4afbab Specialize Heap to Set. 2018-08-09 15:40:42 -04:00
Rob Rix
c1254d54b8 🔥 Cell. 2018-08-09 15:30:50 -04:00
Rick Winfrey
77c8867907 No longer need these imports 2018-08-08 10:31:59 -07:00
Rick Winfrey
383b6208ee Rename ErrorContext -> BaseError 2018-08-07 16:50:55 -07:00
Rick Winfrey
cdedb5d893 Update tests 2018-08-07 10:48:01 -07:00
Rick Winfrey
00a24473c7 Update tests 2018-08-06 15:10:59 -07:00
Rick Winfrey
823ae6ac51 Merge branch 'master' into error-context 2018-08-06 13:46:42 -07:00
Rick Winfrey
5b9dca6400 Wrap UnspecializedError with BaseError 2018-08-06 11:50:49 -07:00
Rick Winfrey
37d197bb21 Wrap SpecHelpers errors in BaseError 2018-08-03 16:59:34 -07:00
Rob Rix
8c9debbd17 Fix up the specs. 2018-08-03 14:14:08 -04:00
Rob Rix
f2fcbf93f4 Generalize UtilEff over the trailing effects. 2018-08-03 11:18:03 -04:00
Rob Rix
5368f859eb Whoops. 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-08-01 15:22:37 -04:00
Charlie Somerville
de80f1906e fix SpecHelpers to hit heap for namespaces 2018-07-19 17:03:17 +10:00
Charlie Somerville
a3bc96834c Merge branch 'master' into charliesome/module-result 2018-07-18 14:53:31 +10:00
Charlie Somerville
6837b1d637 names takes a Binding, not an Environment 2018-07-17 12:04:54 +10:00
Charlie Somerville
752e29c9ef use ModuleResult type alias here too 2018-07-17 11:42:01 +10:00
Patrick Thomson
ae550c59c8 Merge remote-tracking branch 'origin/master' into abstract-call-graph 2018-07-13 11:11:46 -04:00
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
Patrick Thomson
c5b722dbba Merge remote-tracking branch 'origin/master' into abstract-call-graph 2018-07-09 11:28:24 -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
Patrick Thomson
1eed347da6 fix the specs 2018-06-29 16:17:27 -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