diff options
| author | Ian Lynagh <igloo@earth.li> | 2008-07-21 09:52:56 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2008-07-21 09:52:56 +0000 |
| commit | 85255a966b21172ce5a26c8a9cb0cdaf7315be95 (patch) | |
| tree | 8cb07cd434b13f2ad11bf23c143e71f25ddeb0c3 /compiler/deSugar | |
| parent | c1153c7803e311d7b6e7de454ea0156b211281c3 (diff) | |
| download | haskell-85255a966b21172ce5a26c8a9cb0cdaf7315be95.tar.gz | |
Fixes for haddock 0.8
Diffstat (limited to 'compiler/deSugar')
| -rw-r--r-- | compiler/deSugar/Match.lhs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/deSugar/Match.lhs b/compiler/deSugar/Match.lhs index f545930a48..375dec6eb1 100644 --- a/compiler/deSugar/Match.lhs +++ b/compiler/deSugar/Match.lhs @@ -242,7 +242,7 @@ Make all constructor patterns in column~1 into @ConPats@, notably Handle any irrefutable (or ``twiddle'') @LazyPats@. \end{itemize} \item -Now {\em unmix} the equations into {\em blocks} [w/ local function +Now {\em unmix} the equations into {\em blocks} [w\/ local function @unmix_eqns@], in which the equations in a block all have variable patterns in column~1, or they all have constructor patterns in ... (see ``the mixture rule'' in SLPJ). @@ -268,7 +268,7 @@ Wadler-chapter @match@ (p.~93, last clause), and @match_unmixed_blk@ corresponds roughly to @matchVarCon@. \begin{code} -match :: [Id] -- Variables rep'ing the exprs we're matching with +match :: [Id] -- Variables rep\'ing the exprs we\'re matching with -> Type -- Type of the case expression -> [EquationInfo] -- Info about patterns, etc. (type synonym below) -> DsM MatchResult -- Desugared result! |