gfse: browser compatibility fixes

This commit is contained in:
hallgren
2011-10-03 12:28:49 +00:00
parent dfbf4f9e14
commit 7402ff2429
3 changed files with 6 additions and 4 deletions

View File

@@ -67,9 +67,11 @@ provideExample env myfunc parsePGF pgfFile lang =
giveExample e_ =
let newexpr = head $ generateFromDepth pgfFile e_ (Just 5) -- change here with the new random generator
ty = getType $ head $ filter (\x -> getName x == myfunc) $ getAll env
embeddedExpr = maybe "" (\x -> "\nas in :" ++ linearize pgfFile lang x) (embedInStart (getAll env) (Map.fromList [(ty,e_)]))
embeddedExpr = maybe "" (\x -> ", as in: " ++ q (linearize pgfFile lang x)) (embedInStart (getAll env) (Map.fromList [(ty,e_)]))
lexpr = linearize pgfFile lang newexpr
in (newexpr,"\n" ++ lexpr ++ embeddedExpr)
q s = sq++s++sq
sq = "\""
in (newexpr,q lexpr ++ embeddedExpr)
-- question, you need the IO monad for the random generator, how to do otherwise ??
-- question can you make the expression bold/italic - somehow distinguishable from the rest ?