On 02/01/2012 06:12, Arseniy Alekseyev wrote:
I don't know what to actually do with this after putting it in a *.lhs file. You can :load *.lhs into ghci the same way you load .hs-files. I swear I tried this before, but now it suddenly works.
Must be the chaos of stupid random assumptions making me do stupid things - I go through this phase with anything new. I have no idea what I was doing to screw things up, but I'm pretty there's no conspiracy to drive me nuts. Though now I think of it... hmmm... I wonder... The errors I was getting from GHC mostly referred to "the monomorphism restriction" - at least for test1 and test2. The errors for test3 were much longer and scarier. I'll try to figure out what's different going from GHC to GHCi later - for the moment, I'm getting back to those transformers. BTW - interesting how the signatures of test1 and test2 are reported - I hadn't realised monad transformers were relevant there. Of course it does seem a bit silly to implement both StateT and State when StateT can implement State for you.