let command_of_macro macro =
G.Executable (floc, G.Macro (floc, macro))
-let set key value =
- command_of_obj (G.Set (floc, key, value))
-
let require value =
command_of_obj (G.Include (floc, value ^ ".ma"))
| T.Declarative -> G.Declarative
| T.Procedural -> G.Procedural None
in
- command_of_macro (G.Inline (floc, kind, uri, prefix))
+ command_of_macro (G.Inline (floc, kind, uri, prefix, None))
let out_alias och name uri =
Printf.fprintf och "alias id \"%s\" = \"%s\".\n\n" name uri
let commit = function
| T.Heading heading -> out_preamble och heading
| T.Line line -> out_line_comment och line
- | T.BaseUri uri -> out_command och (set "baseuri" uri)
| T.Include script -> out_command och (require script)
| T.Coercion specs -> out_unexported och "COERCION" (snd specs)
| T.Notation specs -> out_unexported och "NOTATION" (snd specs) (**)