[project @ 1996-03-21 12:46:33 by partain]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcType.lhs

diff --git a/ghc/compiler/typecheck/TcType.lhs b/ghc/compiler/typecheck/TcType.lhs
index ed2794d..1008e0c 100644 (file)
--- a/ghc/compiler/typecheck/TcType.lhs
+++ b/ghc/compiler/typecheck/TcType.lhs
@@ -132,13 +132,13 @@ tcInstType tenv ty_to_inst
                                   do env ty                    `thenNF_Tc` \ ty' ->
                                   returnNF_Tc (SynTy tycon tys' ty')
 
-    do env (FunTy arg res usage)  = do env arg         `thenNF_Tc` \ arg' ->
-                                   do env res          `thenNF_Tc` \ res' ->
-                                   returnNF_Tc (FunTy arg' res' usage)
+    do env (FunTy arg res usage) = do env arg          `thenNF_Tc` \ arg' ->
+                                  do env res           `thenNF_Tc` \ res' ->
+                                  returnNF_Tc (FunTy arg' res' usage)
 
-    do env (AppTy fun arg)       = do env fun          `thenNF_Tc` \ fun' ->
-                                   do env arg          `thenNF_Tc` \ arg' ->
-                                   returnNF_Tc (AppTy fun' arg')
+    do env (AppTy fun arg)      = do env fun           `thenNF_Tc` \ fun' ->
+                                  do env arg           `thenNF_Tc` \ arg' ->
+                                  returnNF_Tc (AppTy fun' arg')
 
     do env (DictTy clas ty usage)= do env ty           `thenNF_Tc` \ ty' ->
                                   returnNF_Tc (DictTy clas ty' usage)