Commit 1693d800 authored by Andrew Gibiansky's avatar Andrew Gibiansky

Fix issue where value of type forall x. x would be treated as TH DecsQ

parent 66c603b3
......@@ -708,7 +708,8 @@ evalCommand output (Expression expr) state = do
-- Check if this is a template haskell declaration
let declExpr = printf "((id :: IHaskellTH.DecsQ -> IHaskellTH.DecsQ) (%s))" expr::String
isTHDeclaration <- attempt $ exprType declExpr
let anyExpr = printf "((id :: IHaskellPrelude.Int -> IHaskellPrelude.Int) (%s))" expr :: String
isTHDeclaration <- liftM2 (&&) (attempt $ exprType declExpr) (not <$> attempt (exprType anyExpr))
write $ "Can Display: " ++ show canRunDisplay
write $ "Is Widget: " ++ show isWidget
......
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