TODO items from call with fitzgen
This commit is contained in:
@@ -15,3 +15,7 @@
|
|||||||
|
|
||||||
- Build inlining and simplification: inline invocations of internal
|
- Build inlining and simplification: inline invocations of internal
|
||||||
constructors, and eliminate ctor-etor or makevariant-matchvariant pairs.
|
constructors, and eliminate ctor-etor or makevariant-matchvariant pairs.
|
||||||
|
|
||||||
|
- Ideas from discussion with fitzgen
|
||||||
|
- Turn arg-polarity and exprs on extractors into purer "InstFormat"
|
||||||
|
- Extern types as associated types on Context trait
|
||||||
Reference in New Issue
Block a user