greg
|
d229a57837
|
Finished initial BinOp/PrefixOp
|
2018-02-23 19:06:37 -08:00 |
greg
|
501b975fb6
|
Move bx! macro up to mod.rs
And make use of it in parser
|
2018-02-23 03:04:19 -08:00 |
greg
|
83315e97ac
|
Move anno-to-type to a method on TypeName
|
2018-02-23 02:30:34 -08:00 |
greg
|
1caccc6ae2
|
Some work on binops
|
2018-02-23 01:49:37 -08:00 |
greg
|
23af2b1455
|
Some more type-checking work
|
2018-02-22 19:59:53 -08:00 |
greg
|
e7103b925b
|
type of a declaration should be Void, not Unit
I think this makes sense
Also kill some compiler warnings
|
2018-02-22 03:25:05 -08:00 |
greg
|
c35401da65
|
Types in bindings
|
2018-02-22 03:21:58 -08:00 |
greg
|
d51a9a73d7
|
Simplified match
|
2018-02-22 00:31:13 -08:00 |
greg
|
12f55fa844
|
More static type work
|
2018-02-21 18:12:46 -08:00 |
greg
|
bb0fb716e4
|
Finished basic constant type inference
|
2018-02-21 14:14:24 -08:00 |
greg
|
687d482853
|
More type implementing - WIP
This has a borrowing bug currently
|
2018-02-21 04:32:30 -08:00 |
greg
|
4c8b4c8c71
|
Starting basic type stuff
|
2018-02-21 03:39:40 -08:00 |
greg
|
c674148772
|
Starting over with types
|
2018-02-21 02:35:09 -08:00 |