github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Code Issues Projects Releases Wiki Activity
31,109 Commits 19 Branches 16 Tags 46 MiB
0d56ae08e4
Commit Graph

4295 Commits

Author SHA1 Message Date
Timothy Clem
344873f0f7 Go corpus back the other way? 2018-09-17 11:26:47 -07:00
Timothy Clem
64c9d20826 Error span changed 2018-09-17 09:56:39 -07:00
Timothy Clem
c97d43aaca Refinement of types is Go 2018-09-17 09:56:31 -07:00
Timothy Clem
883d4586c0 TypeScript fixes for more type identifiers 2018-09-17 09:48:47 -07:00
Timothy Clem
80dfd75635 Ruby corpus changes 2018-09-17 09:30:03 -07:00
joshvera
5c96b3d6d7 Merge remote-tracking branch 'origin/master' into scopes-and-frames 2018-09-17 12:08:27 -04:00
Patrick Thomson
f6f2476641 fix tests 2018-09-17 11:17:10 -04:00
Patrick Thomson
ec7ee9da62 improve JSON formatting so the diff doesn't whine 2018-09-17 10:52:28 -04:00
joshvera
eb71b512b3 Fix test type errors 2018-09-14 18:04:08 -04:00
Patrick Thomson
d1cc400dc0 add spec file 2018-09-14 13:10:22 -04:00
Patrick Thomson
7129435dc8 Merge remote-tracking branch 'origin/master' into simplify-reprinter 
also incorporates a number of changes. oops.
 2018-09-12 12:14:01 -04:00
Patrick Thomson
d6eaae9555 further cleanup and refinement of tests 2018-09-12 11:46:41 -04:00
Patrick Thomson
0802e0a9f2 Use a deep embedding for Tokenize. 2018-09-11 18:54:37 -04:00
Timothy Clem
addc6a6c6f Fix a few more go fixtures 2018-09-10 15:41:16 -07:00
Timothy Clem
ceed3b0ae4 Fix a few test fixtures due to structure changes 2018-09-10 11:15:34 -07:00
Timothy Clem
31d093d1c9 Fix tests 2018-09-06 16:29:59 -07:00
Timothy Clem
16b99b8634 One more roundtrip test 2018-09-06 16:29:32 -07:00
Timothy Clem
b3e593fc55 Merge branch 'master' into no-ruby-pipeline 2018-08-30 14:31:00 -07:00
Timothy Clem
18140cd1e6 Merge branch 'master' into partial-results 2018-08-30 13:12:53 -07:00
Timothy Clem
df17d9ffda Don't do miniRuby either 2018-08-30 13:10:18 -07:00
Timothy Clem
099faacbce Re-work these tests now that we return if parse fails 2018-08-30 12:51:29 -07:00
Timothy Clem
5939a6139d Remove segfaulting miniPythonParser test for now 2018-08-29 10:42:36 -07:00
Timothy Clem
34648a263a Merge branch 'master' into source-aware-reprinter 2018-08-28 11:34:53 -07:00
Timothy Clem
0931fc81f2 Add a simple roundtrip spec for python printing 2018-08-28 10:31:54 -07:00
Timothy Clem
68a93c6740 Python example code 2018-08-28 09:12:56 -07: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
Timothy Clem
2cb6479797 Merge branch 'master' into source-aware-reprinter 2018-08-27 08:10:42 -07:00
Timothy Clem
9a347c9d27 Tokenize and print subtraction as well 2018-08-24 14:07:49 -07:00
Timothy Clem
bf5e72fc6d Fix up tests, since I moved these helpers 2018-08-24 11:07:54 -07:00
Timothy Clem
1bb0e3c149 Handle printing binary multiplication with precedence! 2018-08-24 10:59:09 -07:00
Timothy Clem
e9e8edbebe Dedicated util for rewriting 2018-08-24 10:35:38 -07:00
Patrick Thomson
0d4aaef985 Merge branch 'master' into source-aware-reprinter 2018-08-23 18:32:58 -04:00
Rob Rix
779972acb5 Merge branch 'master' into boolean-value-effect 2018-08-23 13:15:41 -04:00
Rob Rix
d21f0976f0 Run the boolean effect in the evaluator spec. 2018-08-23 13:08:38 -04:00
Ayman Nadeem
4be365ddcb add test 2018-08-23 11:25:20 -04:00
Timothy Clem
8f6d1ee873 Merge branch 'master' into source-aware-reprinter 2018-08-23 07:47:48 -07:00
Timothy Clem
3214519718 Very basic test for ruby printing 2018-08-22 13:47:30 -07:00
Timothy Clem
3e0a6b95cc Lints, formatting, docs, cleanup 2018-08-22 13:35:40 -07:00
Ayman Nadeem
9d676c5ba1 make these tests passsssgit diffgit diff 2018-08-21 18:33:16 -04:00
Timothy Clem
945712bca6 Examples 2018-08-21 13:25:14 -07:00
Timothy Clem
1a9200b783 tokenizing for Ruby blocks (functions) 2018-08-21 13:17:13 -07:00
Ayman Nadeem
5949c6e7d6 Merge branch 'master' into evaluatable-instances 2018-08-21 15:55:15 -04:00
Timothy Clem
5ac0b5a900 Continue to refine tokenize api with Ruby as example 2018-08-21 11:16:39 -07:00
Timothy Clem
beb0f5f6c3 This got renamed 2018-08-21 09:39:47 -07:00
Charlie Somerville
ec852844cb reshuffle module layout so that Environment can depend on Heap 2018-08-21 13:42:45 +10:00
Timothy Clem
b0311ff77e Ruby test hardness for ghci 2018-08-20 18:11:41 -07:00
Ayman Nadeem
da79989904 add test for await 2018-08-20 17:42:58 -04:00
Ayman Nadeem
c6b31ab886 fix rshift and lshift tests 2018-08-20 17:01:13 -04:00
Ayman Nadeem
167e9e3934 test for rshift 2018-08-20 16:57:35 -04:00
Ayman Nadeem
8cf838217c test for lshift 2018-08-20 16:56:37 -04:00
Ayman Nadeem
a3bec5b910 add tests for bor, band, bxor 2018-08-20 16:47:59 -04:00
Timothy Clem
3c53862e19 Merge remote-tracking branch 'origin/master' into source-aware-reprinter 2018-08-20 10:17:38 -07:00
Timothy Clem
441c47f5ec Fix up specs 2018-08-20 09:03:03 -07:00
Ayman Nadeem
51e19ee242 add test for BOr statements 2018-08-17 23:47:14 -04:00
Timothy Clem
cd3233549a WIP, language translation as an additional step in pipeline 2018-08-17 15:17:14 -07:00
Ayman Nadeem
6526071cd2 WIP test for bitwise OR 2018-08-17 14:14:11 -04:00
Ayman Nadeem
5891fe8510 add tests for lshift, rshift, unsignedRshift 2018-08-17 13:26:34 -04:00
Ayman Nadeem
a5c7010f85 add test file for bxor 2018-08-17 13:24:40 -04:00
Ayman Nadeem
c76948c76a add test for bitwise and 2018-08-17 13:23:53 -04:00
Ayman Nadeem
18694f8143 add test for bitwise OR 2018-08-17 13:22:48 -04:00
Ayman Nadeem
52f07dce3a Merge branch 'master' into evaluatable-instances 2018-08-17 13:08:03 -04:00
Ayman Nadeem
0e8bb70dfd Merge remote-tracking branch 'origin/master' into evaluatable-instances 2018-08-16 14:46:59 -04:00
Timothy Clem
600942dcf1 Fix up these tests 2018-08-15 14:01:58 -07:00
Timothy Clem
b39721ec4f Be consistent with 2 spaces for now 2018-08-15 14:01:53 -07:00
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
Rick Winfrey
1665df55aa Merge branch 'master' into interactive-debugger 2018-08-14 15:04:02 -07:00
Timothy Clem
487c78b854 Merge remote-tracking branch 'origin/master' into source-aware-reprinter 2018-08-13 15:56:26 -07:00
Rick Winfrey
54bc2a9521 🔥 unused exports 2018-08-13 15:43:23 -07:00
joshvera
75365e9caa Merge remote-tracking branch 'origin/master' into interactive-debugger 2018-08-13 16:40:27 -04:00
Rick Winfrey
27c2ebd519 Merge branch 'master' into update-haskell-tree-sitter 2018-08-13 13:01:07 -07:00
Rick Winfrey
9e87ea9fc5 Update python fixtures 
I think this got lost when merging in master
 2018-08-13 12:48:47 -07:00
Ayman Nadeem
bb71c4543d add evaluatable instance for await 2018-08-13 15:18:54 -04:00
Rick Winfrey
62fb9635e0 Merge branch 'master' into update-haskell-tree-sitter 2018-08-13 11:36:10 -07:00
Rick Winfrey
f0daabaf9a Update go fixtures 2018-08-13 11:29:01 -07:00
Rob Rix
08a29fdf92 Merge branch 'master' into parameterize-evaluate-with-deref-and-allocator-handlers 2018-08-13 13:33:36 -04:00
Ayman Nadeem
d107446abf re-generate ruby example 2018-08-13 10:43:44 -04:00
Ayman Nadeem
b54f175ebf update examples 2018-08-13 10:20:13 -04:00
Rob Rix
85adaafef5 Fix the doctests. 2018-08-13 10:20:13 -04: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
Rick Winfrey
686e1e6d09 Update fixtures 2018-08-10 14:33:39 -07:00
Ayman Nadeem
0a10f79f36 Merge branch 'master' into eval-instances 2018-08-10 16:46:51 -04:00
Rob Rix
f0d216da2c 🔥 the value parameter from Allocator. 2018-08-10 15:32:10 -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
Rick Winfrey
37f1a47075 Merge branch 'update-haskell-tree-sitter' of https://github.com/github/semantic into update-haskell-tree-sitter 2018-08-10 10:20:54 -07:00
Rick Winfrey
bb23084035 Add future import statement test fixtures 2018-08-10 10:11:01 -07:00
joshvera
c71dd783fb Add EscapeSequence Listable 2018-08-10 13:02:06 -04:00
Josh Vera
6566b05d4c Merge branch 'master' into update-haskell-tree-sitter 2018-08-10 11:45:01 -04:00
Rob Rix
6de89a8351 Merge branch 'master' into entry-points 2018-08-10 11:28:00 -04:00
Rick Winfrey
062fa896a4 Update test fixtures 2018-08-09 18:41:58 -07:00
Ayman Nadeem
a3c36b89ef add evaluatable instance and test for delete 
Co-Authored-By: Josh Vera <vera@github.com>
 2018-08-09 17:55:59 -04:00
Ayman Nadeem
75aa8f7662 add tests for void 2018-08-09 16:41:29 -04:00
Rob Rix
7e53364ce8 And here as well. 2018-08-09 16:14:18 -04:00
Rob Rix
bc4674dbf6 🔥 ns. 2018-08-09 16:13:54 -04:00
Rob Rix
b19ea1ca01 Fix up the Evaluator spec. 2018-08-09 16:13:03 -04:00
Ayman Nadeem
7ee4bad173 add sequence expression to test spec 
Co-Authored-By: Josh Vera <vera@github.com>
 2018-08-09 16:08:20 -04:00
Ayman Nadeem
fd70377a85 add sequence expression to typescript test spec 2018-08-09 16:03:03 -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
Ayman Nadeem
29a49ca4fb regenerate failing python tests 2018-08-09 15:29:31 -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
77c8867907 No longer need these imports 2018-08-08 10:31:59 -07:00
Rob Rix
f6096c6248 Merge branch 'master' into interactive-debugger 2018-08-08 09:44:53 -04:00
Rick Winfrey
383b6208ee Rename ErrorContext -> BaseError 2018-08-07 16:50:55 -07:00
Rick Winfrey
7bcd7d7fc8 Update tests 2018-08-07 16:45:44 -07:00
Patrick Thomson
805cea9000 a 'contextually' node exists 2018-08-07 14:09:50 -04:00
Rick Winfrey
cdedb5d893 Update tests 2018-08-07 10:48:01 -07:00
Rob Rix
cd654ade6c Merge branch 'master' into charliesome/context 2018-08-07 09:36:57 -04: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
e42ffb38f5 Fix lints 2018-08-06 09:57:34 -07:00
Rick Winfrey
7a06b8c922 Fix up tests 2018-08-06 09:29:24 -07:00
Rick Winfrey
adfb20dadd Update Ruby.Spec 2018-08-03 17:11:21 -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
Patrick Thomson
8549440f21 even better names, and a helper script to narrow tests 2018-08-03 13:15:14 -04:00
Patrick Thomson
2ec082d92c implement the typesetting stage 2018-08-03 12:47:54 -04:00
Patrick Thomson
081d8eb6fa Reorganize and add microlens, at least for now. 2018-08-03 12:23:47 -04:00
Rob Rix
f2fcbf93f4 Generalize UtilEff over the trailing effects. 2018-08-03 11:18:03 -04:00
Rob Rix
cc8debee4b Merge branch 'master' into charliesome/context 2018-08-03 10:16:23 -04:00
Rob Rix
e26d875fe9 Merge branch 'master' into refactor-util-and-friends 2018-08-03 09:51:48 -04:00
Rob Rix
ea69b5a6d3 Only pass a proxy to evaluateProject. 2018-08-02 10:24:55 -04:00
Charlie Somerville
6c7df4e5bc remove TypeScript specific This syntax type 2018-08-02 16:00:21 +10:00
Charlie Somerville
7cc858acf0 Identifier -> This in test fixtures 2018-08-02 14:21:40 +10:00
Charlie Somerville
72ba35dd1d regenerate diff fixtures 2018-08-02 14:15:50 +10:00
Charlie Somerville
6f472596a5 Merge branch 'master' into charliesome/context 2018-08-02 12:47:53 +10:00
Rob Rix
5368f859eb Whoops. 
Co-Authored-By: Ayman Nadeem <aymannadeem@gmail.com>
 2018-08-01 15:22:37 -04:00
