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
30 Commits 13 Branches 20 Tags
Commit Graph

30 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Niko Matsakis
f282b943ba normalize away all repeat actions in macro expansion 2015-06-17 17:16:44 -04:00
Niko Matsakis
44d7050ddb generate action code in macro expand 2015-06-17 15:02:34 -04:00
Niko Matsakis
cc155debd7 Various bits of cleanup; add some routines to compute type repr 
from parse-tree given types table
 2015-06-17 06:16:44 -04:00
Niko Matsakis
9200285d49 Rewrite type inferencer to produce a separate Types table 
using a simpler types grammar than rewrite the tree in place
 2015-06-17 06:05:11 -04:00
Niko Matsakis
975ae0a200 cleanup tests a little 2015-06-16 11:34:01 -04:00
Niko Matsakis
7219b9c2d6 Type inference basically working now 2015-06-16 11:28:41 -04:00
Niko Matsakis
1b94c4276f Get type inference compiling, cleanup some dead code 2015-06-16 07:50:03 -04:00
Niko Matsakis
6875896e76 Fix macro tests to hide spans 2015-06-16 06:39:12 -04:00
Niko Matsakis
b940c0fab8 Start writing type inferencer, but adding spans broke our tests 2015-06-16 06:20:47 -04:00
Niko Matsakis
3d77afc278 Pull out () into their own rule 2015-06-16 04:59:32 -04:00
Niko Matsakis
0d9758c1dd Add a test for condition matching 2015-06-15 19:15:20 -04:00
Niko Matsakis
411c1be63f Add a macro facility and add the ability to escape out so we can 
write some tests for the intermediate results.
 2015-06-15 19:01:40 -04:00
Niko Matsakis
5283f62df7 Add support for conditions 2015-06-15 16:58:59 -04:00
Niko Matsakis
3a8992ab84 macro expansion compiles now 2015-06-15 11:00:15 -04:00
Niko Matsakis
3ddc0dfe02 sketch out macro expansion more 2015-06-15 10:33:11 -04:00
Niko Matsakis
7bf7f686d9 Richer typeref model 2015-06-15 07:49:29 -04:00
Niko Matsakis
9e311d41d3 Conditional alternatives. 2015-06-15 07:26:38 -04:00
Niko Matsakis
3305bbdd3e Macro definitions, references. 2015-06-15 07:11:32 -04:00
Niko Matsakis
30e3274477 Playing around with examples, syntax, etc 2015-06-15 06:42:56 -04:00
Niko Matsakis
20bb505929 Test with multiple alternatives 2015-06-13 22:26:03 -04:00
Niko Matsakis
2186eed80b Code blocks need a => 2015-06-13 22:15:05 -04:00
Niko Matsakis
3ab3bee0e1 More tests 2015-06-13 22:09:14 -04:00
Niko Matsakis
70280285bf some tests 2015-06-13 22:07:10 -04:00
Niko Matsakis
fb57e6295a Parser builds 2015-06-13 21:10:40 -04:00
Niko Matsakis
da84db12b9 Work on grammar, model 2015-06-13 09:45:43 -04:00
Niko Matsakis
855e8344f1 Add a new parse tree and plan out a bit more what we want 2015-06-13 07:01:50 -04:00
Niko Matsakis
ea577095c3 Convert to use interning 2015-06-13 06:11:15 -04:00
Niko Matsakis
49812d861e Add a global interner 2015-06-13 05:54:01 -04:00
Niko Matsakis
476c115293 Expand def'n, add some parsing 2015-06-12 15:41:06 -04:00
Niko Matsakis
ce6a58de65 Start playing around with how tokens might be specified 2015-06-12 09:49:37 -04:00