@@ -828,7 +828,7 @@ elabRecord info syn doc fc tyn ty opts cdoc cn cty_in
828 (\v -> do iputStrLn $ show fc ++
828 (\v -> do iputStrLn $ show fc ++
829 ":Warning - can't generate setter for " ++
829 ":Warning - can't generate setter for " ++
830 show fn ++ " (" ++ show ty ++ ")"
830 show fn ++ " (" ++ show ty ++ ")"
831− ++ "\n" ++ pshow i v
831+-- ++ "\n" ++ pshow i v
832 putIState i)
832 putIState i)
834 getBoundImpls (PPi (Imp _ _ _) n ty sc) = (n, ty) : getBoundImpls sc
834 getBoundImpls (PPi (Imp _ _ _) n ty sc) = (n, ty) : getBoundImpls sc