diff options
| author | jordi.saludes <jordi.saludes@upc.edu> | 2010-06-18 15:53:47 +0000 |
|---|---|---|
| committer | jordi.saludes <jordi.saludes@upc.edu> | 2010-06-18 15:53:47 +0000 |
| commit | f641b0c57259e765f5378a61c605f614fc5d985d (patch) | |
| tree | ba2d80dbc5dc5127513ff1e3ad3bf638464b4b83 /examples/tutorial/embedded | |
| parent | 9e2c360ffbb8db360d44f9997a8d2858b8c1ad30 (diff) | |
Really adding QuerySpa to embedded.
Diffstat (limited to 'examples/tutorial/embedded')
| -rw-r--r-- | examples/tutorial/embedded/QuerySpa.gf | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/examples/tutorial/embedded/QuerySpa.gf b/examples/tutorial/embedded/QuerySpa.gf new file mode 100644 index 000000000..bcbef3550 --- /dev/null +++ b/examples/tutorial/embedded/QuerySpa.gf @@ -0,0 +1,15 @@ +concrete QuerySpa of Query = { + lincat + Answer, Question, Object = Str ; + + lin + Even x = x ++ "es" ++ "par" ; + Odd x = x ++ "es" ++ "impar" ; + Prime x = x ++ "es" ++ "primo" ; + Number n = n.s ; + + Yes = "si" ; + No = "no" ; + +} + |