X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcType.lhs;h=1008e0cad8bb74316efe01dd30ae0448d76ce2f0;hb=0596517a9b4b2b32e5d375a986351102ac4540fc;hp=ed2794dc173d4203999441d88278c06269174bfd;hpb=6c381e873e222417d9a67aeec77b9555eca7b7a8;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcType.lhs b/ghc/compiler/typecheck/TcType.lhs index ed2794d..1008e0c 100644 --- 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)