From 26a1beefb4ee40093bd7eb33a2a5065fdd5f334a Mon Sep 17 00:00:00 2001 From: "jordi.saludes" Date: Fri, 18 Jun 2010 15:53:47 +0000 Subject: [PATCH] Really adding QuerySpa to embedded. --- examples/tutorial/embedded/QuerySpa.gf | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 examples/tutorial/embedded/QuerySpa.gf 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" ; + +} +