Patrick Thomson
0a82d053d9 Found the bug: defaulting whenRefactored was wrong. 2018-08-01 12:13:10 -04:00
Ayman Nadeem
ea11278e8b Merge branch 'master' into test-java-assignment-part-2 2018-08-01 07:03:00 -04:00
Charlie Somerville
b5f6edb942 fix self in ruby assignment 2018-08-01 15:01:12 +10:00
Charlie Somerville
d00fced1bb Merge branch 'master' into charliesome/context 2018-08-01 11:45:46 +10:00
Patrick Thomson
76727e07da rename 2018-07-31 17:49:03 -04:00
Patrick Thomson
81ac3ae2f5 the SYR algorithm isn't right. something is weird here 2018-07-31 16:48:00 -04:00
Patrick Thomson
bda8e3fc4f some simple specs for the pipeline 2018-07-31 14:08:05 -04:00
Patrick Thomson
dccea555ed Extremely ad-hoc renderer to Docs 2018-07-31 12:44:20 -04:00
Patrick Thomson
6823fb92b6 better module name 2018-07-31 10:43:46 -04:00
Patrick Thomson
88cd915ced working reprinting tests 2018-07-30 20:05:44 -04:00
Patrick Thomson
a61fe301c4 Skeleton and initial test case 2018-07-30 16:00:09 -04:00
Rob Rix
60a4487a28 Run a Function effect in EvaluatorSpec. 2018-07-26 15:31:49 -04:00
Rob Rix
05d2683012 Merge branch 'master' into test-java-assignment-part-2 2018-07-26 09:23:09 -04:00
Rob Rix
863c2774eb Merge branch 'master' into value-effects 2018-07-25 09:22:30 -04:00
Ayman Nadeem
8fdab3f08e test class literal 2018-07-24 18:31:09 -04:00
Ayman Nadeem
c07120fcca add wildcard 2018-07-24 18:24:50 -04:00
Ayman Nadeem
41e5165195 test while 2018-07-24 18:23:08 -04:00
Ayman Nadeem
7a7c9ba222 test variable declaration 2018-07-24 18:20:57 -04:00
Ayman Nadeem
632bf50506 test update expression 2018-07-24 18:18:59 -04:00
Ayman Nadeem
cc2cf50b98 test throws, trycatches and type argument 2018-07-24 18:17:42 -04:00
Ayman Nadeem
448999e68d test try with resources statement 2018-07-24 18:12:47 -04:00
Ayman Nadeem
9fc621c9f4 test switch statement 2018-07-24 17:54:43 -04:00
Ayman Nadeem
794dbf82d4 test strings 2018-07-24 17:51:32 -04:00
Ayman Nadeem
562beec816 test spread parameter 2018-07-24 17:47:52 -04:00
Ayman Nadeem
32d6af0e9d test scoped identifiers 2018-07-24 17:45:09 -04:00
Ayman Nadeem
6e82ab5410 llama expression 2018-07-24 17:31:50 -04:00
Ayman Nadeem
f524368c0b interface declaration tests 2018-07-24 17:06:07 -04:00
Ayman Nadeem
533b72930b test integers 2018-07-24 17:01:12 -04:00
Ayman Nadeem
9d2e734a77 Import statement 2018-07-24 16:56:38 -04:00
Ayman Nadeem
2e3755fdd8 test if statements 2018-07-24 16:53:08 -04:00
Ayman Nadeem
7d4ff71cff test For loop 2018-07-24 16:51:48 -04:00
Timothy Clem
78a1a7bc92 Merge branch 'master' into external-modules 2018-07-24 13:08:34 -07:00
Ayman Nadeem
c5e5f0b97f test float 2018-07-24 15:29:54 -04:00
Timothy Clem
4bd2806a8f Fix up tests 2018-07-24 11:06:14 -07:00
Ayman Nadeem
a905e30e47 test field access 2018-07-24 12:53:35 -04:00
Ayman Nadeem
876ab5d11d test EnumDeclaration 2018-07-24 12:43:13 -04:00
Ayman Nadeem
c0c2e2033b test DoWhile 2018-07-24 12:42:44 -04:00
Timothy Clem
ebea0468bf Merge branch 'master' into bump-tree-sitter 2018-07-24 09:08:54 -07:00
Ayman Nadeem
465a66ceca test dims 2018-07-24 12:04:09 -04:00
Ayman Nadeem
31f44bdee6 test continue statement 2018-07-24 11:57:51 -04:00
Charlie Somerville
ee227d8091 fix up call in test 2018-07-24 16:23:53 +10:00
Charlie Somerville
b364c6637a implement the right type classes for This 2018-07-24 16:23:44 +10:00
Charlie Somerville
ece1bad08e Merge branch 'master' into charliesome/module-result 2018-07-24 12:25:19 +10:00
Josh Vera
7b025c6e49 Merge branch 'master' into bump-tree-sitter 2018-07-23 19:55:21 -04:00
Josh Vera
f72464ca47 Merge branch 'master' into test-java-assignment 2018-07-23 19:44:32 -04:00
Ayman Nadeem
5a98bb68a5 test array access 2018-07-23 18:36:46 -04:00
Ayman Nadeem
6237546e10 test AssertStatement 2018-07-23 18:36:37 -04:00
Ayman Nadeem
5aabbddb8f test binary expressions 2018-07-23 18:36:27 -04:00
Ayman Nadeem
52f0457979 test boolean 2018-07-23 18:36:10 -04:00
Ayman Nadeem
55dac7c93d test char 2018-07-23 18:35:52 -04:00
Ayman Nadeem
d18c4a0d1c classBody 2018-07-23 18:35:42 -04:00
joshvera
f4f12d66a0 Remove QualifiedName roundtrip 2018-07-23 18:32:26 -04:00
Ayman Nadeem
e212840918 add comment tests 2018-07-23 18:32:13 -04:00
joshvera
322db1dd89 Merge remote-tracking branch 'origin/master' into add-python 2018-07-23 18:21:01 -04:00
Timothy Clem
8e547c4536 Sort out all the tests 2018-07-23 15:16:48 -07:00
Timothy Clem
8484f477ce Extra Listable instances 2018-07-23 15:09:44 -07:00
Timothy Clem
998b81c8af Don't nest unless we have to 2018-07-23 15:09:37 -07:00
Ayman Nadeem
c30298f528 remove java from integration spec 2018-07-23 15:22:44 -04:00
Ayman Nadeem
ea86992721 regenerate interface tests 2018-07-23 15:04:07 -04:00
Ayman Nadeem
6713fdde39 re-generate ambient-declarations and interface typescript tests 2018-07-23 14:22:21 -04:00
joshvera
698851f4bf Test qualified names roundtrip 2018-07-23 14:00:10 -04:00
joshvera
dbcf2638b0 Add Listable instances for QualifiedName and Import 2018-07-23 13:59:56 -04:00
Ayman Nadeem
913ba4c315 fix hlint errors and add java to integration spec 2018-07-23 13:49:10 -04:00
Ayman Nadeem
52d89b7a05 fix merge conflicts 2018-07-23 11:23:57 -04: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
Ayman Nadeem
8233b537ec Merge branch 'master' into java-assignment-continued 2018-07-23 09:29:27 -04:00
Ayman Nadeem
f09f2ce26a add tests for normalInterfaceDeclaration and assertStatements in stringLiteral 2018-07-23 09:26:02 -04:00
Charlie Somerville
8642cb4e1f fix method name order assertion in subclass spec 2018-07-23 17:42:03 +10:00
Charlie Somerville
dae549dd46 Merge branch 'master' into charliesome/module-result 2018-07-23 16:34:55 +10:00
Rob Rix
e94e28d732 Merge branch 'master' into move-mergeable-into-the-tests 2018-07-20 11:01:14 -04:00
Rob Rix
4ef85b3d91 These instances aren’t orphaned. 2018-07-20 10:07:53 -04:00
Rob Rix
d6eb959726 We don’t need DeriveAnyClass or StandaloneDeriving for these. 2018-07-20 10:07:24 -04:00
Rob Rix
926e32db29 More missing imports. 2018-07-20 10:04:34 -04:00
Rob Rix
ee4452e29e Fix missing imports. 2018-07-20 09:56:33 -04:00
Rob Rix
d3fc6478fd Derive a bunch of Mergeable instances. 2018-07-20 09:54:57 -04:00
Rob Rix
f98263ca10 Fix a missing import. 2018-07-20 09:53:52 -04:00
Rob Rix
3fa75423d6 Move Mergeable into the tests. 2018-07-20 09:52:43 -04:00
Rob Rix
c696984b60 Move beforeTerm/afterTerm into the tests. 2018-07-20 09:52:11 -04:00
Ayman Nadeem
92e4f0e244 Merge remote-tracking branch 'origin/master' into java-assignment-continued 2018-07-19 16:56:32 -04:00
Timothy Clem
bc3bc5a023 Merge branch 'master' into vertex++ 2018-07-19 11:23:58 -07:00
Charlie Somerville
de80f1906e fix SpecHelpers to hit heap for namespaces 2018-07-19 17:03:17 +10:00
Charlie Somerville
a1c4fabfd9 Merge branch 'master' into charliesome/module-result 2018-07-19 16:06:53 +10:00
Patrick Thomson
68cd404e9c Merge remote-tracking branch 'origin/master' into add-callstack-to-error 2018-07-18 16:12:14 -04:00
Ayman Nadeem
01c5872a54 assertStatement fixture 2018-07-18 15:39:17 -04:00
Timothy Clem
a140371b18 Fix up call graph tests 2018-07-18 07:53:46 -07:00
Charlie Somerville
a3bc96834c Merge branch 'master' into charliesome/module-result 2018-07-18 14:53:31 +10:00
joshvera
bc4952661d Merge remote-tracking branch 'origin/master' into grpc-diff-trees 2018-07-17 19:16:29 -04:00
joshvera
0913284879 Comment out diffs of syntax roundtrip test 2018-07-17 19:00:05 -04:00
joshvera
a0d27311bb Add a ListableF2 2018-07-17 18:59:54 -04:00
Ayman Nadeem
008f570b26 Merge remote-tracking branch 'origin/master' into java-assignment-continued 2018-07-17 15:51:44 -04:00
Ayman Nadeem
3d61ea9368 add test fixtures 2018-07-17 15:51:24 -04:00
Patrick Thomson
3b47557794 Fix tests. 2018-07-17 14:52:01 -04: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
joshvera
48411926a0 Add rountrip tests to blob and blob pair 2018-07-16 17:06:06 -04:00
joshvera
51d873f81e Add Listable instances for Join These Blob 2018-07-16 17:05:56 -04:00
Patrick Thomson
9813122425 cleanup 2018-07-16 13:13:53 -04:00
Ayman Nadeem
36bb8d085c Merge remote-tracking branch 'origin/master' into java-assignment-continued 2018-07-16 12:22:57 -04:00
Patrick Thomson
5c8cd4a109 test less-copacetic cases 2018-07-16 11:36:17 -04:00
Patrick Thomson
e05f419314 Abstract interpretation test. 2018-07-16 11:12:17 -04:00
Patrick Thomson
0ed48c7bbe Simplest test possible. 2018-07-16 11:07:40 -04:00
Timothy Clem
31a75790bd Merge remote-tracking branch 'origin/master' into grpc-diff-trees 2018-07-13 15:45:03 -07:00
joshvera
2fe255d09c Add a test for negate 2018-07-13 16:49:23 -04:00
Patrick Thomson
dea4f10f9b Merge remote-tracking branch 'origin/master' into lts-12.0 2018-07-13 15:41:09 -04:00
Patrick Thomson
695d280f50 bump up the cancelable parsing timeout 2018-07-13 15:15:10 -04:00
Patrick Thomson
3d50f9ab62 Merge branch 'master' into abstract-call-graph 2018-07-13 13:46:35 -04:00
Patrick Thomson
6a65fc0bc0 Fix otiose parts of the diff. 2018-07-13 12:10:17 -04:00
Timothy Clem
9b8204671a Little bit of tracing to help debug 2018-07-13 08:21:45 -07:00
Patrick Thomson
ae550c59c8 Merge remote-tracking branch 'origin/master' into abstract-call-graph 2018-07-13 11:11:46 -04:00
Rick Winfrey
8da0e3910c Add javascript specific export test files 2018-07-12 16:56:27 -07:00
Timothy Clem
48a34ff011 Roundtrip property test for Diff proto encode/decode 2018-07-12 15:57:51 -07:00
Patrick Thomson
6dc30c3b87 Upgrade to LTS 12.0. 2018-07-12 17:13:46 -04:00
Ayman Nadeem
5329894a48 test lambda 2018-07-12 12:30:39 -04:00
Ayman Nadeem
b1e7dacbdf Merge branch 'master' into java-assignment-continued 2018-07-11 15:55:36 -04:00
Rob Rix
7e2f7614f7 Fix up the imports. 2018-07-10 14:17:56 -04:00
Rob Rix
1e6a3f71e2 Use withOptions in the spec. 2018-07-10 14:16:51 -04:00
Rob Rix
40d46e921d Pass the configuration to the analysis specs. 2018-07-10 14:09:22 -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
Ayman Nadeem
e549d58e56 resolve conflict 2018-07-09 18:46:44 -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
Josh Vera
5f3543f284 Merge branch 'master' into fix-encoding 2018-07-06 13:39:16 -04:00
joshvera
c05e7e76aa Add a unit test for method roundtrips 2018-07-05 15:21:25 -04:00
Rob Rix
bcbc70446c Merge branch 'charliesome/substitution' into abstract-abstract-semantics 2018-07-05 14:15:01 -04:00
Rob Rix
ddbd2690bb Merge branch 'master' into higher-order-effects 2018-07-04 10:53:04 -04:00
Rob Rix
aac98ec0ef Merge branch 'master' into abstract-abstract-semantics 2018-07-04 10:44:44 -04:00
Patrick Thomson
0ca991f0dd Fix terrible bug associated with environment comparisons being false 2018-07-03 14:29:47 -04:00
Rob Rix
5100670e72 Rename Data.Abstract.Value to Data.Abstract.Value.Concrete. 2018-07-03 14:22:26 -04:00
joshvera
3a32256b38 Fix imports tests 2018-07-03 11:57:42 -04:00
joshvera
71f54e4f57 Rename to shouldRoundtrip1 and fix tests 2018-07-02 14:19:47 -04:00
Patrick Thomson
1eed347da6 fix the specs 2018-06-29 16:17:27 -04:00
joshvera
b5fe1cf208 Merge remote-tracking branch 'origin/master' into grpc-trees 2018-06-28 11:52:03 -04:00
Ayman Nadeem
290f5f0a6d add memberAccess test 2018-06-27 17:26:58 -04:00
Ayman Nadeem
1fbe1ad77d add scopedIdentifier test 2018-06-27 17:26:38 -04:00
Ayman Nadeem
2880d01e5b type arg test 2018-06-27 17:26:12 -04:00
Ayman Nadeem
81ce713c20 methodReference test 2018-06-27 17:18:36 -04:00
Rob Rix
7cbaee920c Run integration tests for JSON. 2018-06-27 12:55:58 -04:00
Rob Rix
b30649823d Add fixtures for JSON hashes. 2018-06-27 11:28:23 -04:00
Rob Rix
3d5378619e Add fixtures for JSON null. 2018-06-27 11:26:08 -04:00
Rob Rix
1763fcbcb1 Add fixtures for JSON strings. 2018-06-27 11:25:38 -04:00
Rob Rix
fafba67774 Add fixtures for JSON arrays. 2018-06-27 11:24:48 -04:00
Rob Rix
48aff6d404 Add fixtures for JSON numbers. 2018-06-27 11:23:31 -04:00
Rob Rix
8a625cc85d Add fixtures for JSON booleans. 2018-06-27 11:23:21 -04:00
Josh Vera
5538c6b490 Merge branch 'master' into explicit-integer-parser 2018-06-26 17:10:21 -04:00
Rob Rix
a236328056 Merge branch 'master' into higher-order-effects 2018-06-26 15:14:28 -04:00
Patrick Thomson
bbf814acc1 Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-26 13:49:24 -04:00
joshvera
6a294827e2 Merge remote-tracking branch 'origin/master' into grpc-trees 2018-06-26 13:03:37 -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
Patrick Thomson
fd44b23449 Merge remote-tracking branch 'origin/master' into explicit-integer-parser 2018-06-26 10:56:20 -04:00
Rob Rix
d1ad4bef08 Merge branch 'master' into higher-order-effects 2018-06-26 09:48:11 -04:00
Rob Rix
45262b585e Merge branch 'master' into topologically-sorted-imports 2018-06-25 17:43:26 -04:00
Josh Vera
5674357bae Merge branch 'master' into grpc-trees 2018-06-25 17:41:51 -04:00
Rob Rix
a556930e9e Fix the Go specs. 2018-06-25 17:38:52 -04:00
Rob Rix
a0dfbb449f Fix some errant pure ()s. 2018-06-25 17:36:56 -04:00
Rob Rix
67463461f9 Fix the PHP specs. 2018-06-25 17:36:32 -04:00
Rob Rix
1f129a6a50 Fix the Python specs. 2018-06-25 17:33:38 -04:00
Rob Rix
dad58e7c20 Fix the Ruby specs. 2018-06-25 17:28:35 -04:00
Rob Rix
f70974e206 Fix up the TypeScript specs. 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-06-25 15:57:04 -04:00
Patrick Thomson
b42cef4f36 Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-25 15:39:38 -04:00
Rick Winfrey
a279d96985 Update test fixtures 2018-06-25 11:20:30 -07:00
Rob Rix
2e3636c015 Test topological sort on a -> b. 2018-06-25 13:02:37 -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
76185ed450 Use irrefutable patterns in the PHP specs. 2018-06-25 12:02:50 -04:00
Rob Rix
cb4938ef92 Add all the modules to the Go specs. 2018-06-25 11:59:27 -04:00
Rob Rix
525f025e73 Use irrefutable patterns in the Go specs. 2018-06-25 11:56:42 -04:00
Rob Rix
bfd79c062d 🔥 the “evaluates” prefix. 2018-06-25 11:55:54 -04:00
Patrick Thomson
f9f0dd5e79 Use a hand-written integer parser. 
Rather than relying on the `Read` instance for `Integer`, let's make
our assumptions about the format explicit. This was mostly a matter of
extracting internal functions from the `Scientific` parser.
 2018-06-25 11:55:32 -04:00
Rob Rix
65d85e682d Use irrefutable patterns in the Python import specs. 2018-06-25 11:55:00 -04:00
Rob Rix
7ae66f18ea Just say Python. 2018-06-25 11:51:17 -04:00
Rob Rix
613e6b79bb Make more effort to show the errors in the Ruby spec. 2018-06-25 09:30:54 -04:00
Rob Rix
23ae10d847 Make more effort to show the errors in the TypeScript spec. 2018-06-25 09:26:31 -04:00
Rob Rix
903f048889 Don’t bind the heap when we aren’t using it. 2018-06-22 15:57:12 -04:00
Rob Rix
428b5a31dc These all import foo. 2018-06-22 15:47:31 -04:00
Rob Rix
2ed8688c28 Update the tests to pass a list of paths. 2018-06-22 15:45:42 -04:00
Rob Rix
98348908e6 🔥 some redundant imports. 2018-06-22 15:37:38 -04:00
joshvera
d3c912784b Fix tests 2018-06-22 14:19:01 -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
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
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
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
joshvera
cf709a7edb Rename listable instances for RegexMatch and BooleanOperator 2018-06-21 13:19:09 -04:00
Rick Winfrey
6075598bd2 Add guard fixtures 2018-06-20 17:23:42 -07:00
joshvera
18caa4b2c8 Constrain roundtrip test to Literal.Null and Statements 2018-06-20 13:42:23 -04:00
joshvera
7084b7f7ed Add Listable instances for Ruby.Syntax 2018-06-20 13:41:59 -04:00
Rob Rix
e972abd2e3 Factor runFresh out of evaluating. 2018-06-20 12:17:46 -04:00
joshvera
580d12421f Update fixtures 2018-06-20 12:14:45 -04:00
joshvera
05361742a1 Add statements to output 2018-06-20 11:57:53 -04:00
Rick Winfrey
c2a3608154 Add missing assignments 
I discovered a test file in tree-sitter-haskell I overlooked while assigning semantic.
 2018-06-19 17:37:40 -07:00
