From 0c43b4999767fb74ce8c3381348ddf4a11a055fa Mon Sep 17 00:00:00 2001 From: Csaba Hruska Date: Mon, 10 Dec 2018 12:22:30 +0100 Subject: [PATCH] new idea --- notes/optimisation-notes | 3 +++ 1 file changed, 3 insertions(+) diff --git a/notes/optimisation-notes b/notes/optimisation-notes index ca028448..0894e16a 100644 --- 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