Fix missing cases in Show for Const
New constructors were added, but the corresponding Show implementation
had not been updated.
commit1639d150a5da9f8891d1430e5a38732f841f3ffe
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateFri 29 Jan 2016, 17:03 (11 years ago)
parent9633fd7
libs/base/Language/Reflection/Utils.idr+2
@@ -145,6 +145,8 @@ implementation Show Const where
145145 showPrec d StrType = "StrType"
146146 showPrec d VoidType = "VoidType"
147147 showPrec d Forgot = "Forgot"
148+ showPrec d WorldType = "WorldType"
149+ showPrec d TheWorld = "TheWorld"
148150
149151implementation Eq NativeTy where
150152 IT8 == IT8 = True