Rob Rix
fefb713194 Merge branch 'master' into topologically-sorted-imports 2018-06-19 17:05:14 -04:00
Patrick Thomson
1a09aae96a Merge branch 'master' into import-graph-mk2 2018-06-19 16:04:34 -04:00
Rick Winfrey
845a24649e Merge branch 'master' into haskell-assignment 2018-06-19 12:20:16 -07:00
joshvera
d2da48e629 Merge remote-tracking branch 'origin/master' into grpc-trees 2018-06-19 14:45:56 -04:00
Josh Vera
cce18d9ecb Merge branch 'master' into topologically-sorted-imports 2018-06-19 13:43:01 -04:00
Rob Rix
85c91ab693 We configure language extensions in .hlint.yaml now. 2018-06-19 09:47:08 -04:00
Rob Rix
6de4f61652 Only fail for warnings/errors. 2018-06-19 09:46:01 -04:00
Rick Winfrey
62ef6aad0b Merge branch 'master' of https://github.com/github/semantic into haskell-assignment 2018-06-18 15:29:55 -07:00
Rick Winfrey
3397b88c06 Fixtures are our friends 2018-06-18 15:29:08 -07:00
Rob Rix
1a4751ffd4 Merge branch 'master' into topologically-sorted-imports 2018-06-18 18:14:01 -04:00
joshvera
4b8c4ba137 Merge remote-tracking branch 'origin/master' into grpc-trees 2018-06-18 18:10:46 -04:00
Timothy Clem
de48b8cfea Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-18 14:58:50 -07:00
Rick Winfrey
c4a7b9e641 Add type class instance declarations 2018-06-18 14:47:58 -07:00
Timothy Clem
4dce543e6d Merge branch 'master' into no-more-tags-output 2018-06-18 14:11:44 -07:00
Timothy Clem
9fe2fab276 Merge branch 'master' into define-preludes-as-builtins 2018-06-18 13:58:50 -07:00
joshvera
02c4176933 Merge remote-tracking branch 'origin/master' into grpc-trees 2018-06-18 16:57:54 -04:00
joshvera
8ec851f913 Pass the submessage num to liftDecodeMessage when decoding in Message1 Sum 2018-06-18 16:57:22 -04:00
Rick Winfrey
21526b78ff Add type class declaration fixtures 2018-06-18 12:34:27 -07:00
Timothy Clem
039d43e523 🔥 the --tags output and associated code 2018-06-18 11:36:31 -07:00
Patrick Thomson
5c131b26f3 Suppress telemetry errors in specs. 
There are some cases (such as testing diffing a tree with one that has
syntax errors) where semantic, by default, will emit a lot of noise to
stderr. This clogs up the test output and led me (at one point) to
think I had introduced failures that were there all along.

The fix is simple: set the LogLevel to nothing and use runTaskWithOptions.
 2018-06-18 14:33:26 -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
Patrick Thomson
14f252b2b6 Merge remote-tracking branch 'origin/define-preludes-as-builtins' into import-graph-mk2 2018-06-18 11:25:43 -04:00
Rob Rix
c36b04fd17 Re-export Proxy from SpecHelpers. 2018-06-18 11:11:22 -04:00
Rob Rix
2ad49b314f Update the specs. 2018-06-18 11:10:44 -04:00
Rick Winfrey
73cd692f80 Assign splices and quasi quotes 2018-06-15 17:30:31 -07:00
Patrick Thomson
659500551c Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-15 19:30:50 -04:00
Rick Winfrey
79657e9069 Merge branch 'master' into haskell-assignment 2018-06-15 15:56:36 -07:00
Timothy Clem
92c1394098 Merge remote-tracking branch 'origin/master' into grpc-trees 2018-06-15 14:33:18 -07:00
Timothy Clem
0ddf994a81 Merge branch 'master' into telemetry-and-config 2018-06-15 10:40:06 -07:00
Timothy Clem
23390f7789 Refactor Stats addr 2018-06-15 10:31:51 -07:00
Timothy Clem
21e3f69110 Just one defaultConfig 2018-06-15 10:17:02 -07:00
Rob Rix
792cdcc5e2 Re-export Lower from SpecHelpers. 2018-06-15 11:41:38 -04:00
Rob Rix
430a4e1cfa 🔥 emptyEnv. 2018-06-15 11:05:19 -04:00
Patrick Thomson
80aac54baa Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-15 10:01:51 -04:00
Timothy Clem
63fbd49964 Merge remote-tracking branch 'origin/master' into grpc-trees 2018-06-14 12:56:37 -07:00
Timothy Clem
cff0e073ae Comment typo 2018-06-13 17:48:22 -07:00
Timothy Clem
85d948003e Merge remote-tracking branch 'origin/master' into telemetry-and-config 2018-06-13 17:15:17 -07:00
Timothy Clem
9b45928227 Fix up test/spec 2018-06-13 17:03:15 -07:00
Rick Winfrey
14ee2f876f Assign conditional expressions 2018-06-13 16:48:03 -07:00
Rick Winfrey
8da0150ce4 Assign CPP Directives 2018-06-13 16:40:00 -07: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
Patrick Thomson
fd56213d44 Merge branch 'master' into import-graph-mk2 2018-06-13 14:21:42 -04:00
Rick Winfrey
8493ba7fee Merge branch 'master' into haskell-assignment 2018-06-13 09:54:06 -07:00
Patrick Thomson
19e7ff7510 Reinstate import graph functionality. 2018-06-13 12:47:35 -04:00
Rick Winfrey
823d34a987 Merge branch 'master' into haskell-assignment 2018-06-13 09:42:21 -07:00
Patrick Thomson
36d5b7562a Revert "gRPC import graph" 2018-06-13 12:34:35 -04:00
Rick Winfrey
f5dd067eeb Merge branch 'master' into haskell-assignment 2018-06-12 15:44:01 -07:00
Rick Winfrey
59cd3b55db Add additional test cases 2018-06-12 15:07:58 -07:00
Rick Winfrey
148ee52a5f Assign prefix negation and parenthesized expressions 2018-06-12 15:01:46 -07:00
Rick Winfrey
c53dab76cf Assign lambdas 2018-06-12 14:50:38 -07:00
Rick Winfrey
00e299ad25 Add more expression test fixtures 2018-06-12 14:19:18 -07:00
Rick Winfrey
d6d865c90b Assign left and right operator sections 2018-06-12 13:18:44 -07:00
Patrick Thomson
248eb4f207 clarify 2018-06-12 14:13:45 -04:00
Rick Winfrey
1063bd91bd Assign arithmetic sequences 2018-06-12 10:47:48 -07:00
Patrick Thomson
81482ee696 Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-12 12:09:49 -04:00
Patrick Thomson
c563747f87 tests compile now 2018-06-12 12:09:40 -04:00
Charlie Somerville
3c2a877821 Merge branch 'master' into charliesome/value-ref-address 2018-06-12 08:56:56 +10:00
Rick Winfrey
b1c1a25267 Assign list comprehensions, generators, tuple patterns 2018-06-11 15:54:01 -07:00
Rick Winfrey
36f80acba1 Update hidden imports and add fixtures 2018-06-11 15:22:51 -07:00
Patrick Thomson
511d412e10 Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-11 17:19:48 -04:00
joshvera
82e1de7fde Add roundtrip tests for json syntax 2018-06-11 17:10:29 -04:00
Rick Winfrey
536433cb44 Merge branch 'master' into haskell-assignment2 2018-06-11 14:05:28 -07:00
Patrick Thomson
084129cde0 preliminary implementation of findFiles 2018-06-11 16:18:16 -04:00
Rick Winfrey
932f2d2267 Use single type constructor for identifiers 2018-06-11 10:22:06 -07:00
Rick Winfrey
9317972ca2 Assign import declarations (not hidden) 2018-06-08 17:18:39 -07:00
Rick Winfrey
fadf84870e Assign standalone deriving instances 2018-06-08 15:46:03 -07:00
Rick Winfrey
5824ea1b73 Add additional type signature tests 2018-06-08 15:07:07 -07:00
Rick Winfrey
c688f580f7 Regenerate go test fixtures 2018-06-08 12:10:54 -07:00
Rick Winfrey
646e1c3459 Be explicit about each identifier type 
I went through a lot of trouble to make every identifier parsed in `tree-sitter-haskell` as accurate as possible (i.e. type variable identifier vs constructor identifier vs type class identifier). This enables us to keep those distinctions with assignment at the cost of adding more constructors.
 2018-06-08 12:05:17 -07:00
