From e778619f80ce97cc6d1210c7d2781137e968adfd Mon Sep 17 00:00:00 2001
From: "john.j.camilleri" <john.j.camilleri@chalmers.se>
Date: Fri, 1 Jun 2012 14:21:26 +0000
Subject: GFEP: updated readme and removed examples folder

---
 eclipse/examples/hello/AbsCat.gf   |  5 -----
 eclipse/examples/hello/HelloAbs.gf | 12 ------------
 eclipse/examples/hello/HelloEng.gf | 21 ---------------------
 eclipse/examples/hello/ResEng.gf   |  8 --------
 4 files changed, 46 deletions(-)
 delete mode 100644 eclipse/examples/hello/AbsCat.gf
 delete mode 100644 eclipse/examples/hello/HelloAbs.gf
 delete mode 100644 eclipse/examples/hello/HelloEng.gf
 delete mode 100644 eclipse/examples/hello/ResEng.gf

(limited to 'eclipse/examples/hello')

diff --git a/eclipse/examples/hello/AbsCat.gf b/eclipse/examples/hello/AbsCat.gf
deleted file mode 100644
index dac5c07db..000000000
--- a/eclipse/examples/hello/AbsCat.gf
+++ /dev/null
@@ -1,5 +0,0 @@
-abstract AbsCat = {
-
-	cat Greeting ; Recipient ;
-
-};
diff --git a/eclipse/examples/hello/HelloAbs.gf b/eclipse/examples/hello/HelloAbs.gf
deleted file mode 100644
index 70ab490bf..000000000
--- a/eclipse/examples/hello/HelloAbs.gf
+++ /dev/null
@@ -1,12 +0,0 @@
-abstract HelloAbs = AbsCat [Greeting, Recipient] ** {
-
-	flags startcat = Greeting ;
-	
-	cat Farewell ;
-	
-	fun 
-		Hello : Recipient -> Greeting ;
-		Goodbye : Recipient -> Farewell ;
-		World, Parent, Friends : Recipient ;
-
-}
diff --git a/eclipse/examples/hello/HelloEng.gf b/eclipse/examples/hello/HelloEng.gf
deleted file mode 100644
index d67843ef0..000000000
--- a/eclipse/examples/hello/HelloEng.gf
+++ /dev/null
@@ -1,21 +0,0 @@
-concrete HelloEng of HelloAbs = ResEng ** { 
- 
-	lincat
-		Greeting, Farewell = {s : Str} ;
-		Recipient = {s : Gender => Str} ;
-
-	lin
- 		Hello recip = {s = "hello" ++ recip.s ! Masc} ;
-		Goodbye recip = {s = "goodbye" ++ recip.s ! Fem} ;
-		
-		World = {s = \\_ => "world"} ;
-		Parent = { s = table {
-			Masc => "dad" ; Fem => "mum"
-		} } ;
-		Friends = superate "friends" ;
-
-	oper
-		superate : Str -> Recipient = \s ->
-			lin Recipient { s = \\_ => "super" ++ s } ;
- 
-} 
diff --git a/eclipse/examples/hello/ResEng.gf b/eclipse/examples/hello/ResEng.gf
deleted file mode 100644
index 1ecf97a4d..000000000
--- a/eclipse/examples/hello/ResEng.gf
+++ /dev/null
@@ -1,8 +0,0 @@
---# -path=.:../abstract:../common:../../prelude
-resource ResEng = {
-
-	param
-		OtherParam = A | B ;
-		Gender = Masc | Fem ;
-
-} ;
-- 
cgit v1.2.3