greg
8067c862f3
Switch out types for evaluator
2018-08-14 00:11:13 -07:00
greg
f9c2fc3f9d
Make code more concise
2018-08-07 17:09:53 -07:00
greg
5ead1e5d44
NewConstructor -> Constructor
2018-08-05 19:14:02 -07:00
greg
348a6f7c76
More work on pattern-matching
...
I think I need to entirely change the types in the evaluator.
ReducedAST should only care about NewConstructor (which I gotta rename),
and the evaluator is the only place that an implementation of a
primitive constructed type should live (see Peyton-Jones implementing a
functional langauge p. 70)
2018-08-05 19:11:42 -07:00
greg
5f336ec1a9
Add lookup_by_name to symbol table
2018-08-05 18:19:48 -07:00
greg
da59fae0d3
More work on pattern-matching
2018-08-05 18:01:42 -07:00
greg
5b5689accf
Changing representation of primitive objects
2018-08-05 17:15:58 -07:00
greg
32acf89814
New Constructor
2018-08-05 16:04:52 -07:00
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