Rick Winfrey
6f8dff06f8 Assign equality constraints 2018-06-08 12:02:13 -07:00
Rick Winfrey
ce8cd489af Assign default declarations 2018-06-08 10:33:42 -07:00
Rick Winfrey
5d3ece8d69 Allow multiple contexts (for scoped type variables and type class constraints) for data constructors 2018-06-08 10:23:21 -07:00
Rick Winfrey
867170b39a Assign primitive constructor identifiers 2018-06-08 10:13:24 -07:00
Rick Winfrey
0cc63f89f3 Assign newtype declarations 2018-06-08 10:06:09 -07:00
Charlie Somerville
b68d12f4e7 deref pointers to values in testEvaluating 2018-06-08 11:33:04 +10:00
Charlie Somerville
ddb18160f7 Merge branch 'master' into charliesome/value-ref-address 2018-06-08 11:33:01 +10:00
Rick Winfrey
9e6acf337c Merge branch 'master' into haskell-assignment 2018-06-07 17:50:27 -07:00
Rick Winfrey
1ba0723373 Flush out more types and type synonym declaration assignments 2018-06-07 17:49:37 -07:00
Rick Winfrey
5c0191378b Assign module exports including: 
- Constructor Operators
- Type Operators
- Variable Operators
- Module Exports (exporting a module)
- Constructor Symbols
- Variable Symbols
- Qualified Module Identifiers
 2018-06-07 14:17:39 -07:00
Rob Rix
b08d3736fa Merge branch 'master' into haskell-assignment 2018-06-07 11:35:56 -04:00
Rick Winfrey
e4ba876e18 Merge branch 'master' into haskell-assignment 2018-06-06 20:49:20 -07:00
Rick Winfrey
8ab606654c Update go test fixtures 2018-06-06 20:42:04 -07:00
Charlie Somerville
2fc9f1ca25 add type annotation to testEvaluating 2018-06-07 12:01:48 +10:00
Rick Winfrey
bd43959cb0 Assign annotated type variables 2018-06-06 17:03:27 -07:00
Rick Winfrey
fc7c578b9b Allow pragmas within gadt constructors 2018-06-06 16:58:54 -07:00
Rick Winfrey
a7795bca03 Assign qualified type constructor identifiers 2018-06-06 16:53:48 -07:00
Rick Winfrey
8cb6d7ed0a Release the kinds! 2018-06-06 15:41:57 -07:00
Rick Winfrey
2e792df250 Assign fields within GADT constructors 2018-06-06 14:42:25 -07:00
Rob Rix
0011b909b3 Merge branch 'master' into no-more-fail-effect 2018-06-06 15:18:25 -04:00
Ayman Nadeem
89a6be151d array access test 2018-06-06 11:31:22 -07:00
Ayman Nadeem
0913be8189 spread parameter test 2018-06-06 11:30:37 -07:00
Ayman Nadeem
4680c86cd4 wildcard + bounds test 2018-06-06 11:14:35 -07:00
Ayman Nadeem
e2f6b1eff1 add test for enum declaration with modifier 2018-06-06 11:09:15 -07:00
Ayman Nadeem
cf63da3cbf add field access test 2018-06-06 11:06:16 -07:00
Rob Rix
83ee082259 Regenerate all of the affected fixtures. 2018-06-06 10:35:47 -04:00
Rob Rix
b6c8c3f236 Fix up the evaluator spec. 2018-06-06 09:46:12 -04:00
Rob Rix
b19c381edb 🔥 the Fail effect. 2018-06-06 09:45:40 -04:00
Rick Winfrey
a452136999 Assign simple GADTs 2018-06-05 16:01:56 -07:00
Rick Winfrey
4c162ab20d Assign type signatures and function types 2018-06-05 16:01:37 -07:00
Rick Winfrey
97c71544ea Assign GADT declarations without constructors 2018-06-05 12:26:42 -07:00
Rick Winfrey
e2dba7cd28 Assign contexts per constructor 2018-06-05 11:32:40 -07:00
Patrick Thomson
0fdef390b2 Relax the timeout in the cancelable parsing test. 
If this keeps whining, I'll remove the test, but let's try tripling
the timeout interval first.
 2018-06-05 13:13:08 -04:00
Patrick Thomson
c94bb216ba Use fromEnum and maxBound to ensure this test gets changed for all new Languages. 2018-06-05 12:56:34 -04:00
Patrick Thomson
fbff61b247 actually run the specs 2018-06-05 12:51:23 -04:00
Patrick Thomson
43fd0e65ef Merge remote-tracking branch 'origin/master' into proto-tests 2018-06-05 12:33:17 -04:00
Patrick Thomson
871ebf49b8 Add a test to ensure no one breaks Enum instances for Language. 2018-06-05 12:32:24 -04:00
Patrick Thomson
c35d00bf93 Merge branch 'master' into fix-maybe-language 2018-06-05 12:24:14 -04:00
Patrick Thomson
e25791c1ca Roundtrip test for protobuf instances. 2018-06-05 12:14:24 -04:00
Rick Winfrey
5b411254a9 Merge branch 'master' into haskell-assignment 2018-06-05 09:12:40 -07:00
Rob Rix
7cbd2a60d6 Merge branch 'master' into fix-maybe-language 2018-06-05 09:45:41 -04:00
Rob Rix
1d8fcf3ecf Merge branch 'master' into java-assignment-part-2 2018-06-05 09:26:31 -04:00
Patrick Thomson
96771f8ebf fix tests 2018-06-04 18:53:24 -04:00
Patrick Thomson
4a7ebf71dd Merge remote-tracking branch 'origin/master' into fix-maybe-language 2018-06-04 18:33:03 -04:00
Patrick Thomson
10a863f57c Fix tests 2018-06-04 18:26:47 -04:00
Rick Winfrey
d5a7c04254 Merge branch 'master' of https://github.com/github/semantic into haskell-assignment 2018-06-04 15:01:25 -07:00
Timothy Clem
bfe7caed48 Merge branch 'master' into java-assignment-part-2 2018-06-04 14:34:22 -07:00
Patrick Thomson
dd4a939f21 merge fallout 2018-06-04 12:18:02 -04:00
Patrick Thomson
7c9b1ec17e Merge remote-tracking branch 'origin/master' into text-names 2018-06-04 11:46:54 -04:00
Patrick Thomson
cf6133ebfc change fromBytes to fromUTF8 2018-06-04 10:18:32 -04:00
Rick Winfrey
b0fb50e21a Assign contexts with classes 2018-06-01 16:36:34 -07:00
Rick Winfrey
4f34d71651 Assign datatype declarations with deriving clauses 2018-06-01 16:36:07 -07:00
Timothy Clem
43fa49b09f Merge remote-tracking branch 'origin/master' into explicit-statements 2018-06-01 14:52:51 -07: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
435a211fc4 Merge branch 'master' into charliesome/value-ref-address 2018-06-01 14:20:07 -07:00
Ayman Nadeem
e9b5bdf7da text fixtures 2018-06-01 14:09:56 -07:00
Ayman Nadeem
465dd0fcb4 move test fixtures to newly created corpus directory 2018-06-01 13:41:12 -07:00
Charlie Somerville
7478c4a6de Merge branch 'master' into charliesome/value-ref-address 2018-06-01 12:50:11 -07:00
Ayman Nadeem
3613373a8a Merge branch 'master' into java-assignment 2018-06-01 11:52:56 -07:00
Timothy Clem
a7cf91d669 Merge branch 'derive-ToJSONFields1' into explicit-statements 2018-06-01 11:47:45 -07:00
Timothy Clem
902156ae78 Merge remote-tracking branch 'origin/master' into derive-ToJSONFields1 2018-06-01 11:46:08 -07:00
Timothy Clem
359031d777 s/Program/Statements in all of the tests 2018-06-01 11:44:03 -07:00
Timothy Clem
2d626f9f90 Merge branch 'derive-ToJSONFields1' into explicit-statements 2018-06-01 11:22:04 -07:00
Ayman Nadeem
1808d53a3b correct text fixtures according to and/or ruby bug fix 2018-06-01 11:16:00 -07:00
Rick Winfrey
057de6df34 Add aglebraic datatype tests 2018-06-01 10:56:12 -07:00
Timothy Clem
5408e20ea8 Merge remote-tracking branch 'origin/master' into explicit-statements 2018-06-01 08:54:55 -07:00
Charlie Somerville
32268b1710 Merge branch 'master' into charliesome/value-ref-address 2018-05-31 20:34:05 -05:00
Timothy Clem
a4e0ca6686 Fix tests and use fixtures that are easier to maintain 2018-05-31 17:20:51 -07:00
Ayman Nadeem
e030824d52 fix conflicts with new haskell additions 2018-05-31 15:32:10 -07:00
Timothy Clem
11c1ac39bb Merge remote-tracking branch 'origin/master' into derive-ToJSONFields1 2018-05-31 10:59:07 -07:00
Timothy Clem
9baea34f5d Generically derive ToJSONFields1 for basically everything 2018-05-31 10:56:04 -07:00
Charlie Somerville
3c38b5fa46 Merge branch 'master' into charliesome/value-ref-address 2018-05-31 11:54:44 -05:00
Rick Winfrey
9016553aaa Merge branch 'master' into haskell-assignment 2018-05-31 11:22:45 -05:00
Timothy Clem
d05225fe61 Test fixes 2018-05-31 08:44:44 -07:00
Patrick Thomson
c4897c57c6 merge fallout 2018-05-31 00:05:32 -04:00
Patrick Thomson
d144087486 Merge remote-tracking branch 'origin/master' into text-names 2018-05-30 23:51:11 -04:00
Patrick Thomson
014b830db2 source => rawSource, tsource => source 2018-05-30 23:24:50 -04:00
Patrick Thomson
f541c42da8 Fix literals to store text internally. 2018-05-30 22:32:22 -04:00
Rick Winfrey
c49ce6d5a7 Merge branch 'master' into haskell-assignment 2018-05-30 19:21:11 -05:00
Rick Winfrey
cc3a215833 Update specialized constructors ([], (,), (->), ()) 
Also updates the `TuplingConstructor` to store its arity as Int
 2018-05-30 17:17:05 -07:00
