gengen/test.hs

   1 {-# LANGUAGE GADTs #-}
   2 module Main where
   3
   4 data GType
   5 data GType a where
   6     Unit :: GType UNIT
   7     Add :: (Num a, Eq a) => Expr a -> Expr a -> Expr a
   8     Ext :: (Eval v, Print v, Opt v, Typeable v) => v a -> Expr a
   9
  10 main = putStrLn ""