joshvera
b6e789fff7
Use a Reader for the scope address and frame address
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-27 14:16:27 -05:00
Rick Winfrey
d44169b6f6
Merge branch 'master' into heap-frames
2018-11-27 08:32:00 -08:00
joshvera
fd516f0573
Fix Delete test since JS delete deletes the slot
2018-11-27 11:14:21 -05:00
joshvera
2b11d7aa2a
Fix up python test and function args
2018-11-26 20:07:37 -05:00
Timothy Clem
f15851eed8
Demonstrate that we can pick out classes through ScopeResolution
2018-11-26 14:37:56 -08:00
Rob Rix
51d5719632
Decode the bytes in Verbatim.
2018-11-26 15:19:12 -05:00
joshvera
0186178ce1
Add import across modules test back
...
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-11-26 13:33:28 -05:00
joshvera
cda046910a
Add Bar call back in fixtures
...
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-11-26 13:30:19 -05:00
joshvera
799baa9415
Enable go import tests
...
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-11-26 13:29:59 -05:00
joshvera
7ade83a367
objectMembers
...
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-11-26 13:06:01 -05:00
joshvera
f1ea66012b
Initialize the slots of a frame when creating it
2018-11-20 20:03:17 -05:00
joshvera
b08d426f9c
Add lets to test typescript files
2018-11-16 18:57:26 -05:00
joshvera
4f1d67f172
Fix typescript tests
2018-11-16 18:53:57 -05:00
joshvera
21b211a4f4
fix qualified imports test
2018-11-16 18:19:18 -05:00
joshvera
ea7a576c31
fix imports with aliased symbols test
2018-11-15 19:45:24 -05:00
joshvera
64786d30f9
Declaration positions are 0 indexed
2018-11-15 19:35:46 -05:00
joshvera
d7db6d3cbc
docs
2018-11-15 19:30:59 -05:00
joshvera
2f32fd6f2b
fix empty heap test
2018-11-15 18:44:47 -05:00
Rick Winfrey
66d3044951
Merge branch 'master' into heap-frames
2018-11-15 13:44:06 -08:00
joshvera
393da1897b
Test position of slots
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-15 14:39:41 -05:00
joshvera
b0966e0e3b
valueRef should be a Unit
2018-11-15 13:32:58 -05:00
joshvera
4769c2cb24
regenerate javascript fixtures
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-15 13:27:37 -05:00
joshvera
5c4dde8d54
fix up test fixtures
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-15 13:24:46 -05:00
joshvera
80f7c6585d
Fix up tests
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-15 13:17:22 -05:00
joshvera
c7040f6131
fix test type errors
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-14 19:46:30 -05:00
joshvera
dba7f17d48
spoke too soon
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-14 19:20:35 -05:00
joshvera
680681f944
fix up EvalError in tests
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-14 19:19:42 -05:00
joshvera
8a4aa24889
Add a function call example
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-14 19:18:52 -05:00
Timothy Clem
1d23968c53
Fix tests
2018-11-13 14:59:20 -08:00
joshvera
fb5e4400a1
modify test files
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-13 14:09:20 -05:00
joshvera
ddb9b31a09
Add imports functions test
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-13 14:09:13 -05:00
Timothy Clem
2e1626d949
Make symbols output also return partial results
2018-11-13 11:02:23 -08:00
joshvera
eb54f7743f
add some heap tests
2018-11-13 12:17:52 -05:00
joshvera
71a73150c9
Ensure we can't look up baz from side effect imports
2018-11-13 12:06:22 -05:00
joshvera
4fed5eb1e7
export baz in a.ts
2018-11-13 12:06:05 -05:00
Rick Winfrey
9d54e063ac
First real passing test 🎉
...
Co-Authored-By: Josh Vera <vera@github.com>
2018-11-09 12:48:11 -08:00
joshvera
f9c6590f61
Remove baz export
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-09 13:05:48 -05:00
joshvera
4c02f11edc
add main3.ts
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-09 13:05:26 -05:00
joshvera
b28876b8d9
Add imports functions test
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-09 13:05:14 -05:00
joshvera
ce91cf71db
Remove self argument from call effect
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-09 13:04:52 -05:00
joshvera
eebcc9c9ee
Fix up runFunction carriers
...
function effect now takes parameters as terms
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-08 20:47:04 -05:00
joshvera
f6bfec2d96
the tests compile!
2018-11-08 18:22:35 -05:00
joshvera
66db8a860c
python imports test
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-08 13:04:17 -05:00
joshvera
9fbede0b75
Fix up typescript tests
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-08 13:04:04 -05:00
joshvera
20cf855423
return a list of values from lookupDeclaration
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-08 12:56:08 -05:00
joshvera
22bdbdfafe
Fix up import conflicts
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-08 12:55:42 -05:00
Timothy Clem
57f284f847
Streamline the declarations for toc summaries
2018-11-08 08:33:26 -08:00
Rick Winfrey
1cfd61ca0a
Fixup a few more tests
2018-11-07 16:29:33 -08:00
joshvera
0c35a8a95c
Start fixing up tests
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-07 18:27:56 -05:00
Timothy Clem
8c0dd6d3b5
Just return the first line if function defs span multiple lines
2018-11-07 11:48:50 -08:00
joshvera
f51d3a90a8
Run ScopeGraph and Heap in tests
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-07 14:09:18 -05:00
joshvera
1a6d7e77f3
Remove EnvironmentError from Evaluator/Spec
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-07 14:09:01 -05:00
Timothy Clem
343289f1c5
Merge remote-tracking branch 'origin/master' into docstrings-round2
2018-11-06 09:17:49 -08:00
Patrick Thomson
bdc5db555b
rename and prune
2018-11-05 16:56:49 -05:00
Timothy Clem
e14f59b165
Re-generate test with addition of statements in python assignment
2018-11-05 13:12:50 -08:00
Timothy Clem
bdb7ee0430
More tests
2018-11-05 13:09:37 -08:00
Timothy Clem
d0fc88efee
Some python specs for tags
2018-11-05 12:33:23 -08:00
Timothy Clem
0a9034e28f
Space and docs
2018-11-05 07:57:21 -08:00
Patrick Thomson
292a268b00
better name for infix operator
2018-11-04 14:46:19 -05:00
Patrick Thomson
7ea52dbfe3
Give Control.Matching API better ergonomics.
...
Given that @tclem and I have found the matcher API frustrating, I've
taken a stab at improving its ergonomics, and I've found some success
in separating composition of matchers from predicate-based narrowing
thereof.
The biggest change here is the elimination of the old `match`
combinator, which proved to be clumsy in that it complected narrowing
and composition. Top-down matching combinators are now written with
the `need` combinator and the `>>>` combinator, which is more readable
and more versatile. Here's a matcher that accepts functions with
Python docstrings:
```haskell
docstringMatcher :: ( Decl.Function :< fs
, [] :< fs
, Lit.TextElement :< fs
, term ~ Term (Sum fs) ann
) => Matcher term term
docstringMatcher = target <*
(need Decl.functionBody
>>> narrow @[]
>>> mhead
>>> narrow @Lit.TextElement
>>> ensure Lit.isTripleQuoted))
```
Pretty readable, right? Each step of the tree regular expression -
choosing function bodies, ensuring said bodies are lists, examining
the first element, and choosing only TextElements containing
triple-quoted strings - is made implicit. The old way would have
looked something like this:
```haskell
docstringMatcher = target <* match Decl.functionBody
$ narrow
$ matchM listToMaybe
$ target <* ensure Lit.isTripleQuoted
```
which is a good deal more disorganized and less flexible
in the quite-common case of applying functions during a
matching pass. Separating the act of composition from
function application is a big win here.
Further comments are inline.
2018-11-02 19:25:29 -04:00
Timothy Clem
0f56f33f24
Introduce some symbol/tags tests
2018-11-02 13:55:30 -07:00
Timothy Clem
223298b86a
Merge remote-tracking branch 'origin/master' into docstrings-round2
2018-11-02 12:54:21 -07:00
Timothy Clem
018dc73af9
Python assignment: conditionally include annotation on functions
2018-11-02 12:39:38 -07:00
Josh Vera
9f22607fc0
Merge branch 'master' into diff-via-fused-effects
2018-11-01 22:21:46 -04:00
Timothy Clem
4ef4c63851
I changed functions in python that don't have annotations
2018-11-01 17:48:27 -07:00
Patrick Thomson
514dacf756
Merge branch 'master' into add-data-coerce-to-prologue
2018-11-01 12:51:21 -04:00
Rob Rix
98805db943
Merge branch 'master' into diff-via-fused-effects
2018-10-31 18:39:24 -04:00
Patrick Thomson
aaf7bba187
And kill Doctests.hs.
2018-10-31 15:56:57 -04:00
Patrick Thomson
b9cf8f73c6
Environment and App.
2018-10-31 15:47:30 -04:00
Patrick Thomson
d473b9e1af
add Data/Abstract/Name/Spec
2018-10-31 13:19:43 -04:00
Patrick Thomson
b0e6190dbf
add Data/Range/Spec
2018-10-31 12:46:52 -04:00
Patrick Thomson
cd05aaa7a5
add Data/Graph/Spec
2018-10-31 12:30:56 -04:00
Patrick Thomson
27a9ae546a
Merge branch 'master' into add-data-coerce-to-prologue
2018-10-31 09:09:37 -04:00
Rob Rix
c95822894e
Merge branch 'master' into diff-via-fused-effects
2018-10-30 23:03:50 -04:00
Rob Rix
74f183921a
Merge branch 'master' into break-dependency-of-config-on-SHA
2018-10-30 15:40:48 -04:00
Rob Rix
994464105c
Merge branch 'master' into diff-via-fused-effects
2018-10-30 15:40:42 -04:00
Patrick Thomson
c4698ff96c
Merge branch 'master' into add-data-coerce-to-prologue
2018-10-30 15:40:14 -04:00
Patrick Thomson
3caa753808
Add Data.Coerce to the Prologue.
...
This is ubiquitous enough that we should just export it.
2018-10-30 15:12:45 -04:00
Rob Rix
4ec497b793
Use runTask when we aren’t setting the Options.
2018-10-30 14:49:07 -04:00
Patrick Thomson
6b476d0eb7
Add 'purely' combinator to Matching and rename it.
...
@tclem and I found ourselves wanting an arrow-like combinator that
promotes a given function to a Matcher. While I think an Arrow
instance is going a little overboard, there's no harm in adding a
'purely' function, the naming of which is commensurate with the
rewriting DSL.
This also renames the module, since there's not anything really
abstract about matching (indeed, it is quite concrete).
2018-10-30 11:04:11 -04:00
Rob Rix
898fa73969
Hide the import of Diff.
2018-10-29 11:19:40 -04:00
Rob Rix
131cae4d7b
Merge branch 'master' into higher-order-effects
2018-10-24 14:04:13 -04:00
Rob Rix
15a8917c84
Simplify the FunctionC carrier instances.
2018-10-24 11:00:54 -04:00
Rob Rix
83ac081cec
SomeError.
2018-10-24 10:32:05 -04:00
Rob Rix
512415db6a
Fix the import of SomeError.
2018-10-24 10:11:27 -04:00
Rob Rix
b6252f82f5
SomeError, not SomeExc.
2018-10-24 10:11:18 -04:00
Rob Rix
90338e92fc
Update the TOC spec for the new effect system.
2018-10-24 10:09:57 -04:00
Rob Rix
ee1491ab51
Fix namespaceScope.
2018-10-24 10:06:22 -04:00
Rob Rix
090a395bb6
Fix up the carrier type.
2018-10-24 10:05:22 -04:00
Rob Rix
fd1cc7d8cd
Fix some other handlers.
2018-10-24 10:01:55 -04:00
Rob Rix
780d0a478b
Rename the carrier.
2018-10-24 10:01:49 -04:00
Rob Rix
46ca8ac121
Fix a bunch of handlers.
2018-10-24 09:59:57 -04:00
Rob Rix
de9e610a2f
Correct the name of the Trace carrier.
2018-10-24 09:58:35 -04:00
Rob Rix
ce37fd58f1
Fix some imports.
2018-10-24 09:58:06 -04:00
Rob Rix
647f960c26
Fix SpecEff.
2018-10-24 09:47:24 -04:00
Rob Rix
739426de50
Fix a couple of handlers.
2018-10-24 09:47:14 -04:00
Patrick Thomson
ef696d3c41
Split up Semantic.IO.
...
This looks like a big patch, but it's very straightforward: no
behavior has changed.
After the umpteenth time spent hitting a compile error because I
passed a `FilePath` rather than a `File` to `readBlobFromPath`, I
decided to finally make the needed refactors to Semantic.IO, and to
split off the `File` type and `Files` effect. This patch:
* adds the `MonadIO` class to `Prologue`'s export list
* moves `File` into `Data.File`
* moves `Handle` into `Data.Handle`
* moves `Files` into `Semantic.Task.Files`
* moves functions for reading blobs into `Data.Blob`
* keeps general IO helpers in Semantic.IO
* renames `readFile` to `readBlobFromFile`
* renames `readBlobFromPath` to `readBlobFromFile'`
This should have a positive effect on compile times and ease of
navigation throughout the codebase.
2018-10-23 15:37:49 -04:00
Rob Rix
a7f59e55bc
SomeError, not SomeExc.
2018-10-22 09:53:59 -04:00
Rob Rix
3ef2efa73a
Merge branch 'master' into higher-order-effects
2018-10-22 09:45:57 -04:00
Patrick Thomson
d3db754004
weirdness in tests
2018-10-16 23:04:39 -04:00
Rob Rix
c9e6912068
Port most of the system over to higher-order-effects.
2018-10-16 18:48:08 -04:00
Patrick Thomson
ebda4bfaa1
Merge branch 'master' into bracket-effect
2018-10-16 17:52:30 -04:00
Patrick Thomson
1de1f0b5c1
try catching ParserTimedOut exceptions in parse-examples
2018-10-16 17:39:36 -04:00
Patrick Thomson
5e52bede0a
Fix the test suite.
2018-10-15 12:47:18 -04:00
Timothy Clem
ac70c565cc
Change up what Declarations we identify
2018-10-05 09:54:57 -07:00
Rob Rix
5c2dac35e8
Merge branch 'master' into first-order-closures
2018-09-27 13:37:25 -05:00
Timothy Clem
35d77b505e
Revert tableOfContentsBy removal of extra Maybe
2018-09-27 13:05:11 -05:00
Timothy Clem
2d1a8cc7e7
Express this a bit more elegantly
2018-09-26 16:55:34 -05:00
Timothy Clem
44b8e9249a
Align the things
2018-09-26 16:54:48 -05:00
Timothy Clem
c8dfe57a48
Remove Data.Record entirely
2018-09-26 14:05:29 -05:00
Timothy Clem
1913277e74
Replace the annotation necessary for toc
...
Includes span in Declaration, refactors toc functions to remove a layer of maybe
2018-09-26 13:54:16 -05:00
Timothy Clem
f6f556fb32
TOC is the only thing with a custom annotation right now
2018-09-25 17:09:43 -05:00
Timothy Clem
a6ad3f7f59
Reduce usage of DiffAnnotation
2018-09-25 16:52:40 -05:00
Rob Rix
0653832d9d
Swap the order of the parameters to Value.
2018-09-25 16:38:05 -05:00
Rob Rix
6affc61d26
The tests pass. That’s all that matters.
2018-09-25 15:17:06 -05:00
Rob Rix
2db44ac715
Fix the eval spec.
2018-09-25 14:41:57 -05:00
Timothy Clem
505c61959e
This goes back to throwing now
2018-09-25 14:04:58 -05:00
Rob Rix
f3c20a8fad
ConcreteEff is no more.
2018-09-25 13:40:07 -05:00
Timothy Clem
5e2241ffe9
Don't need to know about Record here either
2018-09-25 11:20:57 -05:00
Timothy Clem
278e6890cd
Fix up the tests
2018-09-25 11:18:51 -05:00
Rob Rix
c6769d2e01
Resume using a first-order definition of functions.
2018-09-21 14:42:57 -04:00
Timothy Clem
a481f2ac2e
TypeOperators required
2018-09-21 09:47:36 -07:00
Timothy Clem
dfe8c842ed
Term doesn't need to know about Record
2018-09-21 09:42:24 -07:00
Rob Rix
038b56970e
Parameterize Evaluator by the term type.
2018-09-20 12:43:59 -04:00
Patrick Thomson
ba18287311
Merge branch 'master' into reprinting-pipeline-rename
2018-09-19 13:08:52 -04:00
Patrick Thomson
8e1ca410bb
Remove Hungarian-style T- prefix from tokens and scopes.
...
Prefixes on data constructors are generally an antipattern in Haskell:
if you're concerned about name collisions, have clients use qualified
imports for whatever modules they need. As such, this removes the T-
prefixes from the `Token` and `Context` types. This also renames
Context to Scope, which is a more exact and readable name.
2018-09-19 12:38:48 -04:00
Patrick Thomson
22cf72c20f
Merge branch 'master' into term-rewriting-mk2
2018-09-19 11:51:28 -04:00
Patrick Thomson
2998c8f8cc
last few changes
2018-09-19 11:03:59 -04:00
Timothy Clem
20ccdc19de
Merge branch 'master' into javascript-parse-examples
2018-09-19 07:54:52 -07:00
Timothy Clem
253975164a
Test out JavaScript parse-examples
2018-09-18 15:32:56 -07:00
Patrick Thomson
d68c7975d7
Merge branch 'master' into new-take-on-parse-examples
2018-09-18 17:51:22 -04:00
Patrick Thomson
efb0b0a0f7
Change Rule to RuleM and PureRule to Rule.
2018-09-18 17:33:01 -04:00
Timothy Clem
6817193cbc
Mark assignment timeouts as pending
2018-09-18 13:00:31 -07:00
Patrick Thomson
3d1bccc3f4
cleaner tests
2018-09-18 15:45:17 -04:00
Patrick Thomson
2dc8bb0041
Merge branch 'master' into term-rewriting-mk2
2018-09-18 15:18:21 -04:00
Timothy Clem
a25e848c9f
Fix assigning comments with multiple elif in Python
2018-09-18 10:43:18 -07:00
Patrick Thomson
6e65f9060d
Merge remote-tracking branch 'origin/master' into term-rewriting-mk2
2018-09-18 13:31:58 -04:00
Patrick Thomson
9eb7fe5cd8
reenable all the tests
2018-09-18 13:18:31 -04:00
Josh Vera
8d9c627579
Merge branch 'master' into scopes-and-frames
2018-09-18 13:14:27 -04:00
Timothy Clem
fdfb8228b6
Only python to start
2018-09-18 08:36:48 -07:00
Timothy Clem
d83630443b
Rename
2018-09-18 08:36:40 -07:00
Timothy Clem
31ca888da7
Introduce datatype for these language examples
2018-09-17 16:46:45 -07:00
Timothy Clem
15f7e57571
First pass at doing parse-examples in haskell and hspec
2018-09-17 15:49:18 -07:00
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