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 |
|
greg
|
196954326e
|
Print bare data constructor
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
3f2fff276c
|
Constructor eval
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
ebcea685f3
|
Fix looking up functions
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
3b9084810e
|
Add constructor reduced ast node; fix test
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
7809cda240
|
Pass symbol_table to ast reduce
To distinguish between values and data constructors
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
f1679e83b7
|
Start trying to fix tests
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
f98d8e2bb0
|
Move AST into its own module
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
d0a0cc8209
|
Rename ast_reducing -> reduced_ast
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
5aa0e10e7a
|
Some ADT work
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
27729cefdf
|
Some improvements to the thing
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
df76e7c120
|
Pretty-print type table
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
889610f0b0
|
Pretty-print Symbol Table
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
3beabf4678
|
Start eval-ing data constructors
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
25790f8643
|
Added super-janky prelude capability
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
ff5446af3f
|
Add symbols from symbol table into global type context
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
5d84153c9e
|
Want bin expressions typed soon
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
0b0f6b6b50
|
Symbol table handles functions better
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
856a360aba
|
Types need handle to symbol table
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
81ca9ee20f
|
Add some data structures back
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
4caf8096b3
|
Add Scheme, TypeEnv, Substitution data structs
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
c65907388d
|
Some ADT work
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
33c22c8bbc
|
Typecheck values
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
4a27af2136
|
Add a super-basic test
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
07af54b78a
|
More work
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
c4666b82ec
|
Basics
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
274dd1ccb0
|
Basic stuff
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
70ec79c4b3
|
Lol starting over from scratch again
H-M is hard :/
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
f88d2331e3
|
printf debugs for problems with function typing
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
c8f961abbf
|
Functions
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
d040d76bfa
|
Start handling function case
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
887ba46b0b
|
Fix this thing
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
a80db9e4c2
|
Debug types
WIP
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
c986233a95
|
Adding bindings seems to work?
I'm playing real fast and loose though
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
bb29df4a73
|
Variable binding insertion infrastructure
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
4db3595d7c
|
More work on variables
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
217ee73fc9
|
Literals
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
93309c025e
|
Some work
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
b67512a9e1
|
Add Infer struct
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
8e6f605fab
|
Type alias "TypeName"
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
ba4185b0fb
|
Back to including typechecking code in pipeline
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
7a2a4df297
|
Clearing out most of the cruft from typechecking
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
642e9da8ee
|
Move everything symbol-table-related into a separate module
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
cea7427847
|
put TypeEnvironment on TypeContext
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
3156c31dfc
|
Variable lookup
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
2e457cd5e8
|
First real inferring
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
843d895f2b
|
infer infra
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
734c53ce0d
|
Starting to deal with actual expr inferring
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
3a3b8dd440
|
TypeEnvironment lives in Infer
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
c96a56a7ac
|
fresh
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
4017857a3a
|
Unification
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
9e0f8b8a14
|
InferError
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
7121624f77
|
Type Env
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
48e795decc
|
apply_substitution for PolyTypes
If I made an error it's likely here...
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
a26da934f4
|
Substitution monotypes
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
1de1cd9cfd
|
For H-M, add types and some impls
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
6f639b9030
|
Type type structure
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
8f0104ebc7
|
Deletion
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
36cd7e080d
|
Even more deletions
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
f48a25779c
|
Lol just get rid of all the old code, start from scratch again
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
808a1bfc98
|
Still more deletions
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
c7e46c1cfa
|
KIll any commented code
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
98cfcfc18d
|
Eval shouldn't be aware of types
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
b4c7ea3d02
|
Show bindings too in debug
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
e7c89ed840
|
Some more refactoring
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
b0e38f7f5b
|
Refactor
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
276662d98a
|
Some code rearrangements
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
e8e9265b26
|
Use less verbose match syntax
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
cb316a973e
|
Getting back to hindley-milner
First, clear out some of this cruft in the compiler warnings
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
e64861b602
|
Some eval tests
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
1673fd1cf9
|
Fix test
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
c00effcbdd
|
Add _
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
8378170fbd
|
Kill comments
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
7ab385d398
|
Bring custom ADTs to the repl
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
9fb148bb02
|
Make compile again
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
97df2fa344
|
I dunno
|
2018-07-26 00:52:46 -07:00 |
|
greg
|
a08134a747
|
Delete old code in eval
|
2018-07-26 00:52:46 -07:00 |
|