Language/LOL/Symantic/Repr/Dup.hs

   1 -- | Interpreter to duplicate the representation of an expression
   2 -- in order to evaluate it with different interpreters.
   3 --
   4 -- NOTE: this is a more verbose, less clear,
   5 -- and maybe less efficient alternative
   6 -- to maintaining the universal polymorphism of @repr@ at parsing time;
   7 -- it is mainly here for the sake of curiosity.
   8 module Language.LOL.Symantic.Repr.Dup where
   9
  10 -- | Interpreter's data.
  11 data Dup repr1 repr2 a
  12  =   Dup
  13  {   dup1 :: repr1 a
  14  ,   dup2 :: repr2 a
  15  }