1
1
mirror of https://github.com/github/semantic.git synced 2024-12-20 21:31:48 +03:00
Commit Graph

26568 Commits

Author SHA1 Message Date
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
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
joshvera
57015e94cc Type apply value instead of address in currentFrame
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-26 19:57:19 -05:00
joshvera
c0567f50f3 Implement QualifiedImport to look things up in objects
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-26 19:56:56 -05:00
joshvera
121207965e QualifiedImport stores Strings not FilePaths
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-26 19:56:18 -05:00
joshvera
024da78987 Rename name to relPath
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-26 19:55:51 -05:00
joshvera
5084eece82 Pass prelude scope graph and heap to evalModule
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-26 19:55:29 -05:00
joshvera
87d2b68e4d Implement QualifiedImport for Go
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-26 19:55:12 -05:00
joshvera
ccb044ac6b Export scopeLookup
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-26 19:54:49 -05:00
joshvera
ff1543f434 Implement Method
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-26 19:54:37 -05:00
joshvera
e9a999b69e Eval params to names in Evaluatable Function
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-26 19:54:28 -05:00
joshvera
af0184a195 Store names as params in Closure
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-11-26 19:53:58 -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
a1d2a09548 Merge the heap and insert a frame link in Evaluatable Import
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-11-26 13:29:48 -05:00
joshvera
7ade83a367 objectMembers
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-11-26 13:06:01 -05:00
joshvera
ce40ee2d37 declarationNames traverses edges
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-11-26 13:05:37 -05:00
joshvera
0cf8bb1b87 Throw UninitializedAddress from deref
Co-Authored-By: Rob Rix <rob.rix@github.com>
2018-11-26 12:31:41 -05:00
joshvera
4379bcca4e syntax errors 2018-11-26 12:31:21 -05:00
joshvera
bf4401d79b Revert newFrame changes 2018-11-26 12:04:49 -05:00
joshvera
e67862a575 Implement in terms of go 2018-11-26 12:03:49 -05:00
joshvera
fd979562ff Revert "Throw UninitializedAddress from value"
This reverts commit 36e1e09af13f8a0cbab286dc5724af5dd11213db.
2018-11-26 12:03:12 -05:00
joshvera
f1ea66012b Initialize the slots of a frame when creating it 2018-11-20 20:03:17 -05:00
joshvera
878a92eda1 Instantiate an object in the heap for a QualifiedImport
if none exists and we're trying to construct edges to imported frames
2018-11-20 19:28:52 -05:00
joshvera
9b2355b521 Throw UninitializedAddress from value 2018-11-20 19:28:15 -05:00
joshvera
0a7dd5c187 Remove makeNamespace for now 2018-11-20 19:28:04 -05:00
joshvera
d485923816 Return Maybe from deref
So we can case on uninitialized slots in the heap
2018-11-20 19:27:51 -05:00
joshvera
f3cb6d4f8c Implement QualifiedImport for Go 2018-11-20 19:04:32 -05:00
joshvera
83722bc8f6 Ask for the span in QualifiedAliasedImport 2018-11-20 19:04:04 -05:00
joshvera
86aa9c9950 Move defaultAlias to Data.ImportPath 2018-11-20 19:03:46 -05:00
joshvera
b08d426f9c Add lets to test typescript files 2018-11-16 18:57:26 -05:00
joshvera
01f5a29039 Return unit in delete instance 2018-11-16 18:57:05 -05:00
joshvera
f2aa442c48 Rename AssignmentRvalError to DerefError 2018-11-16 18:54:25 -05:00
joshvera
4f1d67f172 Fix typescript tests 2018-11-16 18:53:57 -05:00
joshvera
06c9e97b2d implement Delete evaluatable 2018-11-16 18:53:27 -05:00
joshvera
d8933a062b Add deleteSlot 2018-11-16 18:53:16 -05:00
joshvera
2f904a3791 Add dealloc to delete slots 2018-11-16 18:53:06 -05:00
joshvera
ba28eafd9e Remove undefined from resumingLoadError 2018-11-16 18:26:16 -05:00
joshvera
4d9eafccb0 convergingModules recurs on ValueRef now
so we can remove address
2018-11-16 18:25:46 -05:00
joshvera
edf444eff9 Remove address 2018-11-16 18:22:31 -05:00
joshvera
21b211a4f4 fix qualified imports test 2018-11-16 18:19:18 -05:00
joshvera
b583e0bf8d Construct an import edge and frame link from the current scope to the imported scope and frame 2018-11-16 18:03:00 -05:00
joshvera
007c710668 cover all cases of pathDeclarationScope 2018-11-16 18:02:39 -05:00
joshvera
243e0f69fb Create a new scope for QualifiedAliasedImport 2018-11-16 16:57:12 -05:00
joshvera
2c8ac63806 Return objects from QualifedAliasedImport 2018-11-16 16:12:01 -05:00
joshvera
fb0e7e3407 Add object to AbstractValue 2018-11-16 16:11:39 -05:00
joshvera
de126c7b94 qualify object 2018-11-16 16:11:28 -05:00
joshvera
781df71d37 catch the rest of EvalError 2018-11-16 16:11:18 -05:00