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
25,688 Commits 19 Branches 16 Tags 46 MiB
2db44ac715
Commit Graph

93 Commits

Author SHA1 Message Date
Rob Rix
2db44ac715 Fix the eval spec. 2018-09-25 14:41:57 -05:00
Rob Rix
038b56970e Parameterize Evaluator by the term type. 2018-09-20 12:43:59 -04:00
joshvera
6b8c0c0f06 Merge remote-tracking branch 'origin/master' into entry-points 2018-08-27 12:49:47 -04:00
joshvera
bc6614aa12 Merge remote-tracking branch 'origin/master' into entry-points 2018-08-27 12:05:20 -04:00
Rob Rix
d21f0976f0 Run the boolean effect in the evaluator spec. 2018-08-23 13:08:38 -04:00
Charlie Somerville
ec852844cb reshuffle module layout so that Environment can depend on Heap 2018-08-21 13:42:45 +10:00
Rick Winfrey
54bc2a9521 🔥 unused exports 2018-08-13 15:43:23 -07:00
Rob Rix
68157b1fa0 Apply the correct value type. 2018-08-13 10:06:12 -04:00
Rob Rix
99e377aec7 Fix a missed reference to Deref in the specs. 2018-08-13 09:58:18 -04:00
Rob Rix
a438930c91 Use the specialized handlers for Allocator and Precise. 2018-08-13 09:43:37 -04:00
Rob Rix
f0d216da2c 🔥 the value parameter from Allocator. 2018-08-10 15:32:10 -04:00
Rob Rix
d05f3c6ae3 🔥 Data.Abstract.Address. 2018-08-10 13:46:24 -04:00
Rob Rix
6de89a8351 Merge branch 'master' into entry-points 2018-08-10 11:28:00 -04:00
Rob Rix
b19ea1ca01 Fix up the Evaluator spec. 2018-08-09 16:13:03 -04:00
Josh Vera
44ac28510c Merge branch 'master' into entry-points 2018-08-08 16:17:08 -04:00
joshvera
77213d72e4 Fix function call 2018-08-08 14:25:19 -04:00
Rick Winfrey
317d4a3849 Merge branch 'master' into error-context 2018-08-08 10:33:41 -07:00
Rick Winfrey
383b6208ee Rename ErrorContext -> BaseError 2018-08-07 16:50:55 -07:00
Rick Winfrey
7a06b8c922 Fix up tests 2018-08-06 09:29:24 -07:00
Charlie Somerville
d00fced1bb Merge branch 'master' into charliesome/context 2018-08-01 11:45:46 +10:00
Rob Rix
60a4487a28 Run a Function effect in EvaluatorSpec. 2018-07-26 15:31:49 -04:00
Rob Rix
863c2774eb Merge branch 'master' into value-effects 2018-07-25 09:22:30 -04:00
Charlie Somerville
ee227d8091 fix up call in test 2018-07-24 16:23:53 +10:00
Rob Rix
33c6bc88f4 Correct the test. 2018-07-23 10:26:26 -04:00
Rob Rix
861a3fc80e Rename closure to function. 2018-07-23 10:26:06 -04:00
Charlie Somerville
de80f1906e fix SpecHelpers to hit heap for namespaces 2018-07-19 17:03:17 +10: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
33c04b15c3 Get the tests compiling. 2018-06-22 13:52:21 -04:00
Rob Rix
12c5dc32b2 🔥 an errant package version. 2018-06-22 10:38:03 -04:00
Rob Rix
07a0277b00 Fix up the Evaluator spec. 2018-06-21 13:42:03 -04:00
Rob Rix
84eb2beaa5 This doesn’t have module table state any more either. 2018-06-21 13:37:23 -04:00
Rob Rix
e0f5d4ee22 Don’t use evaluating. 2018-06-21 13:22:58 -04:00
Rob Rix
e972abd2e3 Factor runFresh out of evaluating. 2018-06-20 12:17:46 -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
Charlie Somerville
ddb18160f7 Merge branch 'master' into charliesome/value-ref-address 2018-06-08 11:33:01 +10:00
Rob Rix
b6c8c3f236 Fix up the evaluator spec. 2018-06-06 09:46:12 -04:00
Rob Rix
d6d3008cba deref operates on the address, so drop the env. 2018-06-01 17:28:35 -04:00
Rob Rix
d8201341c9 We’re already destructuring the tuples. 2018-06-01 17:28:19 -04:00
Charlie Somerville
32268b1710 Merge branch 'master' into charliesome/value-ref-address 2018-05-31 20:34:05 -05:00
Rob Rix
08cf65718f Fix the evaluator spec. 2018-05-30 17:20:08 -04:00
Rob Rix
f9c7f2836d runEnv in the evaluator spec. 2018-05-30 13:03:50 -04:00
Charlie Somerville
b72b442e0c WIP Merge branch 'master' into charliesome/value-ref-address 2018-05-29 16:06:45 -05:00
Rob Rix
f0c220906a Partially apply Eff in the tests. 2018-05-28 14:48:00 -04:00
Rob Rix
cc02cfd8eb AbstractIntro is pure. 2018-05-28 14:47:42 -04:00
Rob Rix
89b90496b7 Don’t qualify this name. 2018-05-28 14:47:20 -04:00