Rob Rix
6f9cfae147 Merge branch 'master' into env-effect 2018-05-30 18:57:52 -04:00
Patrick Thomson
7ba832d566 Fix tests. 2018-05-30 18:29:54 -04:00
Rob Rix
08cf65718f Fix the evaluator spec. 2018-05-30 17:20:08 -04:00
Rob Rix
bcf9338b75 Update the language specs to respect the env-per-entry-point thing. 2018-05-30 17:19:05 -04:00
Rick Winfrey
b270130cc0 Merge branch 'master' into haskell-assignment 2018-05-30 12:33:37 -05:00
Rob Rix
f9c7f2836d runEnv in the evaluator spec. 2018-05-30 13:03:50 -04:00
Timothy Clem
ddc4923e88 Fix tests 2018-05-30 09:53:01 -07:00
Timothy Clem
51394186f9 Merge remote-tracking branch 'origin/master' into enhanced-json-output 2018-05-30 07:50:29 -07:00
Rob Rix
6adc5d7413 Placate hlint some more. 2018-05-30 10:33:51 -04:00
Rob Rix
e9880781e5 Make sure we can load the Address module. 2018-05-30 09:51:08 -04:00
Rob Rix
f9b29f143e And another. 2018-05-30 09:46:56 -04:00
Rob Rix
04b43477c9 🔥 a reference to Address in the spec. 2018-05-30 09:46:30 -04:00
Timothy Clem
2d08451d87 Call [] Statements 2018-05-29 14:25:31 -07:00
Charlie Somerville
b72b442e0c WIP Merge branch 'master' into charliesome/value-ref-address 2018-05-29 16:06:45 -05:00
Rob Rix
8fc1ccaa19 Merge branch 'recursive-type-families-are-not-our-friends' into 🔥-galign 2018-05-29 12:49:29 -04:00
Rob Rix
dda2f9897b Merge branch 'master' into 🔥-galign 2018-05-29 12:48:34 -04:00
Charlie Somerville
e0b4be74a9 Merge branch 'master' into charliesome/value-ref-address 2018-05-29 11:38:09 -05:00
Rob Rix
81032f34ec Whoops. 2018-05-29 12:26:36 -04:00
Rob Rix
f5572e41ca Use Member instead of Members everywhere! 2018-05-29 12:09:09 -04:00
Timothy Clem
2134f04ffe Merge branch 'master' into haskell-assignment 2018-05-29 08:34:52 -07:00
Rob Rix
54150552b3 Merge branch 'master' into 🔥-galign 2018-05-29 08:53:37 -04:00
Rob Rix
6b780d297d Revert "These are probably integers." 
This reverts commit d2a74b2a4ca1472976abfccc09601c60840c1761.
 2018-05-28 16:06:25 -04:00
Rob Rix
0f3c7df8d1 These are probably integers. 2018-05-28 16:05:03 -04:00
Rob Rix
038d3d07eb Test the return values 2018-05-28 15:44:48 -04:00
Rob Rix
7b02e3e64f Correct the EnvironmentError application. 2018-05-28 15:30:19 -04: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
Rob Rix
b3b47a34df 🔥 Goto. 2018-05-28 14:42:46 -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
a2135fda74 Don’t use overloaded lists. 2018-05-28 09:35:03 -04:00
Rob Rix
2993c3588c Correct the specs. 2018-05-28 08:54:33 -04:00
Rick Winfrey
e74bfca4bd Assign basic type synonym declarations 2018-05-25 01:57:20 -05:00
Rick Winfrey
ea18738a28 Assign string and array literals 2018-05-25 01:57:20 -05:00
Rick Winfrey
d86a41f17c Assign character literals 2018-05-25 01:57:20 -05:00
Rob Rix
127ed8a26a Merge branch 'master' into rearrange-value-ref-and-friends 2018-05-24 12:23:30 -04:00
Rob Rix
5ac256e340 🔨 fix the type in the spec 2018-05-24 12:09:20 -04:00
Rob Rix
eeb604569d Merge branch 'master' into decompose-values 2018-05-24 09:11:19 -04:00
Rick Winfrey
3d70af57a4 Add blank file test fixture 2018-05-23 15:59:32 -07:00
Rick Winfrey
32619a8124 Add literal test fixtures 2018-05-23 15:55:26 -07:00
Charlie Somerville
71e389ef71 fix tests 2018-05-23 15:38:47 -07:00
Charlie Somerville
10022d4de9 push Address location value into the guts of the evaluator 2018-05-23 14:55:44 -07:00
Patrick Thomson
7da61bd4c9 Merge branch 'master' into strict-equals 2018-05-23 11:33:32 -04:00
Patrick Thomson
eaa54a3230 Add strict-equality function. 
TypeScript, JavaScript, and PHP support an === operator, which
corresponds to strict equality (usually the equality you want). I've
added a constructor to Comparison that takes care of this. Actually
implementing non-strict equality for the above languages will have to
wait until we can build behavior a la carte.

