diff options
| author | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2006-09-20 17:48:55 +0000 |
|---|---|---|
| committer | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2006-09-20 17:48:55 +0000 |
| commit | e380d180947b309f6d548ddb8a3f8144c08aaff4 (patch) | |
| tree | 09cf13932c92bdf1033b5d3d73cdea09942ff1ea /compiler/coreSyn | |
| parent | cd829ab3b15e6a7c30cedde2ca59fb5617aec32c (diff) | |
| download | haskell-e380d180947b309f6d548ddb8a3f8144c08aaff4.tar.gz | |
GADT selector bugfix, bits of cleanup
Mon Sep 18 16:48:32 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* GADT selector bugfix, bits of cleanup
Sun Aug 6 19:43:47 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* GADT selector bugfix, bits of cleanup
Thu Jul 27 08:10:58 EDT 2006 kevind@bu.edu
Diffstat (limited to 'compiler/coreSyn')
| -rw-r--r-- | compiler/coreSyn/CoreLint.lhs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/coreSyn/CoreLint.lhs b/compiler/coreSyn/CoreLint.lhs index 354b95c762..a147ce2d7e 100644 --- a/compiler/coreSyn/CoreLint.lhs +++ b/compiler/coreSyn/CoreLint.lhs @@ -509,8 +509,7 @@ lintCoreAlt scrut_ty alt_ty alt@(DataAlt con, args, rhs) -- NB: args must be in scope here so that the lintCoreArgs line works. -- NB: relies on existential type args coming *after* ordinary type args - ; con_result_ty <- - lintCoreArgs (dataConRepType con) + ; con_result_ty <- lintCoreArgs (dataConRepType con) (map Type tycon_arg_tys ++ varsToCoreExprs args) ; checkTys con_result_ty scrut_ty (mkBadPatMsg con_result_ty scrut_ty) } |