@@ -83,8 +83,8 @@ delabTy' ist imps tm fullname = de [] imps tm
83 (de env [] r)
83 (de env [] r)
84 deFn env (P _ n _) args
84 deFn env (P _ n _) args
85 = case lookup n (idris_metavars ist) of
85 = case lookup n (idris_metavars ist) of
86− Just mi -> mkMVApp (dens n) (drop mi (map (de env []) args))
86+-- Just mi -> mkMVApp (dens n) (drop mi (map (de env []) args))
87− Nothing -> mkPApp (dens n) (map (de env []) args)
87+ _ -> mkPApp (dens n) (map (de env []) args)
88 deFn env f args = PApp un (de env [] f) (map pexp (map (de env []) args))
88 deFn env f args = PApp un (de env [] f) (map pexp (map (de env []) args))
90 mkMVApp n []
90 mkMVApp n []