From f0c067af200f82358cdd46a32fe9c894097afa0f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 11 Sep 2008 11:30:39 -0400 Subject: Optimization removes linear let-bindings of impure expressions --- tests/specialize.ur | 4 ---- 1 file changed, 4 deletions(-) (limited to 'tests/specialize.ur') diff --git a/tests/specialize.ur b/tests/specialize.ur index 2c006d1e..4032b494 100644 --- a/tests/specialize.ur +++ b/tests/specialize.ur @@ -38,7 +38,3 @@ fun main () : transaction page = return

{pairDelist (pairAppend pls' pls)}

- - - - -- cgit v1.2.3