Change Show instance for Nat to show integers

lib/Prelude.idr

@@ -24,10 +24,6 @@ import Prelude.Chars
 class Show a where 
     show : a -> String
 
-instance Show Nat where 
-    show O = "O"
-    show (S k) = "s" ++ show k
-
 instance Show Int where 
     show = prim__toStrInt
 
@@ -43,6 +39,9 @@ instance Show Char where
 instance Show String where 
     show = id
 
+instance Show Nat where 
+    show n = show (the Integer (cast n))
+
 instance Show Bool where 
     show True = "True"
     show False = "False"

test/reg004/expected

@@ -1,2 +1,2 @@
-O
-sO
+0
+1

test/reg017/expected

@@ -1 +1 @@
-ssssO
+4

test/test005/expected

@@ -1,5 +1,5 @@
 8
-sO
+1
 (abc, 123)
 (abc, 123)
 ([1, 2], [3, 4, 5])

test/test007/expected

@@ -1,4 +1,4 @@
 Just 8
-Just sssssssssO
+Just 9
 Just 42
 Nothing

test/test019/expected

@@ -1 +1 @@
-sO
+1