hub.darcs.net :: dolio -> logict -> issue

A backtracking logic programming monad (http://code.haskell.org/~dolio/)

#5Broken MonadReader instance

local seems broken

runReader (observeAllT (local (5+) ask)) 0 evaluates to [0] instead of [5]

  • darcsden 1.2 beta built Jun 23 201810:48:19
  • report problems to simon