Timothy Clem
6befe07ea3
Remove rest of old diff renderers and Diff.hs
2019-01-22 12:05:45 -07:00
Timothy Clem
5e6d0240b2
Use the new diff api from the CLI, fix up tests again
2019-01-22 11:42:06 -07:00
Rick Winfrey
736ead4ade
Update fixtures
2019-01-18 18:21:36 -08:00
Rick Winfrey
e7c984182c
Update specs
2019-01-18 18:21:24 -08:00
Timothy Clem
154e0388af
Goodbye Semantic.Parse
2019-01-18 16:04:23 -08:00
Timothy Clem
dad86f11e7
No more TermRenderer and all tests passing
2019-01-18 15:54:55 -08:00
Patrick Thomson
15508b1699
fix double-free that I introduced like a dummy
2019-01-18 18:17:27 -05:00
Rick Winfrey
c99dfc6d0f
Clean up old fixture
2019-01-18 14:09:00 -08:00
Rick Winfrey
b79638ab7d
Add string based private method spec for now
2019-01-18 14:08:48 -08:00
Rick Winfrey
30ef3ab52b
Imports
2019-01-18 14:08:36 -08:00
Patrick Thomson
25f54b1851
tests compile again
2019-01-18 16:12:56 -05:00
Timothy Clem
f23110a73a
Transition sexpression term rendering
2019-01-18 09:29:51 -08:00
Rick Winfrey
0639353cd1
Add private method fixture
2019-01-17 17:51:27 -08:00
Rick Winfrey
9c887e7eee
Ensure private static field definitions are not accessible by external member access
2019-01-17 17:21:16 -08:00
Rick Winfrey
a5fcc3f1df
Ensure private field definitions throw when accessed via external syntax
2019-01-17 17:17:53 -08:00
Timothy Clem
15643e1d4f
Switch over ToCDiffRenderer (will fix the tests next)
2019-01-17 15:58:49 -08:00
Timothy Clem
d8ef1c1f40
Fix up tests
2019-01-17 15:36:56 -08:00
Timothy Clem
e3afd9d684
Symbol rendering is entirely on the new path
2019-01-17 15:13:39 -08:00
Rick Winfrey
4998421038
Compare directly against SomeError ...
rather than String
values
...
Co-Authored-By: Rob Rix <robrix@github.com>
2019-01-17 14:02:54 -08:00
Rick Winfrey
c7b1d13ab0
Compare against strings
2019-01-17 12:50:33 -08:00
Rick Winfrey
d4abe75456
Merge branch 'master' into visibility-resolution
2019-01-16 18:31:44 -08:00
Rick Winfrey
bf3ff6154a
Update tests for new AccessControl / Relation split
2019-01-16 18:20:33 -08:00
Rick Winfrey
12e63cac6d
Comment this for now
2019-01-16 18:19:51 -08:00
Ayman Nadeem
896cfe983c
Reference Data.Abstract.Value.Concrete and not Control.Abstract.Value
2019-01-15 16:54:00 -05:00
Ayman Nadeem
2f29c9a566
disambiguate
2019-01-15 16:47:40 -05:00
Ayman Nadeem
b1b014a993
fix conflicts
2019-01-15 13:20:48 -05:00
Rick Winfrey
2a4cc4eab2
Update example
2019-01-14 15:21:25 -08:00
Patrick Thomson
0eb3ea5bb6
Sanity, lint, and documentation pass.
2019-01-14 11:06:17 -05:00
Patrick Thomson
3728044fcc
the Present pattern comes in handy again
2019-01-11 12:33:33 -05:00
Patrick Thomson
1f4a24b569
Merge remote-tracking branch 'origin/master' into indexer-prototype
2019-01-11 12:28:29 -05:00
Patrick Thomson
34cfa42584
rename spec and add toByteString
2019-01-11 12:27:47 -05:00
Patrick Thomson
f750f2952a
Remove 'both' function.
2019-01-10 15:53:15 -05:00
Patrick Thomson
2e66bc3443
Simplify Data.Functor.Both.
...
Though the previous definition (a type synonym that wrapped `Join (,)`)
was clever, it required a number of orphan instances, as well as an extra
`both` function to simulate a `Both` constructor. Using an ordinary data
structure removes the need for orphan instances.
2019-01-08 17:34:47 -05:00
Rick Winfrey
b1784c0058
WIP: this currently fails to compile but indicates what I would like to destructure and assert against
2018-12-20 17:05:50 -08:00
Rick Winfrey
8431d62b5f
Update Evaluator.Spec with new Visibility
2018-12-20 17:03:32 -08:00
Rick Winfrey
24a386c2ff
Fix Listable1 instance for Visibility
2018-12-20 17:03:17 -08:00
Rick Winfrey
dda77a80df
Update Listable1 instance for Declartion.Method
2018-12-19 13:19:55 -08:00
Rick Winfrey
5942249864
Define liftCons6
2018-12-19 13:19:38 -08:00
Rob Rix
f37b417fd9
Correct the EvaluatorSpec.
2018-12-18 11:19:47 -05:00
Rob Rix
6bce2b117f
Merge branch 'master' into factor-abstract-value-as-value-effects
2018-12-18 11:15:58 -05:00
Rick Winfrey
e58c21e457
Add failing accessibility test case
2018-12-14 17:06:29 -08:00
joshvera
dab7c6d86a
Revert changes to class1.ts
2018-12-13 19:05:11 -05:00
joshvera
4afe93a97d
Rename __semantic_self to __self
2018-12-13 18:14:13 -05:00
Rick Winfrey
76f4e2bc87
Add public field test for TypeScript
...
Co-Authored-By: Josh Vera <vera@github.com>
2018-12-13 14:20:42 -08:00
Rick Winfrey
dd0a85a1db
Update to use new Relation
for declare
2018-12-13 14:17:39 -08:00
Rick Winfrey
006ad8085d
💅 alignment
2018-12-13 13:41:45 -08:00
joshvera
a69991309c
Revert generic changes to class2.ts
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-12-13 13:14:56 -05:00
Rob Rix
ace844a004
Use the Float constructor.
2018-12-13 11:34:56 -05:00
Rob Rix
916e0acf26
Fix ambiguous references to the Integer constructor.
2018-12-13 11:11:08 -05:00
Rob Rix
52863de0e3
Fix alignment.
2018-12-13 11:10:08 -05:00
Rob Rix
6f25df9080
🔥 reference to the Symbol constructor.
2018-12-13 11:07:18 -05:00
joshvera
09c3cce304
WIP
2018-12-12 17:13:52 -05:00
joshvera
de1719c128
Merge remote-tracking branch 'origin/master' into new-expressions
2018-12-12 15:59:41 -05:00
Rob Rix
d7f915373b
Merge branch 'master' into factor-abstract-value-as-value-effects
2018-12-12 14:53:41 -05:00
Patrick Thomson
02c66ad210
Merge branch 'master' into bump-ts-go-and-ruby
2018-12-12 12:23:40 -05:00
Patrick Thomson
3135426fcd
Use clone-example-repos to get Go and Ruby examples.
...
Go tests appear to be broken. Gonna file an issue about it.
2018-12-12 11:14:16 -05:00
Patrick Thomson
51331c505e
turn the last spec back on and add docs
2018-12-11 18:10:57 -05:00
Patrick Thomson
684a752773
remove Semantic.Util.Rewriting
2018-12-11 17:47:13 -05:00
Patrick Thomson
e329cbe89a
unify the last spec
2018-12-11 17:36:42 -05:00
Rob Rix
89793d2cf5
Fix the specs.
2018-12-11 17:21:57 -05:00
Patrick Thomson
1de0e9ef09
move specs around
2018-12-11 17:21:39 -05:00
Patrick Thomson
1f44f81acc
Unify Control.Rewriting and Control.Matching.
2018-12-11 17:12:24 -05:00
joshvera
18367e0ffb
fix type errors in tests
2018-12-11 16:51:21 -05:00
Josh Vera
d26c96b6bf
Merge branch 'master' into bump-ts-go-and-ruby
2018-12-11 15:52:02 -05:00
Patrick Thomson
6001ae38b5
Merge branch 'master' into bump-ts-go-and-ruby
2018-12-11 15:10:47 -05:00
joshvera
9508518acf
Merge remote-tracking branch 'origin/master' into new-expressions
2018-12-11 13:13:37 -05:00
Rob Rix
4c796843e7
🔥 all the non-empty lists in the specs.
2018-12-11 13:07:45 -05:00
Rob Rix
35fd93be1c
Merge branch 'master' into evaluate-to-values
2018-12-11 09:12:48 -05:00
joshvera
e0a11fac91
Fix heap test since we construct one for a console namespace now
2018-12-10 16:58:08 -05:00
joshvera
b12fbed41a
Merge remote-tracking branch 'origin/master' into heap-frames
2018-12-10 16:38:55 -05:00
Patrick Thomson
5a2ff17278
temporarily disable go and ruby tests until we can decide what to do
2018-12-10 16:28:38 -05:00
joshvera
5255562e05
Remove comments
2018-12-10 16:21:57 -05:00
joshvera
75ac094409
Update Greeter example to Adder
2018-12-10 16:21:42 -05:00
Rob Rix
7b5c01eae0
Add an Unspecialized constructor for ref.
2018-12-10 12:40:03 -05:00
joshvera
080ac13872
Regen unit tests
2018-12-10 12:15:54 -05:00
Rob Rix
96949fd9fb
🔥 a redundant import.
2018-12-10 11:38:33 -05:00
Rob Rix
799fe67107
Spacing.
2018-12-10 11:27:05 -05:00
Rob Rix
c8682806ef
🔥 a redundant import.
2018-12-10 10:48:34 -05:00
Rob Rix
cde42e1c64
Spacing.
2018-12-10 10:48:25 -05:00
Rob Rix
a839a19b54
🔥 some redundant imports of ValueRef.
2018-12-10 10:38:52 -05:00
joshvera
3bff825368
Add test files for new expressions
2018-12-07 16:55:38 -05:00
joshvera
1d49437996
Remove a.ts from test
...
This test doesn't use it
2018-12-07 16:55:01 -05:00
Rob Rix
0b36f9bad1
Module results hold values.
2018-12-07 15:23:03 -05:00
Rob Rix
111b9ec1c9
Fix up the evaluator spec.
2018-12-07 15:20:55 -05:00
Rob Rix
df4413f2a4
Calls return values.
2018-12-07 14:46:41 -05:00
Rob Rix
80ce9ab357
Functions return values.
2018-12-07 14:30:47 -05:00
Rob Rix
36a7c31166
LoopControl operates on values, not ValueRefs.
2018-12-07 12:52:51 -05:00
Rob Rix
09d616788e
Return holds a value, not a ValueRef.
2018-12-07 12:38:16 -05:00
Patrick Thomson
0d361e9b0b
Add ZSuper syntax node ( #2292 )
...
Previously, invocations of `super` were captured as an `Identifier`.
It is straightforward enough to return a ZSuper instead.
2018-12-07 12:21:32 -05:00
joshvera
8dbdc7ded2
Remove comments
2018-12-07 11:29:35 -05:00
joshvera
1b23d1d0dd
Merge remote-tracking branch 'origin/master' into heap-frames
2018-12-06 16:32:38 -05:00
Rob Rix
f2c9083708
Correct the span of the error in the Ruby spec.
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-12-06 13:02:18 -05:00
Rob Rix
7e20624506
Correct the test of bad exports.
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-12-06 12:59:16 -05:00
Rob Rix
f9c124f303
Replace the address pair Reader with separate CurrentFrame/Scope Readers.
2018-12-06 12:03:07 -05:00
joshvera
52c685d30f
Implement default export instance
2018-12-05 15:45:20 -05:00
joshvera
eae6b7c8b3
Add tests for QualifedExportFrom
2018-12-05 15:07:37 -05:00
joshvera
a2026e8ada
Add valueRef tests back
2018-12-05 12:44:52 -05:00
joshvera
60ad7e7263
Bring back valueRef tests
2018-12-05 12:22:32 -05:00
joshvera
73ae9f85a1
Deref slots in evalRubyProject
...
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-12-05 12:12:13 -05:00
joshvera
073dca372d
Remove Data.Abstract.Environment
2018-12-05 10:20:35 -05:00