« Previous | Next » 

Revision 91575c31

Parent a1741ae5
Child f9f6480e

Added by Iustin Pop about 12 years ago

Replace explicit case with 'either'

Instead of manually case-ing on the Either contents, let's just use
either with const functions (not really readable, but…).

Signed-off-by: Iustin Pop <>
Reviewed-by: Guido Trotter <>


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences