[Make typeInference pass error outwards
Joachim Breitner <mail@joachim-breitner.de>**20100916143103
 Ignore-this: 77ae97cb16feb7bbc081513fee2f2cc4
] hunk ./Type.hs 49
-    let mAst = do { (decls',_,_) <- 
-                        foldr (\decls m -> 
-                                   do (rdecls, tMap,  icount)  <- m
-                                      (decls', tMap', icount') <- inferenceStep decls tMap icount
-                                      return $ (decls'++rdecls, tMap', icount')
-                              ) (return ([],initTMap,initIcount)) declss
-                  ; return $ AST decls' } 
-    in case mAst of 
-         Left s  -> error s 
-         Right a ->  a 
+    do { (decls',_,_) <- 
+             foldr (\decls m -> 
+                        do (rdecls, tMap,  icount)  <- m
+                           (decls', tMap', icount') <- inferenceStep decls tMap icount
+                           return $ (decls'++rdecls, tMap', icount')
+                   ) (return ([],initTMap,initIcount)) declss
+       ; return $ AST decls' }