From 40e87034470548108b04d9a156760690404b6636 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Mon, 18 Jan 2016 05:55:17 +0000 Subject: Can't document GADT constructors --- spec/src/Thermoprint/Printout/BBCode.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spec/src/Thermoprint/Printout/BBCode.hs b/spec/src/Thermoprint/Printout/BBCode.hs index 8df70c0..1ca1e01 100644 --- a/spec/src/Thermoprint/Printout/BBCode.hs +++ b/spec/src/Thermoprint/Printout/BBCode.hs @@ -71,8 +71,8 @@ data ParseResult = RBlock Block -- ^ Parses only as 'Block' -- | Current parser context data Context a where - BlockCtx :: Context Block -- ^ Parsing 'Block's - LineCtx :: Context Line -- ^ Parsing 'Line's + BlockCtx :: Context Block + LineCtx :: Context Line extract :: Context a -> ParseResult -> Either SemanticError a -- ^ Extract information from a 'ParseResult' given 'Context' -- cgit v1.2.3