diff options
| author | simonpj <unknown> | 2003-05-29 13:22:52 +0000 |
|---|---|---|
| committer | simonpj <unknown> | 2003-05-29 13:22:52 +0000 |
| commit | 5ed839230368ddf2d7804513931abf9bb787d415 (patch) | |
| tree | 7bd7a3ac9f45fd568c590af360bd85bed295176a /ghc/compiler/rename | |
| parent | 607cbd6f6270be0d1bfed74904ee529faeeb48b2 (diff) | |
| download | haskell-5ed839230368ddf2d7804513931abf9bb787d415.tar.gz | |
[project @ 2003-05-29 13:22:51 by simonpj]
n+k patterns should be in Integral, according to the Report
Diffstat (limited to 'ghc/compiler/rename')
| -rw-r--r-- | ghc/compiler/rename/RnTypes.lhs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/ghc/compiler/rename/RnTypes.lhs b/ghc/compiler/rename/RnTypes.lhs index 19cec112d0..121cf07603 100644 --- a/ghc/compiler/rename/RnTypes.lhs +++ b/ghc/compiler/rename/RnTypes.lhs @@ -24,7 +24,7 @@ import RnEnv ( lookupOccRn, lookupBndrRn, lookupSyntaxName, lookupGlobalOccRn, bindPatSigTyVarsFV, bindLocalsFV, warnUnusedMatches ) import TcRnMonad -import PrelNames( cCallishClassKeys, eqStringName, eqClassName, ordClassName, +import PrelNames( cCallishClassKeys, eqStringName, eqClassName, integralClassName, negateName, minusName, lengthPName, indexPName, plusIntegerName, fromIntegerName, timesIntegerName, ratioDataConName, fromRationalName, cCallableClassName ) import Constants ( mAX_TUPLE_SIZE ) @@ -373,7 +373,8 @@ rnPat (NPlusKPatIn name lit _) lookupBndrRn name `thenM` \ name' -> lookupSyntaxName minusName `thenM` \ (minus, fvs2) -> returnM (NPlusKPatIn name' lit' minus, - fvs1 `plusFV` fvs2 `addOneFV` ordClassName) + fvs1 `plusFV` fvs2 `addOneFV` integralClassName) + -- The Report says that n+k patterns must be in Integral rnPat (LazyPat pat) = rnPat pat `thenM` \ (pat', fvs) -> |