summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2013-11-05 11:58:52 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2013-11-05 11:58:52 -0500
commite56c0924b7c238acc2eebeb48a1f9ee410a645f4 (patch)
tree6a8b212460a433e9f5233546f3e70c2dfd2b9812 /tests
parent101b52b8fd4283c34f731300436ed19cf47dc6fa (diff)
Identify more local definitions as functions that should be lifted to the top level, which has synergistic effects on inlining later
Diffstat (limited to 'tests')
-rw-r--r--tests/localfun.ur191
1 files changed, 191 insertions, 0 deletions
diff --git a/tests/localfun.ur b/tests/localfun.ur
new file mode 100644
index 00000000..1539abb0
--- /dev/null
+++ b/tests/localfun.ur
@@ -0,0 +1,191 @@
+fun boom s =
+ let
+ val bonk =
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s
+
+ val boonk = fn () =>
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s
+
+ fun booonk () =
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s;
+ debug s
+ in
+ bonk; bonk; boonk (); boonk (); booonk (); booonk ()
+ end
+
+fun main () : transaction page =
+ boom "test";
+ return <xml/>