Fix haddock syntax
authorBen Gamari <ben@smart-cactus.org>
Thu, 3 Dec 2015 18:43:16 +0000 (13:43 -0500)
committerBen Gamari <ben@smart-cactus.org>
Thu, 3 Dec 2015 22:00:16 +0000 (23:00 +0100)
Sadly we can't annotate the elements of a tuple

compiler/deSugar/Check.hs

index 8ca0b54..382112c 100644 (file)
@@ -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])] )
 
 {-
 %************************************************************************