From 967891cfd7eec5e90185b1b8b5c5819885a032ea Mon Sep 17 00:00:00 2001 From: bringert Date: Mon, 28 Nov 2005 23:02:04 +0000 Subject: Transfer compiler: extended variable removal to variables bound in case expressions. --- transfer/examples/layout.tr | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'transfer/examples') diff --git a/transfer/examples/layout.tr b/transfer/examples/layout.tr index 15f0aac3a..46adf5631 100644 --- a/transfer/examples/layout.tr +++ b/transfer/examples/layout.tr @@ -3,3 +3,7 @@ x = let x : T = y in case y of f -> q _ -> a + +f = \x -> case x of + { r = _ } -> 0 + -- cgit v1.2.3