search

agrafix / Spock

Another Haskell web framework for rapid development
https://www.spock.li
679 stars 56 forks source link

Can't get CSRF working #59

Closed dbushenko closed 9 years ago

dbushenko commented 9 years ago

I'm trying to compile the example from the documentation but all the time have errors. The last one looks like this:

Expected type: Int -> ActionCtxT () (WebStateM conn0 sess0 st0) () Actual type: hvect-0.2.0.0:Data.HVect.HVectElim '[Int](ActionCtxT %28%29 IO %28%29)

I'm not saying that Spock works wrong, but at least something should be done with the documentation. Also one comprehensive example would be very nice!

agrafix commented 9 years ago

Could you please provide a Short, Self Contained, Correct (Compilable), Example (http://sscce.org/)?

dbushenko commented 9 years ago

No, I can't provide you correct (compilable) example since the issue is: I can't compile the example from your documentation.

This is what I'm doing: https://gist.github.com/dbushenko/ec4f34d0799c844c7ac9

agrafix commented 9 years ago

The code you've provided has a different issue: Looking a the types of spockT, get and safeActionPath the latter requires a specialized ActionT (=> SpockAction), while spockT and get inside spockT will only provide a generalized ActionT. You should use spock instead of spockT and all should work well! I'm trying to make this more clear in the docs (see #57 )

dbushenko commented 9 years ago

Thanks!