Mercurial > urweb
comparison src/mono_reduce.sig @ 1852:3c93e91e97da
Get Iflow working again
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 21 Apr 2013 13:03:20 -0400 |
parents | 8e055bbbd28b |
children |
comparison
equal
deleted
inserted
replaced
1851:1239ba1a1671 | 1852:3c93e91e97da |
---|---|
1 (* Copyright (c) 2008, Adam Chlipala | 1 (* Copyright (c) 2008, 2013, Adam Chlipala |
2 * All rights reserved. | 2 * All rights reserved. |
3 * | 3 * |
4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
5 * modification, are permitted provided that the following conditions are met: | 5 * modification, are permitted provided that the following conditions are met: |
6 * | 6 * |
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 | 36 val impure : Mono.exp -> bool |
37 | 37 |
38 val fullMode : bool ref | |
39 | |
38 end | 40 end |