new idea

grin-compiler · Dec 10, 2018 · 0c43b49 · 0c43b49
1 parent 1cad7d8
commit 0c43b49
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/notes/optimisation-notes b/notes/optimisation-notes
@@ -6,3 +6,6 @@ question:
   is there a case when can call by need (with sharing analysis) would block further optimisations that was possible with call by name?
 
 
+- new transformation / grin language modification
+  for better accuracy each case alternative should introduce a new binder for the narrowed scrutinee,
+  substitute the scritinee variable with the alternative's narrowed scrutinee version