| GrafiteAst.Default (loc, name, uris) ->
let uris = List.map rehash_uri uris in
GrafiteAst.Default (loc, name, uris)
- | GrafiteAst.Interpretation (loc, dsc, args, cic_appl_pattern) ->
- let rec aux =
- function
- | CicNotationPt.UriPattern uri ->
- CicNotationPt.UriPattern (rehash_uri uri)
- | CicNotationPt.ApplPattern args ->
- CicNotationPt.ApplPattern (List.map aux args)
- | CicNotationPt.VarPattern _
- | CicNotationPt.ImplicitPattern as pat -> pat
- in
- let appl_pattern = aux cic_appl_pattern in
- GrafiteAst.Interpretation (loc, dsc, args, appl_pattern)
| GrafiteAst.Coercion (loc, uri, close) ->
GrafiteAst.Coercion (loc, rehash_uri uri, close)
- | GrafiteAst.Notation _
- | GrafiteAst.Alias _ as cmd -> cmd
| cmd ->
prerr_endline "Found a command not expected in a .moo:";
let obj_pp _ = assert false in