1
1
mirror of https://github.com/github/semantic.git synced 2024-12-15 01:51:39 +03:00
Commit Graph

26932 Commits

Author SHA1 Message Date
joshvera
34d5825cf9 Implement Let 2018-12-06 15:29:30 -05:00
joshvera
61a0a9052f Fix tuple instance 2018-12-06 15:29:24 -05:00
joshvera
9b7670e655 Implement tuple eval 2018-12-06 15:22:33 -05:00
joshvera
5f395923a7 Implement Array eval 2018-12-06 15:22:06 -05:00
Rob Rix
664877024d Find paths uniformly using findPath.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-12-06 15:18:39 -05:00
Rob Rix
e5c5d36c3c Define a function to find a path to a declaration through a graph.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-12-06 15:11:22 -05:00
Rob Rix
db698dbd98 Build up paths using foldrGraph.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-12-06 15:04:40 -05:00
Rob Rix
c278733fd7 Define a generic graph traversal operation.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-12-06 15:02:59 -05:00
Rob Rix
adfcb37231 Move the Path instances into a deriving clause.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-12-06 13:11:44 -05:00
Rob Rix
b28d877845 🔥 a redundant language extension.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-12-06 13:09:35 -05:00
Rob Rix
dcd751f4b9 Define Path as an ordinary datatype.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-12-06 13:08:56 -05:00
Rob Rix
79e235ce34 Derive the instances for ScopeGraph in a deriving clause.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-12-06 13:06:24 -05:00
Rob Rix
1e7c8d63f6 Factor the module info & span into BaseError’s Eq1 instance.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-12-06 13:02:37 -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
5eb73810eb Show module info & span in BaseError.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-12-06 12:59:00 -05:00
Rob Rix
87a4f2574b Add missing cases to ScopeError’s Eq1 instance.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-12-06 12:58:48 -05:00
Rob Rix
f95b06a3b4 Don’t loop on cyclic graphs.
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
2018-12-06 12:34:22 -05:00
joshvera
15c85f4b42 Merge branch 'heap-frames' of https://github.com/github/semantic into heap-frames 2018-12-06 12:17:15 -05:00
Rob Rix
c486eb82ce Follow export edges. 2018-12-06 12:13:10 -05:00
Rob Rix
f9c124f303 Replace the address pair Reader with separate CurrentFrame/Scope Readers. 2018-12-06 12:03:07 -05:00
Rob Rix
04e2ca5321 Define CurrentFrame/Scope newtypes. 2018-12-06 11:46:34 -05:00
Rob Rix
74ca31af53 🔥 a bunch of uses of scoped type variables. 2018-12-06 11:45:13 -05:00
Rob Rix
7a4f8a8503 Re-enable TupleSections. 2018-12-06 11:27:33 -05:00
Rob Rix
5e62b5139b Merge branch 'heap-frames' of https://github.com/github/semantic into heap-frames 2018-12-06 11:22:34 -05:00
Rob Rix
454b9d669d Don’t traverse export edges.
Per discussion with @joshvera: https://github.slack.com/archives/C0E7PGQQ5/p1544111976406600

This makes the tests run again, tho two of them fail.
2018-12-06 11:22:15 -05:00
Rob Rix
0e4a91fc91 Add a convenience for constructing a path to a declaration. 2018-12-06 11:20:09 -05:00
Rob Rix
9375a82be2 Simplify in terms of an insertReference helper. 2018-12-06 11:14:35 -05:00
Rob Rix
b3ef26f301 Use insertScope here too. 2018-12-06 11:10:19 -05:00
Rob Rix
b47e28f278 Use insertScope. 2018-12-06 11:09:08 -05:00
Rob Rix
816205244c We don’t. 2018-12-06 10:50:43 -05:00
joshvera
c7c9aafa2b s/Module/InternalModule 2018-12-06 10:49:04 -05:00
joshvera
4a7fa7b18a Implement AbstractClass 2018-12-06 10:48:58 -05:00
Rob Rix
de416fa88c Use insertFrame in insertFrameLink. 2018-12-06 10:47:27 -05:00
Rob Rix
c23b587f80 Rename the Heap field to unHeap. 2018-12-06 10:45:36 -05:00
joshvera
1ddd78b9de Merge branch 'heap-frames' of https://github.com/github/semantic into heap-frames 2018-12-06 10:44:43 -05:00
joshvera
4ee84bc538 Implement InternalModule 2018-12-06 10:44:40 -05:00
joshvera
9ac611e17f Implement Module 2018-12-06 10:41:26 -05:00
Rob Rix
8074a3a37f Realign some cases. 2018-12-06 10:40:50 -05:00
Rob Rix
15d53b25fa 🔥 a redundant do-block. 2018-12-06 10:39:56 -05:00
Rob Rix
b9b007277d 🔥 commented-out functionality. 2018-12-06 10:38:59 -05:00
Rob Rix
3b2c76c283 Customize the Show instance for Heap for brevity. 2018-12-06 10:38:40 -05:00
Rob Rix
650e5e0b96 We don’t need to enable this globally. 2018-12-06 10:36:34 -05:00
Rob Rix
113fb7ea1c Reformat Frame. 2018-12-06 10:33:06 -05:00
joshvera
f0e2b51b80 Revert "Remove TypeScript Module"
This reverts commit 0c9d58ae586e492075dec1a8666492451f83a480.
2018-12-06 10:32:02 -05:00
joshvera
8bd2f30875 Format the heaps 2018-12-06 10:31:22 -05:00
joshvera
f82d82b2ba Remove TypeScript Module 2018-12-06 10:27:56 -05:00
Rob Rix
fc19fa67db Use declareFunction to define both Function and Method evaluation. 2018-12-06 10:20:51 -05:00
Rob Rix
e65da03e85 No we should not. 2018-12-06 10:20:05 -05:00
Rob Rix
4913b252b8 Define a helper for declaring functions/methods. 2018-12-06 10:19:22 -05:00