I chose not to add Ruby's case-equality operator, though it uses ===,
since the behavior is so different. (For example, a === a is not
always true over Ruby's ===).
 2018-05-23 11:28:31 -04:00
Rob Rix
115e887739 Merge branch 'master' into decompose-values 2018-05-23 09:59:16 -04:00
Patrick Thomson
f563a2c808 forgot a do 2018-05-22 17:25:17 -04:00
Patrick Thomson
c8d5a8d231 add test for cancelling in-flight parsers 2018-05-22 17:01:17 -04:00
Patrick Thomson
949b9be418 add spec 2018-05-22 16:53:03 -04:00
Rob Rix
2cb425dbb5 Merge branch 'master' into decompose-values 2018-05-22 15:43:51 -04:00
Rob Rix
fb5b903af7 Merge branch 'master' into decompose-values 2018-05-22 08:44:54 -04:00
joshvera
dd123a0181 Merge remote-tracking branch 'origin/master' into grpc-server 2018-05-21 13:55:15 -04:00
joshvera
378dad0d69 Merge remote-tracking branch 'origin/master' into grpc-server 2018-05-21 12:33:22 -04:00
Timothy Clem
42af0faae6 New approach for linting 2018-05-21 08:17:11 -07:00
Rob Rix
18b2cfc89f Merge branch 'master' into decompose-values 2018-05-18 14:14:55 -04:00
Rob Rix
5504b0b673 Add doctests for the Show output. 2018-05-18 14:03:42 -04:00
Rob Rix
c45802a809 Reformat defaultFiles. 2018-05-18 13:20:56 -04:00
Rob Rix
109dbd3b44 Fix the typescript spec. 2018-05-18 13:07:37 -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
Rob Rix
81951d7bcc Fix the Listable instance for Name. 2018-05-18 13:05:46 -04:00
Rob Rix
ca6b32378e Merge branch 'master' into allocator-effect 2018-05-18 11:09:20 -04:00
Josh Vera
053a158e59 Merge branch 'master' into update-fastsum 2018-05-18 10:44:08 -04:00
Rob Rix
6f3698122c Merge branch 'master' into allocator-effect 2018-05-17 16:47:24 -04:00
Rob Rix
ad3f63ad74 Merge branch 'allocator-effect' into decompose-values 2018-05-17 16:46:58 -04:00
Ayman Nadeem
8aad81b775 Merge branch 'master' into java-assignment 2018-05-17 10:42:00 -07:00
Timothy Clem
c2851c9d8a Merge branch 'master' into package-dot-json-parsing 2018-05-17 08:02:29 -07:00
Timothy Clem
1cbccd5557 Merge branch 'master' into python-relative-imports 2018-05-17 07:55:33 -07:00
Rob Rix
e9238d0ec7 Merge branch 'master' into package-dot-json-parsing 2018-05-16 19:12:08 -04:00
Rob Rix
19bc0ab637 Merge branch 'master' into allocator-effect 2018-05-16 18:33:00 -04:00
Patrick Thomson
dafb3edaf5 Merge remote-tracking branch 'origin/master' into update-fastsum 2018-05-16 18:26:43 -04:00
Patrick Thomson
322f348103 inj -> inject 2018-05-16 18:25:02 -04:00
Rob Rix
101798fd39 Update a bunch of fixtures. 2018-05-16 16:38:40 -04:00
Rob Rix
06047bc31f Unify them types. 2018-05-16 16:21:02 -04:00
Rob Rix
a918420726 diffWithParser needs a Hashable1 instance. 2018-05-16 16:19:18 -04:00
Rob Rix
02947bf61e Fix the RWS spec. 2018-05-16 16:15:06 -04:00
Patrick Thomson
6b0198cb00 Remove otiose -Sum prefixes from all Data.Sum operations. 
There are no modules where we use both Union.inj and Sum.injectSum; as
such, it seems clumsy for such ubiquitous functions as inj and prj to
have such long names when there is no ambiguity. This restores the
codebase to much how it looked before we switched back to a richer
Data.Union.
 2018-05-16 15:27:08 -04:00
Timothy Clem
6517f12684 Merge remote-tracking branch 'origin/master' into python-relative-imports 2018-05-16 12:25:22 -07: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
7137c057b4 Fix up example a bit 2018-05-16 10:43:38 -07:00
Rob Rix
6ee5cabdf8 Run allocator effects in the evaluator spec. 2018-05-16 13:43:14 -04:00
Timothy Clem
aa9eb68045 Fully construct PackageInfo here 2018-05-16 10:34:17 -07:00
Timothy Clem
453f60ee36 Some example js code for various module require/resolution options 2018-05-16 10:21:24 -07:00
Rob Rix
e8aa1a4da7 Revert "Move Precise & Latest into their own module." 
This reverts commit 318ed8510aeb31ae892652685771bdba810d2df4.
 2018-05-16 13:18:25 -04:00
Rob Rix
680336057d Move Precise & Latest into their own module. 2018-05-16 11:53:24 -04: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
Timothy Clem
62956f78d7 Print and actually return a string 2018-05-15 11:57:18 -07:00
Timothy Clem
27ce720904 Test out relative python imports 2018-05-15 11:26:16 -07: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
367982bc8d Don’t use SomeRenderer in the CLI spec. 2018-05-14 18:44:19 -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
f047b57ecc Encoding order is significant. 2018-05-14 16:18:57 -04:00
Rob Rix
03749d008e We can just say diff now. 2018-05-14 16:11:31 -04:00
Rob Rix
5bae88724b Move the diffTermPair tests into the interpreter spec. 2018-05-14 16:09:39 -04:00
Rob Rix
1128537b6a Correct a bunch of fixtures. 2018-05-14 10:50:57 -04:00
Rob Rix
75ab25d443 Generalize the type of toOutput. 2018-05-14 10:31:40 -04:00
Rob Rix
b979e9757c Run the builders. 2018-05-14 10:28:01 -04:00
Rob Rix
fc70382d5b Correct the handle types. 2018-05-14 10:27:58 -04:00
Rob Rix
5813258037 Add a runBuilder helper. 2018-05-14 10:27:45 -04:00
Rob Rix
0d0aeafdc5 Add an openFileForReading helper for the tests. 2018-05-14 10:23:29 -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
Rob Rix
a9d3b29e02 We expect a ByteString here. 2018-05-11 15:31:28 -04:00
Rob Rix
9ed1bc4a38 ByteStrings. 2018-05-11 14:59:50 -04:00
Rob Rix
5497b9a2a4 Swap the Heap location/cell params. 2018-05-11 08:36:45 -04:00
Rob Rix
6ba840e90b Go back to simple address types. 2018-05-11 08:35:43 -04:00
Rob Rix
67892e9cf1 Define Precise as a GADT indexed by its cell type. 2018-05-10 19:27:20 -04:00
Rob Rix
2abfd92678 Bump effects for https://github.com/joshvera/effects/pull/43 2018-05-10 18:27:10 -04:00
Rob Rix
dcad4d852c Parameterize Heap by the cell type. 2018-05-10 12:31:12 -04:00
Rob Rix
716e225da9 Test that puts ends up in the traces. 2018-05-10 11:03:42 -04:00
Rob Rix
13660b9e9d Test for expected symbols, not exact symbols. 2018-05-10 10:59:38 -04:00
Rob Rix
2410387e97 Allow the tests to examine the traces. 2018-05-10 10:58:24 -04:00
Rob Rix
75d2c50589 Test the results of cross-module function calls. 2018-05-10 10:26:07 -04:00
Rob Rix
c2f48fb982 🔥 the ns/addr conveniences. 2018-05-10 10:11:34 -04:00
Rob Rix
4fca683eae Test for the presence of the desired symbols rather than the exact list. 2018-05-10 10:10:57 -04:00
Rob Rix
ae7ee6e860 Test Go environments/heaps against the names. 2018-05-10 10:07:11 -04:00
Rob Rix
5af09d94e1 Test PHP environments/heaps against the names, not addresses. 2018-05-10 10:03:59 -04:00
Rob Rix
69bd2c0af5 Test Python environments/heaps without encoding addresses. 2018-05-10 09:59:54 -04:00
Rob Rix
9ec588ed3c Use the shared helpers for TypeScript. 2018-05-10 09:59:31 -04:00
Rob Rix
6e37f24cee Define a helper to take namespaces apart. 2018-05-10 09:58:38 -04:00
Rob Rix
30a85b576d Define a helper to dereference qualified names in values. 2018-05-10 09:55:11 -04:00
Rob Rix
821691549e Test the bound names, not their addresses. 2018-05-10 09:28:11 -04:00
Rob Rix
8b8f3007cf Test the imported names, not the prelude names. 2018-05-10 09:08:12 -04:00
Rob Rix
76a40939d6 Test the bound names. 2018-05-09 22:04:52 -04:00
Rob Rix
27a25d9a45 Type applications. 2018-05-09 22:04:46 -04:00
Rob Rix
91ca0e1aba Run Gotos via a newtype to break the cycle in the effects types. 2018-05-09 21:30:34 -04:00
Rob Rix
924aa3e243 Correct the corpus for the new line directive syntax. 2018-05-09 15:24:42 -04:00
Rob Rix
c0993c63c9 Test our evaluation of __LINE__. 2018-05-09 15:23:52 -04:00
Rob Rix
3cbf66c57e 🔥 TermEffects. 2018-05-09 12:39:22 -04:00
Rob Rix
f18d066c88 🔥 the Term newtype. 2018-05-09 12:36:48 -04:00
Rob Rix
d02fdb419a Only export spec. 2018-05-09 12:36:40 -04:00
Rob Rix
4dca1c121e 🔥 the term parameter to Evaluator. 2018-05-09 12:35:01 -04:00
Rob Rix
3948f74810 Correct the type of the module table effect. 2018-05-08 16:46:17 -04:00
Rob Rix
fb04c57bdf Use a visible type application to inject the environment error. 2018-05-08 12:03:08 -04:00
Rob Rix
2aae3dbdd3 Allow runGoto to return its jump table. 2018-05-08 11:10:35 -04:00
Rob Rix
97915e1410 Rename lambda to closure. 2018-05-08 10:54:32 -04:00
Rob Rix
d9084f9f45 lambda takes the set of free variables as a parameter. 2018-05-08 10:54:04 -04:00
Rob Rix
5a4e6cb0b0 Merge branch 'evaluator-dsl' into evaluate-closures-without-terms 2018-05-08 10:40:41 -04:00
Rob Rix
8881dc0284 Fix an ambiguous reference to runM. 2018-05-08 10:40:25 -04:00
Rob Rix
65bcc461fc Merge branch 'evaluator-dsl' into evaluate-closures-without-terms 2018-05-08 10:36:04 -04:00
Rob Rix
c153815859 Merge branch 'musical-chairs,-evaluator-edition' into evaluator-dsl 2018-05-08 10:32:51 -04:00
Rob Rix
eacb5b47d7 Implement goto using Goto effects embedding evaluators. 2018-05-08 10:19:50 -04:00
Rob Rix
2b2a6f0cd8 Specialize ValueError to Value. 2018-05-08 09:05:43 -04:00
Patrick Thomson
d12ecb8387 move the trace runners to Control.Effect 2018-05-07 17:22:26 -04:00
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
b1dea9c5f0 Switch variable over to EnvironmentError. 2018-05-07 15:56:47 -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