Fix a few typos
authorDaniel Fischer <daniel.is.fischer@googlemail.com>
Tue, 4 Oct 2011 19:45:03 +0000 (21:45 +0200)
committerDaniel Fischer <daniel.is.fischer@googlemail.com>
Tue, 4 Oct 2011 19:45:03 +0000 (21:45 +0200)
tests/stm060.hs
tests/stm060.stdout

index 707ed59..707bf04 100644 (file)
@@ -18,7 +18,7 @@ main = do
   putStr "\nAdding a trivially true invariant (TVar access)\n"
   atomically ( alwaysSucceeds ( readTVar x ) )
 
-  putStr "\nAdding an invraiant that's false when attemted to be added\n"
+  putStr "\nAdding an invariant that's false when attempted to be added\n"
   Control.Exception.catch (atomically ( do writeTVar x 100
                                            alwaysSucceeds ( do v <- readTVar x
                                                                if (v == 100) then throw (ErrorCall "URK") else return () )
index 5839ea3..b476708 100644 (file)
@@ -7,7 +7,7 @@ Adding trivially true invariant (no TVar access)
 
 Adding a trivially true invariant (TVar access)
 
-Adding an invraiant that's false when attemted to be added
+Adding an invariant that's false when attempted to be added
 Caught: URK
 
 Writing to a TVar watched by a trivially true invariant
@@ -23,7 +23,7 @@ Adding a trivially false invariant (no TVar access)
 Caught: Exn raised in invariant
 
 Adding a trivially false invariant (no TVar access)
-Caught: Transacional invariant violation
+Caught: Transactional invariant violation
 
 Adding a trivially false invariant (with TVar access)
 Caught: Exn raised in invariant