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
joshvera
7da4d50492
Rename LookupError to LookupScopeError
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-08 12:54:46 -05:00
joshvera
6af58e5f92
Rename LookupError/LookupPathError to LookupAddressError/LookupLinkError
2018-11-08 12:54:25 -05:00
joshvera
7ef7732f9d
Merge branch 'heap-frames' of https://github.com/github/semantic into heap-frames
2018-11-08 11:18:25 -05:00
Rick Winfrey
1cfd61ca0a
Fixup a few more tests
2018-11-07 16:29:33 -08:00
Rick Winfrey
ca0508c471
Export lookupDeclaration
2018-11-07 16:29:11 -08:00
Rick Winfrey
05c85c30e2
Add lookupDeclaration in Data.Abstract.Heap
...
This allows us to retrieve a frame address and position with which we can inspect slot values accordingly
2018-11-07 16:23:06 -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
joshvera
a49b7f5440
Add lookupFrameAddress to Heap
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-07 15:56:20 -05: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
joshvera
79186be933
reassociate 8 Eithers
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-07 14:08:45 -05:00
joshvera
cbf2280211
Merge branch 'heap-frames' of https://github.com/github/semantic into heap-frames
2018-11-07 12:20:20 -05:00
Rick Winfrey
0530153780
No need for top level heap
...
Co-Authored-By: Josh Vera <vera@github.com>
2018-11-06 17:12:27 -08:00
Rick Winfrey
6500f4de53
Keep Heap state around rather than discarding it
...
Co-Authored-By: Josh Vera <vera@github.com>
2018-11-06 17:11:28 -08:00
Rick Winfrey
657b2db1fd
Parameterize ModuleResult by Heap
...
We think it'll be helpful to keep the Heap around when we evaluate a Module
Co-Authored-By: Josh Vera <vera@github.com>
2018-11-06 17:06:08 -08:00
Rick Winfrey
1d7b6502ff
Fix warning
...
Co-Authored-By: Josh Vera <vera@github.com>
2018-11-06 16:38:42 -08:00
Rick Winfrey
f8380e2583
Add show for debugging
...
Co-Authored-By: Josh Vera <vera@github.com>
2018-11-06 16:37:55 -08:00
Rick Winfrey
7eddec8521
Merge branch 'master' into heap-frames
2018-11-06 11:26:39 -08:00
joshvera
2958d2578e
Return currentFrame in Maybe
...
and throw CurrentFrameError and CurrentScopeError in terms that require a current scope and frame
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-06 13:43:14 -05:00
joshvera
e561bf1da7
Add declaration to LookupPathError
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-06 13:05:10 -05:00
joshvera
fdad4295a0
Don't define a prelude of TypeScript atm
...
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-06 13:04:49 -05:00
Patrick Thomson
221bfd89bc
Merge pull request #2251 from github/revisit-matching
...
Give Control.Matching API better ergonomics.
2018-11-06 11:26:14 -05:00
joshvera
e6cf810822
Merge remote-tracking branch 'origin/master' into heap-frames
2018-11-06 11:26:11 -05:00
joshvera
1818a74060
Return ValueRef everywhere
2018-11-05 19:43:14 -05:00
joshvera
11a64f043e
return value refs
2018-11-05 17:25:51 -05:00
joshvera
7ed1521ad6
use raiseHandler for runState calls
2018-11-05 17:08:37 -05:00
joshvera
0d9fc6a24a
Remove Span constraints
2018-11-05 17:08:26 -05:00
joshvera
f6ffb8904f
move type signatures from effects to sig
2018-11-05 17:07:59 -05:00
Patrick Thomson
bdc5db555b
rename and prune
2018-11-05 16:56:49 -05:00
joshvera
2a90f1d13f
fix type param
2018-11-05 16:11:51 -05:00
joshvera
5186b394e8
run scope graph and heap effects in evaluate
2018-11-05 16:11:45 -05:00
joshvera
28dff57ddb
return ScopeGraph from doRequire
2018-11-05 16:11:28 -05:00
joshvera
1020f6dc61
use withLexicalScopeAndFrame in Statements
2018-11-05 16:11:16 -05:00
joshvera
f2754368cb
If evaluatable instance returns a ValueRef
2018-11-05 16:11:04 -05:00
joshvera
63aa9da7f6
return undefined from Class instance
2018-11-05 16:10:42 -05:00
joshvera
fc426a9793
fix type constraints
2018-11-05 16:10:31 -05:00
joshvera
c9501897a1
Construct frame from Closure scope in Abstract.Call
2018-11-05 16:10:21 -05:00
joshvera
faffb3098e
add heap semantics to BuiltIn
2018-11-05 16:10:04 -05:00
joshvera
14347215cb
Set the declaration's scope in runFunction
2018-11-05 16:09:39 -05:00
joshvera
95204199fb
rename address to frameAddress
2018-11-05 16:09:14 -05:00
joshvera
674d835ad9
import AllocatorC
2018-11-05 16:09:02 -05:00
joshvera
652461a65f
asArray returns values
2018-11-05 16:08:56 -05:00
joshvera
cb0c4ac8f2
address returns a slot
2018-11-05 16:08:50 -05:00
joshvera
9a1fc0f063
Return () from declare
2018-11-05 16:08:34 -05:00
joshvera
cd78a2aaa7
expose runAllocator
2018-11-05 16:08:20 -05:00
joshvera
fc6c21c85e
Rename address to frameAddress
2018-11-05 16:08:06 -05:00