Merge pull request #2117 from lenary/partial-showCG
Add missing clause in showCG
commitfe6f0a07682e0faaddfb262f6e43ddc68f5e9f6c
authorEdwin Brady <edwin.brady@gmail.com>
dateTue 7 Apr 2015, 12:40 (12 years ago)
parente6c6b1b187730a
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