Mercurial > urweb
comparison src/mono_reduce.sig @ 486:8e055bbbd28b
Remove some allocation
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 09 Nov 2008 18:19:47 -0500 |
parents | 787d4931fb07 |
children | 3c93e91e97da |
comparison
equal
deleted
inserted
replaced
485:3ce20b0b6914 | 486:8e055bbbd28b |
---|---|
31 | 31 |
32 val reduce : Mono.file -> Mono.file | 32 val reduce : Mono.file -> Mono.file |
33 | 33 |
34 val subExpInExp : int * Mono.exp -> Mono.exp -> Mono.exp | 34 val subExpInExp : int * Mono.exp -> Mono.exp -> Mono.exp |
35 | 35 |
36 val impure : Mono.exp -> bool | |
37 | |
36 end | 38 end |