fluencelabs/lalrpop
1
0
Fork 0
mirror of https://github.com/fluencelabs/lalrpop synced 2025-03-16 17:00:53 +00:00
Code Issues Projects Releases Wiki Activity
524 Commits 13 Branches 20 Tags
Commit Graph

524 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Niko Matsakis
35f7650d27 do a better job suppressing dead-code warnings 2016-06-01 05:31:21 -04:00
Niko Matsakis
728c33393d squash dead-code warnings 2016-06-01 05:03:56 -04:00
Niko Matsakis
71672847d3 remove dead import 2016-06-01 05:03:56 -04:00
Niko Matsakis
6e777652a6 kill some dead code, reformat with rustfmt 2016-06-01 05:03:56 -04:00
Niko Matsakis
7a7fb269d8 get tests passing again 2016-06-01 05:03:56 -04:00
Niko Matsakis
31a3304be5 remove some unused variables and imports 2016-06-01 05:03:56 -04:00
Niko Matsakis
e88a104cf2 move conflicts vector out of State 2016-06-01 05:03:56 -04:00
Niko Matsakis
43e3fe2315 use TokenSet for LR1 lookahead and not Token 
This way, instead of having:

    X = A (*) B [c]
    X = A (*) B [d]

you would have

    X = A (*) B [c, d]
 2016-06-01 05:03:56 -04:00
Niko Matsakis
0ff2b42f5c switch TokenSet to use TLS to get terminals 
hallelujah!
 2016-06-01 04:58:38 -04:00
Niko Matsakis
e94d8c7331 Put terminals to in one struct and put it in TLS. 2016-06-01 04:58:38 -04:00
Niko Matsakis
a928c53f66 change to store reductions in a vector 2016-06-01 04:58:38 -04:00
Niko Matsakis
567e9687a1 fix small-conflict test 2016-06-01 04:58:38 -04:00
Niko Matsakis
f35691a6c1 add test for big lane table 2016-06-01 04:58:38 -04:00
Niko Matsakis
2f676abacd pred -> succ, not vice versa :) 2016-06-01 04:58:38 -04:00
Niko Matsakis
e72378d2bc shift conflicts do not need to be traced 2016-06-01 04:58:38 -04:00
Niko Matsakis
ed089c27fd generalize interpreter to work for LR(0) 2016-06-01 04:58:38 -04:00
Niko Matsakis
b802906413 first basic test of lane table generation; seems to work 2016-06-01 04:58:38 -04:00
Niko Matsakis
d656a022fa add can_shift_terminal helper 2016-06-01 04:58:38 -04:00
Niko Matsakis
41c270ce14 make stategraph generic over lookahead 2016-06-01 04:58:38 -04:00
Niko Matsakis
1871219032 some new multimap methods 2016-06-01 04:58:38 -04:00
Niko Matsakis
4424752f46 Extend Action::Shift with the terminal being shifted, which is absent 
in LR(0)
 2016-06-01 04:58:38 -04:00
Niko Matsakis
9b42e78adc add initial lane table types and infrastructure (no tests yet) 2016-06-01 04:58:38 -04:00
Niko Matsakis
7710a55947 add LR(0) variant of build 2016-06-01 04:56:41 -04:00
Niko Matsakis
0ca108c5d1 filter reduce examples by their lookahead 2016-06-01 04:53:47 -04:00
Niko Matsakis
3de4edd597 modify reduce to not consider lookahead 2016-06-01 04:53:47 -04:00
Niko Matsakis
c2be80e51c refactor first into first0/first1 2016-06-01 04:53:47 -04:00
Niko Matsakis
61b2e52f51 refactor first 2016-06-01 04:53:47 -04:00
Niko Matsakis
fece7f5c5f remove dead code from trace graph enumerator 2016-06-01 04:53:47 -04:00
Niko Matsakis
1742b18177 make state set construction generic over lookahead 2016-06-01 04:53:47 -04:00
Niko Matsakis
b7648bcd9e separate shifts/reduces into distinct tables 2016-06-01 04:53:47 -04:00
Niko Matsakis
19a0852539 Make a trait for lookahead 2016-06-01 04:49:53 -04:00
Niko Matsakis
b0b7735bbc Rename Lookahead to Token 2016-06-01 04:48:16 -04:00
Niko Matsakis
568c2cf7be make the core LR types generic over lookahead 2016-06-01 04:46:22 -04:00
Niko Matsakis
d34f87b339 Merge pull request #105 from nikomatsakis/pascal 
Default actions for `()`, make fewer options in recursive ascent code
 2016-04-20 04:26:32 -04:00
Niko Matsakis
948649f627 Merge pull request #108 from dflemstr/output-control 
Input/output directory control
 2016-04-20 04:26:08 -04:00
David Flemström
061a580569 Make lalrpop code gen respect configured dirs 2016-04-17 14:27:09 +02:00
David Flemström
b10b23f6d7 Make in/out dirs configurable 2016-04-17 13:41:30 +02:00
Niko Matsakis
f8471defdd Merge pull request #106 from Nemikolh/fix-usage 
Fix bug in USAGE and add regression tests.
 2016-04-02 08:32:41 -04:00
Nemikolh
6056b9c8ff Fix bug in USAGE and add regression tests. 2016-04-02 13:10:00 +01:00
Niko Matsakis
2db28a3650 add forgotten test for unit default actions 2016-03-22 04:45:45 -04:00
Niko Matsakis
0a577f46d4 update test output 2016-03-22 04:42:18 -04:00
Niko Matsakis
cea227af0c modify ascent to avoid Option when possible 
Whereas before all data on the parser stack was always stored in an
`&mut Option<T>` slot, we know analyze whether the option is truly
needed. The idea is roughly this: for each state, we analyze its actions
to see what suffix of its stack it will *definitely* pop and which
suffix it *may* pop. This is basically the difference between the
largest and shortest prefixes.
 2016-03-22 04:42:17 -04:00
Niko Matsakis
78779edfa9 add preliminary Pascal grammar and test harness 
Caveats: requires uppercase keywords, cannot handle
comments, somewhat dated grammar
 2016-03-22 04:42:17 -04:00
Niko Matsakis
d46f2b504b Parse options properly 2016-03-22 04:42:17 -04:00
Niko Matsakis
7b4a4a870c Synthesize default action of () if type is () 2016-03-22 04:42:17 -04:00
Niko Matsakis
487004bddb Merge pull request #103 from reuben/patch-1 
Fix typo in report_error_suggest_inline
 2016-03-14 05:48:34 -04:00
Reuben Morais
667f20cda2 Fix typo in report_error_suggest_inline 2016-03-13 14:32:21 -03:00
Niko Matsakis
bb5c741658 Merge pull request #102 from nikomatsakis/configuration 
Introduce a `Configuration` builder for advanced usage
 2016-03-07 09:25:48 -05:00
Niko Matsakis
9896793d10 Remove some stray println calls. Fixes #98. 2016-03-07 05:48:38 -05:00
Niko Matsakis
b639c9e88b Port lalrpop-test to use new Configuration value 
Also, start emitting comments again, since they are helpful to ME.
 2016-03-07 05:47:43 -05:00