Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Alfredo Di Napoli
GHC
Commits
7b29b0b1
Commit
7b29b0b1
authored
Dec 03, 2015
by
Ben Gamari
🐢
Browse files
Fix haddock syntax
Sadly we can't annotate the elements of a tuple
parent
c5597bb6
Changes
1
Hide whitespace changes
Inline
Side-by-side
compiler/deSugar/Check.hs
View file @
7b29b0b1
...
...
@@ -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
])]
)
{-
%************************************************************************
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment