Remove spurious error from 'setter' warning
commit3825ad8c29fb97b8c1f269dc680f33913f95acb4
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 10 May 2014, 19:35 (12 years ago)
parent59b9a4c
src/Idris/ElabDecls.hs+1−1
@@ -828,7 +828,7 @@ elabRecord info syn doc fc tyn ty opts cdoc cn cty_in
828828 (\v -> do iputStrLn $ show fc ++
829829 ":Warning - can't generate setter for " ++
830830 show fn ++ " (" ++ show ty ++ ")"
831− ++ "\n" ++ pshow i v
831+-- ++ "\n" ++ pshow i v
832832 putIState i)
833833
834834 getBoundImpls (PPi (Imp _ _ _) n ty sc) = (n, ty) : getBoundImpls sc