From d0ace640a2629f3ac7c9cd6709cc526367725996 Mon Sep 17 00:00:00 2001
From: Chris Fallin <chris@cfallin.org>
Date: Tue, 14 Sep 2021 23:30:42 -0700
Subject: [PATCH] TODO update.

---
 cranelift/isle/TODO | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/cranelift/isle/TODO b/cranelift/isle/TODO
index 0e7f3f3759..6a94f23175 100644
--- a/cranelift/isle/TODO
+++ b/cranelift/isle/TODO
@@ -2,9 +2,18 @@
 
 - Clean up and factor the codegen properly.
 
+- Get rid of the expression syntax `<EXPR` in patterns; do a type-dependent
+  parse instead where we know the polarity of pattern-term args and parse
+  in-args as exprs.
+
+- Support extern constants.
+
 - Look into whether optimizations are possible:
   - More in-depth fallibility analysis (avoid failure edges where possible)
 
 - Slightly nicer human-readable generated code
   - Include full rule body (S-expression) in comment, not just line number
-  - Inline some expressions (no more `let val23 = 1234; ... f(val23);`)
\ No newline at end of file
+  - Inline some expressions (no more `let val23 = 1234; ... f(val23);`)
+
+- Build inlining and simplification: inline invocations of internal
+  constructors, and eliminate ctor-etor or makevariant-matchvariant pairs.