Pt.Variable (Pt.TermVar name)
in
let rec aux = function
- | Pt.AttributedTerm (_, t) -> aux t
+ | Pt.AttributedTerm (_, t) -> assert false
| Pt.Literal _
| Pt.Layout _ -> assert false
| Pt.Variable v -> Pt.Variable v
Hashtbl.hash mask, tl
let mask_of_appl_pattern = function
- | Pt.UriPattern s -> Uri (UriManager.uri_of_string s), []
+ | Pt.UriPattern uri -> Uri uri, []
| Pt.VarPattern _ -> Blob, []
| Pt.ApplPattern pl -> Appl (List.map (fun _ -> Blob) pl), pl