summaryrefslogtreecommitdiff
path: root/src/AST.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/AST.hs')
-rw-r--r--src/AST.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/AST.hs b/src/AST.hs
index 8d795bf..e39c74f 100644
--- a/src/AST.hs
+++ b/src/AST.hs
@@ -28,7 +28,7 @@ data Nat = Z | S Nat
data SNat n where
SZ :: SNat Z
SS :: SNat n -> SNat (S n)
-deriving instance (Show (SNat n))
+deriving instance Show (SNat n)
data Vec n t where
VNil :: Vec Z t