« Previous | Next » 

Revision 942403e6

ID942403e6b9f188e603af205ea2fbd156aac95627

Added by Iustin Pop about 13 years ago

Switch from hand-written monads to a real one

This big patch converts from our home-grown monad-like constructs
(the Either stuff) to a real, Either-like-but-another-name monad.

We introduce a “Result a” monad, and this allows dropping many of the
extra constructs. Hopefully the code is also more clear.

Many of the functions could now be written in a generic-monad style,
instead of Result specifically, but that will come in future patches.

IAlloc.hs also has some unrelated patches.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences