github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-25 07:55:12 +03:00
Code Issues Projects Releases Wiki Activity
26,845 Commits 19 Branches 16 Tags 46 MiB
5255562e05
Commit Graph

26845 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
joshvera
5255562e05 Remove comments 2018-12-10 16:21:57 -05:00
Rob Rix
7e62e90439 Merge branch 'master' into heap-frames 2018-12-07 16:10:26 -05:00
joshvera
c39ed82293 Remove PHP NamespaceName instance 2018-12-06 17:30:30 -05:00
joshvera
ec83947033 Remove PHP Namespace instance 2018-12-06 17:30:03 -05:00
joshvera
6688380c15 Remove comments 2018-12-06 17:29:55 -05:00
joshvera
1b23d1d0dd Merge remote-tracking branch 'origin/master' into heap-frames 2018-12-06 16:32:38 -05:00
joshvera
192943889b delint 2018-12-06 16:16:25 -05:00
joshvera
14a47d8711 parens 2018-12-06 15:56:42 -05:00
joshvera
30cb4f43f6 Remove unused bind 2018-12-06 15:53:58 -05:00
joshvera
d96882a7e4 Merge branch 'heap-frames' of https://github.com/github/semantic into heap-frames 2018-12-06 15:50:13 -05:00
Rob Rix
0b6e3430de Clarify that we’re returning the first path we find. 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-12-06 15:48:55 -05:00
Rob Rix
2cd7257429 Merge branch 'heap-frames' of https://github.com/github/semantic into heap-frames 2018-12-06 15:44:27 -05:00
Rob Rix
a4ec6dc3a8 Generalize foldrGraph to foldGraph producing a Monoidal value. 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-12-06 15:42:36 -05:00
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