Mercurial > urweb
comparison src/mono_util.sig @ 109:813e5a52063d
Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 13 Jul 2008 10:17:06 -0400 |
parents | 82aaa1c406d3 |
children | 25b169416ea8 |
comparison
equal
deleted
inserted
replaced
108:f59553dc1b6a | 109:813e5a52063d |
---|---|
26 *) | 26 *) |
27 | 27 |
28 signature MONO_UTIL = sig | 28 signature MONO_UTIL = sig |
29 | 29 |
30 structure Typ : sig | 30 structure Typ : sig |
31 val compare : Mono.typ * Mono.typ -> order | |
32 val sortFields : (string * Mono.typ) list -> (string * Mono.typ) list | |
33 | |
31 val mapfold : (Mono.typ', 'state, 'abort) Search.mapfolder | 34 val mapfold : (Mono.typ', 'state, 'abort) Search.mapfolder |
32 -> (Mono.typ, 'state, 'abort) Search.mapfolder | 35 -> (Mono.typ, 'state, 'abort) Search.mapfolder |
33 | 36 |
34 val map : (Mono.typ' -> Mono.typ') | 37 val map : (Mono.typ' -> Mono.typ') |
35 -> Mono.typ -> Mono.typ | 38 -> Mono.typ -> Mono.typ |
42 | 45 |
43 structure Exp : sig | 46 structure Exp : sig |
44 datatype binder = | 47 datatype binder = |
45 NamedT of string * int * Mono.typ option | 48 NamedT of string * int * Mono.typ option |
46 | RelE of string * Mono.typ | 49 | RelE of string * Mono.typ |
47 | NamedE of string * int * Mono.typ * Mono.exp option | 50 | NamedE of string * int * Mono.typ * Mono.exp option * string |
48 | 51 |
49 val mapfoldB : {typ : (Mono.typ', 'state, 'abort) Search.mapfolder, | 52 val mapfoldB : {typ : (Mono.typ', 'state, 'abort) Search.mapfolder, |
50 exp : ('typtext, Mono.exp', 'state, 'abort) Search.mapfolderB, | 53 exp : ('typtext, Mono.exp', 'state, 'abort) Search.mapfolderB, |
51 bind : 'typtext * binder -> 'typtext} | 54 bind : 'typtext * binder -> 'typtext} |
52 -> ('typtext, Mono.exp, 'state, 'abort) Search.mapfolderB | 55 -> ('typtext, Mono.exp, 'state, 'abort) Search.mapfolderB |