Add missing clause in showCG
commit187730a4e4fef84a81fc350189bed3694dc2c250
authorSam Elliott <sam@lenary.co.uk>
dateSat 4 Apr 2015, 19:38 (12 years ago)
parent927fc19
src/Idris/Core/TT.hs+1
@@ -425,6 +425,7 @@ showCG (SN s) = showCG' s
425425 showCG' (ParentN p c) = showCG p ++ "#" ++ show c
426426 showCG' (CaseN c) = showCG c ++ "_case"
427427 showCG' (ElimN sn) = showCG sn ++ "_elim"
428+ showCG' (InstanceCtorN n) = showCG n ++ "_ictor"
428429showCG NErased = "_"
429430
430431