Commit 00c01200 authored by Matthew Pickering's avatar Matthew Pickering

Add a comment explaining CompleteMatchSig in HsBinds

[skip ci]
parent 9b859ef0
......@@ -853,6 +853,13 @@ data Sig name
| SCCFunSig SourceText -- Note [Pragma source text] in BasicTypes
(Located name) -- Function name
(Maybe (Located StringLiteral))
-- | A complete match pragma
-- > {-# COMPLETE C, D [:: T] #-}
-- Used to inform the pattern match checker about additional
-- complete matchings which, for example, arise from pattern
-- synonym definitions.
| CompleteMatchSig SourceText (Located [Located name]) (Maybe (Located name))
deriving instance (DataId name) => Data (Sig name)
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment