gf-3.10: testsuite/compiler/typecheck/abstract/LitAbs.gf

abstract LitAbs = {

cat CStr String ;
    CInt Int ;
    CFloat Float ;

data empty : CStr "" ;
     null  : CStr [] ;
     other : CStr "other" ;

data zero : CInt 0 ;

data pi : CFloat 3.14 ;

}