Florian Diebold
|
a1d0b5bc3c
|
Prepare Ty::new for resolution
|
2018-12-23 17:49:30 +01:00 |
|
Florian Diebold
|
c85748f5fb
|
Type the return values of call expressions
|
2018-12-23 17:29:03 +01:00 |
|
Florian Diebold
|
ef67581104
|
Resolve paths to defs (functions currently) during type inference
|
2018-12-23 17:13:11 +01:00 |
|
Florian Diebold
|
93ffbf80c6
|
Make let statements kind of work
|
2018-12-23 14:01:50 +01:00 |
|
Florian Diebold
|
5d60937090
|
Remove unwraps
|
2018-12-23 13:48:04 +01:00 |
|
Florian Diebold
|
b4139d54fc
|
Get rid of the terrible nesting in PathExpr inference
|
2018-12-23 13:48:04 +01:00 |
|
Florian Diebold
|
515c3bc59b
|
Cleanup
|
2018-12-23 13:48:04 +01:00 |
|
Florian Diebold
|
7348f7883f
|
Add testing infrastructure for type inference
- move dir_tests to test_utils for that.
|
2018-12-23 13:48:04 +01:00 |
|
Florian Diebold
|
3899898d75
|
Parse integer / float types
|
2018-12-23 13:48:04 +01:00 |
|
Florian Diebold
|
3ac605e687
|
Add beginnings of type infrastructure
|
2018-12-23 13:48:04 +01:00 |
|