diff options
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/deSugar/Check.hs | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/compiler/deSugar/Check.hs b/compiler/deSugar/Check.hs index 8ca0b54162..382112c951 100644 --- a/compiler/deSugar/Check.hs +++ b/compiler/deSugar/Check.hs @@ -117,9 +117,14 @@ data ValSetAbs -- Reprsents a set of value vector abstractions | Constraint [PmConstraint] ValSetAbs -- ^ Extend Delta | Cons ValAbs ValSetAbs -- ^ map (ucon u) vs -type PmResult = ( [[LPat Id]] -- ^ redundant clauses - , [[LPat Id]] -- ^ clauses with inaccessible rhs - , [([PmExpr], [ComplexEq])] ) -- ^ missing +-- | Pattern check result +-- +-- * redundant clauses +-- * clauses with inaccessible RHS +-- * missing +type PmResult = ( [[LPat Id]] + , [[LPat Id]] + , [([PmExpr], [ComplexEq])] ) {- %************************************************************************ |