On 09/12/2010 04:42, Edward Z. Yang wrote:
Final status report for tonight, before I crash in bed;
I've managed to make it compile all the way to hoopl.
It seems like hoopl doesn't typecheck anymore? I haven't
been following the typechecker changes too closely so
some guidance would be appreciated.
libraries/hoopl/src/Compiler/Hoopl/Util.hs:190:37:
Could not deduce (e ~ block C C)
from the context (NonLocal block, LabelsPtr e)
`e' is a rigid type variable bound by
the type signature for `postorder_dfs_from_except'
at libraries/hoopl/src/Compiler/Hoopl/Util.hs:179:43
In the first argument of `get_children', namely `block'
In the first argument of `vchildren', namely `(get_children block)'
In the expression:
vchildren (get_children block) cont' acc (setInsert id visited)
libraries/hoopl/src/Compiler/Hoopl/Util.hs:220:41:
Could not deduce (e ~ block C C)
from the context (NonLocal block, LabelsPtr e)
`e' is a rigid type variable bound by
the type signature for `preorder_dfs_from_except'
at libraries/hoopl/src/Compiler/Hoopl/Util.hs:217:42
In the first argument of `get_children', namely `b'
In the first argument of `children', namely `(get_children b)'
In the first argument of `unVM', namely
`(children (get_children b))'
libraries/hoopl/src/Compiler/Hoopl/Util.hs:256:45:
Couldn't match type `O' with `C'
In the first argument of `addTargets', namely `b'
In the expression: addTargets b setEmpty
In an equation for `entryTargets':
entryTargets (JustO b) = addTargets b setEmpty
make[1]: *** [libraries/hoopl/dist-install/build/Compiler/Hoopl/Util.o] Error 1
make: *** [all] Error 2
Yes, this is about where I got to with my merge. The type errors are
triggered by the move to MonoLocalBinds in the new type checker, and can
be solved by adding type signatures to the appropriate places in Hoopl.
You might be able to get some help from GHC by using NoMonoLocalBinds
with -fwarn-missing-local-sigs.
Cheers,
Simon
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
