Commit e2d947ee authored by Camil Staps's avatar Camil Staps 🐧

Fix runtime error in docToDocBlock{|PropertyBootstrapDoc|}

parent 3e0e786c
Pipeline #34207 passed with stage
in 1 minute and 51 seconds
......@@ -313,6 +313,7 @@ docToDocBlock{|Type|} _ _ = abort "error in docToDocBlock{|Type|}\n"
docToDocBlock{|PropertyBootstrapDoc|} True bs_doc = Left $ [ if bs_doc.bootstrap_without_default_imports " without default imports" ""
: map ((+++) " ") $ split "\n" $ fromMultiLine bs_doc.bootstrap_content
]
docToDocBlock{|PropertyBootstrapDoc|} _ _ = abort "error in docToDocBlock{|PropertyBootstrapDoc|}\n"
docToDocBlock{|Property|} True (ForAll name args impl) = Left
[name +++ ": A." +++ join "; " [a +++ " :: " <+ t \\ (a,t) <- args] +++ ":\n" +++ impl]
docToDocBlock{|Property|} _ _ = abort "error in docToDocBlock{|Property|}\n"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment