@ Stephem: here is my build-depends: Vec -any, array -any, base -any, containers -any, mtl -any. You also can find a cabal file on my GitHub: http://github.com/EdgarGomes/DeUni <http://github.com/EdgarGomes/DeUni>@Daniel: In fact, I've inserted that context trying to fix the problem but it affected nothing. I'll remove it. Thank you guys, in advanced, for the collaboration! Edgar On 26 March 2011 21:50, Daniel Fischer <daniel.is.fischer@googlemail.com>wrote:
On Saturday 26 March 2011 21:35:13, Edgar Gomes Araujo wrote:
Hi Stephen, I've have done the following:
{-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE RankNTypes #-} ... mbc :: forall a . (SubUnit a)=>[Point] -> SetActiveSubUnits a -> Box -> StateMBC a [Unit a] mbc p afl box = do cleanAFLs if (null afl) then do (unit, afl') <- case build1stUnit plane p1 p2 p of Just un -> return (([un], fromList $ getAllSubUnits un)::(SubUnit a)=>([Unit a], SetActiveSubUnits a))
Remove the context, that's given in the signature:
return (([un], fromList ...) :: ([Unit a], SetActiveSubUnits a))
_ -> return ([] , empty) analyze1stUnit unit afl' .....
I hope that is right. Does it?