Test connector extending type

This is a test for ticket:4471
OpenModelica · Aug 3, 2017 · d96fb12 · d96fb12
1 parent d28b974
commit d96fb12
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 0 deletions.
diff --git a/flattening/modelica/connectors/Makefile b/flattening/modelica/connectors/Makefile
@@ -60,6 +60,7 @@ TankPI.mo \
 TankPID.mo \
 TanksConnectedPI.mo \
 Ticket4062.mo \
+TypeConnector.mo \
 Units2.mo \
 ZeroDimUnconnectedFlow1.mo \
 ZeroDimUnconnectedFlow2.mo \

diff --git a/flattening/modelica/connectors/TypeConnector.mo b/flattening/modelica/connectors/TypeConnector.mo
@@ -0,0 +1,16 @@
+// status: correct
+// See ticket:4471
+
+model TypeConnector
+  type T
+    extends String;
+  end T;
+  connector C = output T;
+  C c;
+end TypeConnector;
+
+// Result:
+// class TypeConnector
+//   output String c;
+// end TypeConnector;
+// endResult