greg
|
d0c5dce92b
|
Use get_kind()
|
2019-01-05 17:28:35 -08:00 |
|
greg
|
8eda74c9a5
|
Starting to keep track of locations of errors in file
|
2019-01-05 17:18:10 -08:00 |
|
greg
|
2efac109ef
|
Node for TupleLiteral
|
2019-01-05 16:06:55 -08:00 |
|
greg
|
215e2bbb0d
|
PrefixOp have Node
|
2019-01-05 16:02:30 -08:00 |
|
greg
|
2590def3be
|
More Node-wrapping
|
2019-01-05 15:54:03 -08:00 |
|
greg
|
879a7de83d
|
Wrap Expression in Node
|
2019-01-05 15:47:44 -08:00 |
|
greg
|
4c2e0b8a21
|
Get rid of old code from old ideas
|
2019-01-05 15:35:51 -08:00 |
|
greg
|
282c42da3c
|
Adding Node intermediate type to AST
|
2019-01-05 01:44:32 -08:00 |
|
greg
|
87e68988c8
|
Update some dependencies
|
2019-01-01 02:22:12 -08:00 |
|
greg
|
7ac97ca6e8
|
Kill ast_visitor
|
2018-11-26 01:57:44 -08:00 |
|
greg
|
26a8ff307f
|
Add generic Node type
|
2018-11-20 03:21:10 -08:00 |
|
greg
|
6be208b51d
|
Minor fix for parsing error messages
|
2018-11-20 03:03:08 -08:00 |
|
greg
|
e00948cad9
|
Add ast_visitor mod
|
2018-11-17 02:09:16 -08:00 |
|
greg
|
0af6fed505
|
Clear up some code a bit
|
2018-11-17 01:10:23 -08:00 |
|
greg
|
1f527f7949
|
Rename TokenType -> TokenKind
|
2018-11-16 23:17:34 -08:00 |
|
greg
|
8680c4faf6
|
Just some notes for myself about how to redesign the AST type
|
2018-11-16 15:53:27 -08:00 |
|
greg
|
b198984fc5
|
implement From for Expression-types
|
2018-11-16 14:06:04 -08:00 |
|
greg
|
58779f8470
|
Rename method, make sourcemap optional
|
2018-11-16 12:58:10 -08:00 |
|
greg
|
a0fa50392c
|
Fix compile error
|
2018-11-16 12:46:29 -08:00 |
|
greg
|
d357876b16
|
WIP source map stuff
|
2018-11-16 04:12:07 -08:00 |
|
greg
|
e42f0c644c
|
Introduce source map
|
2018-11-16 03:56:55 -08:00 |
|
greg
|
2ec7bf3b9a
|
Some initial work on passing token metadata to AST
|
2018-11-16 03:51:03 -08:00 |
|
greg
|
5147e1a3eb
|
Handle underscores in identifiers
|
2018-11-15 16:19:53 -08:00 |
|
greg
|
955c073174
|
Got typechecker unused errors down to one
|
2018-11-13 02:39:02 -08:00 |
|
greg
|
7c46a29141
|
Start adding doc comments
|
2018-11-11 18:04:44 -08:00 |
|
greg
|
0adc761e72
|
Kill an unimplemented!()
|
2018-11-11 02:48:51 -08:00 |
|
greg
|
b2039a7b67
|
Parameterize Type type over existential/universal
|
2018-11-10 16:33:42 -08:00 |
|
greg
|
b4c4531e4d
|
Rename for more concision
|
2018-11-10 14:11:29 -08:00 |
|
greg
|
2d36ad44d6
|
Converting over types
WIP
|
2018-11-09 02:50:29 -08:00 |
|
greg
|
21132a369c
|
Paramaterize Type
|
2018-11-09 02:05:59 -08:00 |
|
greg
|
ff0294c56e
|
Typechecking shouldn't fail yet
|
2018-11-09 02:02:08 -08:00 |
|
greg
|
bc80c8f9ad
|
Updated readme some
|
2018-11-09 01:51:25 -08:00 |
|
greg
|
e39356c0e5
|
Even more type work
|
2018-11-09 00:21:34 -08:00 |
|
greg
|
d44bb02d61
|
Even more types
|
2018-11-08 20:30:17 -08:00 |
|
greg
|
9056e9b0e1
|
More type work2
|
2018-11-08 02:29:54 -08:00 |
|
greg
|
e9b90412ce
|
More type work
|
2018-11-08 02:12:01 -08:00 |
|
greg
|
65c47c20fc
|
Change name of monad in which type inference happens
|
2018-11-07 17:01:07 -08:00 |
|
greg
|
fab3fb8ec2
|
More basic types + test
|
2018-11-07 16:39:32 -08:00 |
|
greg
|
0d5ccd21fe
|
TConst
|
2018-11-07 15:39:40 -08:00 |
|
greg
|
69b7b9f528
|
Print out types to REPL
|
2018-11-07 13:44:28 -08:00 |
|
greg
|
9a09f40222
|
More typing work
|
2018-11-07 03:39:31 -08:00 |
|
greg
|
020819550b
|
More typechecking infrastructure
|
2018-11-06 16:47:34 -08:00 |
|
greg
|
15f9dbe7a6
|
Typechecking infrastructure
|
2018-11-06 13:44:52 -08:00 |
|
greg
|
836bed1207
|
Added janky map to prelude
|
2018-11-06 03:02:32 -08:00 |
|
greg
|
cee5b085d5
|
Simpler syntax for single param in lambdas
This kind of implies that I might want -> for function types after all,
instead of :
|
2018-11-06 02:58:57 -08:00 |
|
greg
|
837a55c718
|
Test for nested function call
|
2018-11-06 02:42:28 -08:00 |
|
greg
|
f4f89b39b6
|
Handle nested function calls
|
2018-11-06 02:40:10 -08:00 |
|
greg
|
c6b4ed7ee4
|
Basic lambdas
|
2018-11-06 01:19:16 -08:00 |
|
greg
|
be425860af
|
Starting on lambdas
|
2018-11-05 21:13:31 -08:00 |
|
greg
|
17e88b33f2
|
Eval test doesn't need to be a macro
Can be a fn
|
2018-11-05 21:07:06 -08:00 |
|