on master help sign in
Instance docs: haddocks grammar
commit5ca59ef1106cd012371494e0b280d0a998bfb02b authorAdam Sandberg Eriksson <adam@sandbergericsson.se> dateSat 7 Mar 2015, 00:29 (12 years ago) parent3d7aba5
1 file changed+1−1
src/Idris/AbsSyntaxTree.hs+1−1
src/Idris/AbsSyntaxTree.hs+1−1
@@ -610,7 +610,7 @@ data PDecl' t
610610 t -- full instance type
611611 (Maybe Name) -- explicit name
612612 [PDecl' t]
613− -- ^ Instance declaration: documentation, arguments are syntax info, source
613+ -- ^ Instance declaration: arguments are documentation, syntax info, source
614614 -- location, constraints, class name, parameters, full instance
615615 -- type, optional explicit name, and definitions
616616 | PDSL Name (DSL' t) -- ^ DSL declaration