exception Drop
exception IncludedFileNotCompiled of string (* file name *)
-(* the integer is expected to be the goal the user is currently seeing *)
exception Macro of
- GrafiteAst.loc * (int -> GrafiteTypes.status * Cic.term GrafiteAst.macro)
+ GrafiteAst.loc *
+ (Cic.context -> GrafiteTypes.status * Cic.term GrafiteAst.macro)
type options = {
do_heavy_checks: bool ;
disambiguate_macro:
(GrafiteTypes.status ->
'term GrafiteAst.macro ->
- int -> GrafiteTypes.status * Cic.term GrafiteAst.macro) ->
+ Cic.context -> GrafiteTypes.status * Cic.term GrafiteAst.macro) ->
?do_heavy_checks:bool ->
?clean_baseuri:bool ->
disambiguate_macro:
(GrafiteTypes.status ->
'term GrafiteAst.macro ->
- int -> GrafiteTypes.status * Cic.term GrafiteAst.macro) ->
+ Cic.context -> GrafiteTypes.status * Cic.term GrafiteAst.macro) ->
options ->
GrafiteTypes.status ->