summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-09-11 11:30:39 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-09-11 11:30:39 -0400
commitf0c067af200f82358cdd46a32fe9c894097afa0f (patch)
treefe47c0eacf98ad054a985d40d5e45d767b489a3a /tests
parent36e6a1d1da21ec426b2072aae9bb6abf5efa201b (diff)
Optimization removes linear let-bindings of impure expressions
Diffstat (limited to 'tests')
-rw-r--r--tests/specialize.ur4
1 files changed, 0 insertions, 4 deletions
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 <html><body>
<p>{pairDelist (pairAppend pls' pls)}</p>
</body></html>
-
-
-
-