Commit b5de4958 authored by bbr's avatar bbr
Browse files

error when showing free nats eliminated

parent ad793674
......@@ -179,6 +179,7 @@ instance Show C_Nat where
isFreeNat :: C_Nat -> Bool
isFreeNat (C_NatFreeVar _) = True
isFreeNat (C_NatOr _ _) = True
isFreeNat C_IHi = False
isFreeNat (C_I n) = isFreeNat n
isFreeNat (C_O n) = isFreeNat n
......@@ -195,6 +196,8 @@ showsPrecNat d (DataPrelude.C_I x1) = Prelude.showParen((Prelude.>)(d)(Prelude.f
showsPrecNat _ (DataPrelude.C_NatFreeVar i) = Prelude.showString((:)('_')(Prelude.show(i)))
showsPrecNat _ (DataPrelude.C_NatOr i _) = Prelude.showString((:)('_')(Prelude.show(deref i)))
instance Show C_Int where
showsPrec _ C_Zero = showChar '0'
showsPrec d x@(C_Pos n)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment