@ 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
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?