fixdeep/test.icl

   1 module test
   2
   3 import StdEnv, StdMaybe
   4 import Data.Functor
   5
   6 :: Expr v
   7         = Lit Int
   8         | Add (Expr v) (Expr v)
   9         | E.e: Ext (e v) & eval e v
  10 :: Fix f = Fix (f (Fix f))
  11
  12
  13 class eval t v where
  14         eval :: (t v) -> Int
  15 instance eval Expr v
  16 where
  17         eval (Lit i) = i
  18
  19
  20 Start = eval t
  21
  22 t :: Expr (Fix Expr)
  23 t = Lit 42