greg
|
c637a922a9
|
Start implementing constructors/matches
as per Implementing Functional Programming Languages by Peyton-Jones
|
2018-08-05 14:23:08 -07:00 |
|
greg
|
42d0aba21c
|
Add index of variants to symbol table
Also new prelude type, just for testing
|
2018-08-05 13:59:13 -07:00 |
|
greg
|
7548bdbb78
|
Add note
|
2018-07-31 01:59:49 -07:00 |
|
greg
|
bc6d4d19b5
|
reduced ast match
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
a2b1b0f953
|
Pattern-matching in reduced AST
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
75bf4b5697
|
Fill out variants to be reduced
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
35f5a9623a
|
Check out cranelift
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
98e812968b
|
Fix parsing additional options
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
250c486143
|
Fix derive code
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
38eb065511
|
Broken proc macro custom derive code
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
9e24c3b336
|
update rocket version
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
1d2f1624a1
|
Some codegen work to make pass options work
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
4ca57e4aea
|
Change name of debug options struct
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
82502ad0ad
|
Move some parsing code around
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
7d68b2a05a
|
Get rid of code related to old match stuff
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
c2db212c78
|
Some more guard arm stuff + dealing with split binexp
... in if-blocks. Need to do some re-architecture I think
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
837a180b09
|
Starting work on guard arms
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
5ecd298e6a
|
Record Pattern
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
8aa33d0872
|
Starting on guards
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
21a8868bcf
|
Fixed test
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
5a91957fa1
|
Some incomplete parse work
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
176d43e56f
|
Remove old comment
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
90ecde89c9
|
Mutable types
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
65c2cd521b
|
Mutable types
This bit of syntax is meant for extendable enum types
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
f7dbbddad1
|
Let and let mut syntax
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
43ff08b04c
|
Add some debugging info around parse error
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
00692aa89e
|
Support for underscores
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
0ec29f6dd0
|
Fix repl
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
5e48eb2dee
|
Broken - some pass abstraction work
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
3597ad4eef
|
Compact parsing
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
072eab1a80
|
Thread debug opts around where they need to be
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
1761d11d36
|
Infrastructure for adding more debug options
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
d075f613f9
|
Hook help messages into command data structure
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
ee55729d5f
|
Halfway through implementing help text on CommandTree
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
17a4028185
|
Generate commandtree on repl
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
947f4f2ea6
|
Command heirarchy for tab completion
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
41c9dfae06
|
Some more tab completion work
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
fe1a508e25
|
Switch back to line feed for better tab completion
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
55a8cabd7c
|
Some basic pattern stuff
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
46b6aeb4db
|
Add note to check out Gluon
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
3c022fc4ef
|
Clarified BNF
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
0a02c21e70
|
Some more Patterns work
-at first brush, a pattern is like a single Variant with a list of free
vars
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
927f427a86
|
Starting work on patterns
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
005aba7a10
|
Test alt form
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
7882e92ab5
|
Fix old style if
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
f582ab4eaa
|
Test for new style parsing
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
f2dce38647
|
Broken, but compiling, move to new if paradigm
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
ba4cd9da39
|
Kill match keyword + data structures
And add new unified keywords
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
ba319a7bc3
|
Finally figured out unified condition syntax
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
2d052d34f7
|
More thinking
|
2018-07-26 00:52:46 -07:00 |
|