Mercurial > urweb

diff src/mono_util.sig @ 109:813e5a52063d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
line wrap: on
line diff
--- a/src/mono_util.sig	Thu Jul 10 16:05:14 2008 -0400
+++ b/src/mono_util.sig	Sun Jul 13 10:17:06 2008 -0400
@@ -28,6 +28,9 @@
 signature MONO_UTIL = sig
 
 structure Typ : sig
+    val compare : Mono.typ * Mono.typ -> order
+    val sortFields : (string * Mono.typ) list -> (string * Mono.typ) list
+
     val mapfold : (Mono.typ', 'state, 'abort) Search.mapfolder
                   -> (Mono.typ, 'state, 'abort) Search.mapfolder
 
@@ -44,7 +47,7 @@
     datatype binder =
              NamedT of string * int * Mono.typ option
            | RelE of string * Mono.typ
-           | NamedE of string * int * Mono.typ * Mono.exp option
+           | NamedE of string * int * Mono.typ * Mono.exp option * string
 
     val mapfoldB : {typ : (Mono.typ', 'state, 'abort) Search.mapfolder,
                     exp : ('typtext, Mono.exp', 'state, 'abort) Search.mapfolderB,