git.iko.soy/Idris-dev
on master help sign in
Doc comments go before options!
5f7fb9aEdwin Brady
src/Idris/Parser.hs+6−4
compare with master
unifiedsplit
@@ -911,14 +911,16 @@ instance_ kwopt syn
911 let initOpts = if default_total ist
911 let initOpts = if default_total ist
912 then [TotalFn]
912 then [TotalFn]
913 else []
913 else []
914+
915+ (doc, argDocs) <- docstring syn
914 opts <- fnOpts initOpts
916 opts <- fnOpts initOpts
915 acc <- accessibility
917 acc <- accessibility
916 opts' <- fnOpts opts
918 opts' <- fnOpts opts
919+
920+ if kwopt then optional instanceKeyword
921+ else do instanceKeyword
922+ return (Just ())
917
923
918− (doc, argDocs)
919− <- try (docstring syn <* if kwopt then optional instanceKeyword
920− else do instanceKeyword
921− return (Just ()))
922 fc <- getFC
924 fc <- getFC
923 en <- optional instanceName
925 en <- optional instanceName
924 cs <- constraintList syn
926 cs <- constraintList syn