old/gast-der/test.icl

   1 module test
   2
   3 import StdEnv
   4 import Data.Func
   5 import Control.GenBimap
   6 import Clean.Types
   7
   8 import Gast
   9 import Gast.CommandLine
  10
  11 derive class Gast Constructor, Type, TypeDef, TypeDefRhs, RecordField, Maybe, TypeRestriction, Priority
  12 derive gEq Constructor, Type, TypeDef, TypeDefRhs, RecordField, TypeRestriction, Priority
  13
  14 //million
  15 numt :== 1000000
  16 Start w = exposeProperties [Concise (dec numt)] [Tests numt] [prop] w
  17
  18 prop :: Constructor -> Bool
  19 prop x = gEq{|*|} x x