Unbreak interactive development (oops!)
commit2474e108a0b78c2af82fa1d3e8ffd9b314345476
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 29 Oct 2013, 20:58 (13 years ago)
parent5d2d5a7
src/Idris/Delaborate.hs+2−2
@@ -83,8 +83,8 @@ delabTy' ist imps tm fullname = de [] imps tm
8383 (de env [] r)
8484 deFn env (P _ n _) args
8585 = case lookup n (idris_metavars ist) of
86− Just mi -> mkMVApp (dens n) (drop mi (map (de env []) args))
87− Nothing -> mkPApp (dens n) (map (de env []) args)
86+-- Just mi -> mkMVApp (dens n) (drop mi (map (de env []) args))
87+ _ -> mkPApp (dens n) (map (de env []) args)
8888 deFn env f args = PApp un (de env [] f) (map pexp (map (de env []) args))
8989
9090 mkMVApp n []