greg
1b78fbff82
Tests for basic pattern matching
2018-08-14 21:39:33 -07:00
greg
897c1181a9
Basic pattern matching working
2018-08-14 21:17:43 -07:00
greg
6833bc4f00
Start on CaseMatch eval
2018-08-14 12:43:06 -07:00
greg
f2ded78776
ReducedAST: Match -> CaseMatch
...
makes it easier to grep for
2018-08-14 12:37:18 -07:00
greg
9debdd8d66
Primitive tuple
2018-08-14 02:03:05 -07:00
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
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
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
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
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
55a8cabd7c
Some basic pattern stuff
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
654eeef428
Clarified grammar BNF some
2018-07-26 00:52:46 -07:00
greg
a96fbc9592
Fix match expression parsing
2018-07-26 00:52:46 -07:00
