comparison src/compiler.sig @ 1961:0652f295e0fa

New compiler option: -stop
author Adam Chlipala <adam@chlipala.net>
date Sun, 19 Jan 2014 13:08:01 -0500
parents 3683d1a8c1c8
children a9159911c3ba 606af2c9b828
comparison
equal deleted inserted replaced
1960:93f3e35a7967 1961:0652f295e0fa
200 val addPath : string * string -> unit 200 val addPath : string * string -> unit
201 val addModuleRoot : string * string -> unit 201 val addModuleRoot : string * string -> unit
202 202
203 val moduleOf : string -> string 203 val moduleOf : string -> string
204 204
205 val setStop : string -> unit
206 (* Stop compilation after this phase. *)
207
205 end 208 end