RSS feed
7f63840c
– Ori Bernstein <orib@google.com>
authored
on 2012/06/29 09:14
Add test for type checking match types.
4f1a566d
– Ori Bernstein <orib@google.com>
authored
on 2012/06/29 09:13
Try to unify pattern types.
86f01268
– Ori Bernstein <orib@google.com>
authored
on 2012/06/29 09:09
Create nodes for match statements correctly.
674df8f7
– Ori Bernstein <orib@google.com>
authored
on 2012/06/29 08:56
Add constructors for match nodes
a7ae86f6
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/29 06:39
Add in node types for match and match patterns.
184ef035
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/28 18:16
Stub out grammar for matches.
d79699d8
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/28 17:55
Allow chaining prefix expressions.
28754751
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/28 17:45
Renamed 'match' test.
3d379376
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/28 17:32
Rearrange gramar.
d955c5a9
– Ori Bernstein <orib@google.com>
authored
on 2012/06/28 10:31
Add test for integer matching.
a114d484
– Ori Bernstein <orib@google.com>
authored
on 2012/06/28 07:55
Generate code for creating unions.
fbf50215
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/28 07:34
Work towards codegen for unions
4e490585
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/28 05:56
Set union elt ids.
60179fff
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/27 21:38
Add test for union creation
bf98d0b8
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/27 21:32
Allow Ovar as a top level operator.
ed3f53a7
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/27 21:04
Add a number of tests.
440ff74a
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/27 20:48
Infer types for unions.
47e2fe4b
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/27 19:52
Work towards supporting unions.
9ab2a5a2
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/26 18:08
Remove dead data structure.
0423f184
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/25 21:20
Add missing test files.
e73472e0
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/25 16:31
Allow nullary union constructors.
e91825e9
– Ori Bernstein <orib@google.com>
authored
on 2012/06/25 14:24
Whitespace fixes.
b0ced7c8
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/24 16:13
Add parsing for union constructors.
6a4f50b6
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/24 10:40
Give correct error when unifying mismatched aliases
6f349d45
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/24 10:22
Make sizeof stuff work nicer.
9ccb8d4f
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/24 10:06
Make returns with 0 args valid.
9954ed6a
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/24 09:57
Propagate cstrs from base types up
69ac58bd
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/24 09:51
Make type names proper types.
9355e0b3
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/24 09:13
Don't assert name equality.
4050a902
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/24 09:13
Remove the binary I added accidentally.
2bad0c45
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/24 09:04
Fixup dids in generics.
da4e9c92
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/24 08:04
A number of misc fixes I can't be arsed to separate.
3e73a196
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/23 18:49
Make sure node ids are unique.
252e4248
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/23 09:26
Rename type constraint functions.
6a8e8597
– Ori Bernstein <ori@eigenstate.org>
authored
on 2012/06/22 21:02
Fix infinite recursion on infinite types.