Florian Diebold
|
a4eb1a546c
|
Differentiate Tuple / FnPtr type constructors by cardinality
This is necessary because Chalk (reasonably) expects each 'struct' to know how
many type parameters it takes.
|
2019-05-04 19:11:21 +02:00 |
|
Florian Diebold
|
f43e69a64e
|
Handle recursive types in canonicalization
|
2019-05-04 18:25:36 +02:00 |
|
Florian Diebold
|
5795d773db
|
Remove ToChalk implementation for ApplicationTy
|
2019-05-04 18:18:30 +02:00 |
|
Florian Diebold
|
0bcf47b22b
|
Update Chalk
|
2019-05-04 18:18:30 +02:00 |
|
Florian Diebold
|
0f34568924
|
Turn eprintln!s into debug!s
|
2019-05-04 18:18:30 +02:00 |
|
Florian Diebold
|
7310f3f801
|
Handle Ty::Unknown in Chalk conversion
Badly, but at least it doesn't crash.
|
2019-05-04 18:18:30 +02:00 |
|
Florian Diebold
|
0ad7317b24
|
Canonicalize before doing method resolution
|
2019-05-04 18:18:30 +02:00 |
|
Florian Diebold
|
c8a643f090
|
Move Chalk conversion code to its own module
|
2019-05-04 18:18:30 +02:00 |
|