2024-05-09 03:32:57 by Masatake Daimon | Files touched by this commit (1137) |
Log message: Recursive revbump after changing the default Haskell compiler |
2024-04-28 18:47:05 by Masatake Daimon | Files touched by this commit (1) |
Log message: devel/hs-logict: Fix build with GHC 9.8 This breaks build with the currently default GHC 9.6. Please bear with me until I switch the default compiler. |
2023-11-02 07:37:49 by Masatake Daimon | Files touched by this commit (1141) |
Log message: Revbump all Haskell after updating lang/ghc96 |
2023-10-24 14:31:41 by Masatake Daimon | Files touched by this commit (4) |
Log message: devel/hs-logict: Update to 0.8.1.0 * Add instance MonadLogic (Control.Monad.Writer.CPS.WriterT w m). |
2023-10-09 06:55:01 by Masatake Daimon | Files touched by this commit (988) |
Log message: Bump Haskell packages after updating lang/ghc94 |
2023-01-24 17:43:04 by Masatake Daimon | Files touched by this commit (4) |
Log message: devel/hs-logict: Updateto 0.8.0.0 0.8.0.0 * Breaking change: do not re-export Control.Monad and Control.Monad.Trans from Control.Monad.Logic. * Generalize instance Traversable (LogicT Identity) to instance (Traversable m, Monad m) => Traversable (LogicT m). * Add conversion functions fromLogicT and fromLogicTWith to facilitate interoperation with list-t and logict-sequence packages. * Add hoistLogicT and embedLogicT to convert LogicT computations from one underlying monad to another. |
2022-02-26 04:58:36 by Masatake Daimon | Files touched by this commit (872) |
Log message: Bump all Haskell packages after enabling "split sections" in mk/haskell.mk |
2022-02-16 10:46:06 by Masatake Daimon | Files touched by this commit (5) |
Log message: devel/hs-logict: import hs-logict-0.7.1.0 Adapted from the paper "Backtracking, Interleaving, and Terminating Monad Transformers" by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry. |