From 91904aa756ae5e00cc75d0ac5556038864617589 Mon Sep 17 00:00:00 2001 From: Chris Fallin Date: Wed, 15 Sep 2021 16:07:49 -0700 Subject: [PATCH] TODO items from call with fitzgen --- cranelift/isle/TODO | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/cranelift/isle/TODO b/cranelift/isle/TODO index 495ded7b90..7db6d3597e 100644 --- a/cranelift/isle/TODO +++ b/cranelift/isle/TODO @@ -15,3 +15,7 @@ - Build inlining and simplification: inline invocations of internal 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 \ No newline at end of file