type cic_mask_t =
Blob
| Uri of UriManager.uri
+ | NRef of NReference.reference
| Appl of cic_mask_t list
let uri_of_term t = CicUtil.uri_of_term (Deannotate.deannotate_term t)
Hashtbl.hash mask, tl
let mask_of_appl_pattern = function
+ | Ast.NRefPattern nref -> NRef nref, []
| Ast.UriPattern uri -> Uri uri, []
| Ast.ImplicitPattern
| Ast.VarPattern _ -> Blob, []
| Ast.ImplicitPattern
| Ast.VarPattern _ -> PatternMatcher.Variable
| Ast.UriPattern _
+ | Ast.NRefPattern _
| Ast.ApplPattern _ -> PatternMatcher.Constructor
end
let compiler rows =
let match_cb rows matched_terms constructors =
HExtlib.list_findopt
- (fun (pl,pid) ->
+ (fun (pl,pid) _ ->
let env =
try
List.map2