Mercurial > urweb
comparison src/mono_util.sig @ 1612:7bb8c560f23d
Announce sidedness errors with source locations
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 25 Nov 2011 11:08:51 -0500 |
parents | cc956020801b |
children | 38297294cf98 |
comparison
equal
deleted
inserted
replaced
1611:217384f4b8ea | 1612:7bb8c560f23d |
---|---|
78 | 78 |
79 val foldB : {typ : Mono.typ' * 'state -> 'state, | 79 val foldB : {typ : Mono.typ' * 'state -> 'state, |
80 exp : 'context * Mono.exp' * 'state -> 'state, | 80 exp : 'context * Mono.exp' * 'state -> 'state, |
81 bind : 'context * binder -> 'context} | 81 bind : 'context * binder -> 'context} |
82 -> 'context -> 'state -> Mono.exp -> 'state | 82 -> 'context -> 'state -> Mono.exp -> 'state |
83 | |
84 val appLoc : (Mono.exp -> unit) -> Mono.exp -> unit | |
83 end | 85 end |
84 | 86 |
85 structure Decl : sig | 87 structure Decl : sig |
86 datatype binder = datatype Exp.binder | 88 datatype binder = datatype Exp.binder |
87 | 89 |
141 exp : Mono.exp' * 'state -> 'state, | 143 exp : Mono.exp' * 'state -> 'state, |
142 decl : Mono.decl' * 'state -> 'state} | 144 decl : Mono.decl' * 'state -> 'state} |
143 -> 'state -> Mono.file -> 'state | 145 -> 'state -> Mono.file -> 'state |
144 | 146 |
145 val maxName : Mono.file -> int | 147 val maxName : Mono.file -> int |
148 | |
149 val appLoc : (Mono.exp -> unit) -> Mono.file -> unit | |
146 end | 150 end |
147 | 151 |
148 end | 152 end |