From e91067f984d977a7c2d24005ee7515384e17d952 Mon Sep 17 00:00:00 2001
From: Adam Wick <awick@uhsure.com>
Date: Fri, 4 Feb 2011 13:15:14 -0500
Subject: [PATCH] Fix a couple typos.

---
 bsrc/Data/Bool.bs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bsrc/Data/Bool.bs b/bsrc/Data/Bool.bs
index 94984eb..5403133 100644
--- a/bsrc/Data/Bool.bs
+++ b/bsrc/Data/Bool.bs
@@ -1,11 +1,11 @@
 module Data.Bool
 
-datatype Bool = True | False;
+datatype Bool = True() | False();
 
 export (&)(x :: Bool, y :: Bool) :: Bool = prim%and;
 export (|)(x :: Bool, y :: Bool) :: Bool = prim%or;
 export (^)(x :: Bool, y :: Bool) :: Bool = prim%xor;
-export (not)(x :: Bool) :: Bool = prim%not;
+export not(x :: Bool) :: Bool = prim%not;
 export otherwise :: Bool = True;