added test case for issue #86

gsdlab · Jun 24, 2016 · b8ab917 · b8ab917
1 parent 2ccd620
commit b8ab917
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/test/failing/gi86-clafer-cannot-extend-itself.cfr b/test/failing/gi86-clafer-cannot-extend-itself.cfr
@@ -0,0 +1,18 @@
+abstract FunctionalArchitecture
+abstract Deployment
+   abstract fa -> FunctionalArchitecture
+
+// then we write our generic power window deployment
+
+abstract PowerWindowFAA : FunctionalArchitecture
+abstract PowerWindowDpl : Deployment
+   abstract fa : fa -> PowerWindowFAA
+
+// Finally, we want to specialize it to driver power window.
+// Here we have concrete architecture
+
+System
+    DriverPowerWindowFAA : PowerWindowFAA
+    DriverPowerWindowDpl : PowerWindowDpl
+       // refine the type again to driver
+       fa : fa -> DriverPowerWindowFAA