Niko Matsakis
f125886c87
Merge branch 'master' of github.com:nikomatsakis/lalrpop into explain-lr-failure
2016-02-17 19:53:46 -05:00
Niko Matsakis
279929f0b8
Finalize switch to unicode box drawing characters
2016-02-17 16:54:19 -05:00
Niko Matsakis
201d57328f
use unicode box-drawing characters
2016-02-17 14:12:38 -05:00
Niko Matsakis
35edb6b306
Say Hint: more
2016-02-17 11:00:43 -05:00
Niko Matsakis
815b651372
add "Help" message, other tweaks
2016-02-17 10:57:55 -05:00
Niko Matsakis
1d80b3ff1d
write builder docs, add begin_
naming convention
2016-02-17 09:11:07 -05:00
Niko Matsakis
3ddc6e3d8a
Fix a ton of bugs
2016-02-17 09:03:32 -05:00
Niko Matsakis
5f4d755e97
remove some dead code
2016-02-17 05:07:04 -05:00
Niko Matsakis
f4a51154bc
Get everything building with the new messaging infrastructure
2016-02-17 05:04:04 -05:00
Niko Matsakis
397b7d3877
Promote ASCII Canvas out of the message
module
2016-02-16 07:08:33 -05:00
Niko Matsakis
a499d89b41
Message infrastructure is now working (with tests)
2016-02-16 06:48:51 -05:00
Niko Matsakis
4b1c0c5be3
write up a builder, clean up the approach to wrap, knit everything together
2016-02-16 05:34:23 -05:00
Niko Matsakis
d1e34004ae
Implement message infrastructure
2016-02-15 18:35:46 -05:00
Niko Matsakis
d788c2fbcf
Introduce resizing canvas views, word wrapping
2016-02-15 06:10:29 -05:00
Niko Matsakis
d57c7ee9ed
Begin restructuring message infrastructure
2016-02-15 05:01:11 -05:00
Niko Matsakis
4d89280c8b
Fix extra padding in 1-symbol reductions
...
We were not taking into account the padding we had added on previous
iterations, and so we kept adding more and more for each reduction.
2016-02-14 21:30:35 -05:00
Niko Matsakis
942ef00e9d
Build lalrpop-exe too
2016-02-14 20:48:32 -05:00
Niko Matsakis
fee1dcb68c
Remove dead code, prefer shorter examples
2016-02-14 20:48:13 -05:00
Niko Matsakis
ca4c362cb3
Replace the old backtrace code with the new, graph-based version
2016-02-14 13:30:26 -05:00
Niko Matsakis
cc6ce03860
Fix bug where we added unnecessary epsilon edges
2016-02-14 13:09:28 -05:00
Niko Matsakis
7d03bac0e7
Generate Example
from path iterator
2016-02-14 13:02:21 -05:00
Niko Matsakis
dc2ac98367
Make trace graph iter push target node on stack
...
This means full state can be reconstructed in between iterations.
2016-02-14 06:39:16 -05:00
Niko Matsakis
97df75a5a1
Harmonize the documentation for trace graphs
...
Also tweak slightly how the edges are represented to make them more
consistent.
2016-02-14 06:30:19 -05:00
Niko Matsakis
c4e4fd2b67
Extend trace graphs to have both prefix/suffix
2016-02-13 21:34:25 -05:00
Niko Matsakis
b10dc27980
add unit tests for trace_graph
2016-02-12 05:53:26 -05:00
Niko Matsakis
495793075b
Implement trace graph path enumeration
2016-02-12 05:32:41 -05:00
Niko Matsakis
cb7fd0b19c
WIP graph approach working
2016-02-11 07:57:23 -05:00
Niko Matsakis
2c908bace8
Reorganize lr1::backtrace
into lr1::trace::...
...
Split up the different kinds of tracing (shift tracing is not yet
rewritten) and move them into a common module.
2016-02-10 05:53:56 -05:00
Niko Matsakis
07e8e45ab8
Massively reorganize LR1 modules
...
Move all of the lr1 specific data structures into `core`, which means I
can make them pub while keeping the lr1/mod interface fairly clean.
2016-02-10 05:37:50 -05:00
Niko Matsakis
0738e1ed16
Change graph to labeled edges.
2016-02-10 04:57:41 -05:00
Niko Matsakis
01137f51f3
Remove Debug output from inner core loop
2016-02-09 09:39:21 -05:00
Niko Matsakis
e96361d7a6
Introduce a cache in place of the old stack
2016-02-09 08:16:11 -05:00
Niko Matsakis
e9879b95e9
Use LookaheadSet in the backtrace computation too
2016-02-09 05:36:18 -05:00
Niko Matsakis
06bb6e7c82
Use the new LookaheadSet in the first set computation
2016-02-09 05:22:30 -05:00
Niko Matsakis
287d6f6030
Add a new LookaheadSet, currently unused
2016-02-09 04:41:41 -05:00
Niko Matsakis
28118fa2e3
Try to integrate styles and write some output. Needs work.
2016-02-08 05:59:58 -05:00
Niko Matsakis
7430a65d45
Add capability of ANSI formatting to ASCII canvas
2016-02-08 04:59:45 -05:00
Niko Matsakis
3372e0ce9d
Move the cursor into a separate field rather than making it an item
2016-02-08 04:14:12 -05:00
Niko Matsakis
47d2a62abc
Add error classification and use several examples.
2016-02-07 20:26:27 -05:00
Niko Matsakis
4103c265ad
WIP
2016-02-06 20:47:10 -05:00
Niko Matsakis
013b7f9ae8
Test that we can enumerate/paint the examples.
2016-02-06 05:33:02 -05:00
Niko Matsakis
8b51ec251d
Fix the handling of the right-hand-side
2016-02-05 08:18:42 -05:00
Niko Matsakis
76399fc667
Tweak more
2016-02-05 06:09:29 -05:00
Niko Matsakis
a9b8f7c395
WIP example lengths
2016-02-04 06:26:01 -05:00
Niko Matsakis
de769d0ca8
Play with module structure.
2016-02-03 13:10:50 -05:00
Niko Matsakis
f4cc3730b4
Expand example
2016-02-03 11:11:14 -05:00
Niko Matsakis
04c07929d3
Merge pull request #70 from shahn/snapshot-deps
...
Update some snapshot dependencies
2016-02-03 05:30:27 -05:00
Niko Matsakis
176f66f9dc
Change backtraces to be computed over LR(0) items, and merge parent
...
backtraces. The result is much cleaner. :)
2016-02-03 05:28:59 -05:00
Niko Matsakis
093ac9a96c
Add a case that handles cycles, and an example of a bad grammar
2016-02-03 04:23:51 -05:00
Sebastian Hahn
697fa6533c
Update some snapshot dependencies
...
This was possible since e70b23208ac27f93a914fea77ec158c47ab9a389 and
a8155ad01cf575b99b9be08820bfb8ae9bdf337e and was unfortunately forgotten
in 53c7e620c90f38204aea5ec5ad6a4a7598a8a3ec :)
2016-02-03 07:05:52 +01:00