diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-11-05 11:58:52 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-11-05 11:58:52 -0500 |
| commit | e56c0924b7c238acc2eebeb48a1f9ee410a645f4 (patch) | |
| tree | 6a8b212460a433e9f5233546f3e70c2dfd2b9812 /tests/localfun.ur | |
| parent | 101b52b8fd4283c34f731300436ed19cf47dc6fa (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/localfun.ur')
| -rw-r--r-- | tests/localfun.ur | 191 |
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/> |