added test grammar for literals in the testsuite

This commit is contained in:
krasimir
2010-01-04 13:51:36 +00:00
parent f0e6b15ec4
commit 5276ddab7d
2 changed files with 17 additions and 0 deletions

View File

@@ -0,0 +1,8 @@
abstract Literals = {
cat S ;
fun IsString : String -> S ;
IsInteger : Int -> S ;
IsFloat : Float -> S ;
}

View File

@@ -0,0 +1,9 @@
concrete LiteralsCnc of Literals = {
lincat S = Str ;
lin IsString x = x.s ++ "is string" ;
lin IsInteger x = x.s ++ "is integer" ;
lin IsFloat x = x.s ++ "is float" ;
}