Changeset c8bb2af in OpenModelica

Timestamp:

2010-11-24T08:50:34+01:00 (14 years ago)

Author:

Adrian Pop <adrian.pop@…>

Branches:

Added-citation-metadata, maintenance/v1.14, maintenance/v1.15, maintenance/v1.16, maintenance/v1.17, maintenance/v1.18, maintenance/v1.19, maintenance/v1.20, maintenance/v1.21, maintenance/v1.22, maintenance/v1.23, master, omlib-staging

Children:

d39eb19

Parents:

41286c7

Message:

Fixes for bug: #1315

• manually ported from: ​https://openmodelica.ida.liu.se/svn/OpenModelica/branches/OpenModelica-1.5.1-Maintenance
• fixes for bug 1315
• relaxed typing if checkModel is ON: TypeName should be ok to match a TypeName[0]
• added tests for: Modelica.Mechanics.MultiBody.Visualizers.Internal.Lines in testsuite/libraries/msl31/Modelica.Mechanics.MultiBody.mos
• added more tests for zero dims in testsuite/mosfiles-nosim/ZeroDims.mos

git-svn-id: ​https://openmodelica.org/svn/OpenModelica/trunk@7162 f25d12d1-65f4-0310-ae8a-bbce733d8d8e

File:

• Compiler/Types.mo (modified) (1 diff)

Compiler/Types.mo

@@ -1530 +1530 @@
         true;
     
+    // adrpo, Type should be ok to match a Type[0] when checkModel is ON
+    case (t1, (DAE.T_ARRAY(arrayDim = DAE.DIM_INTEGER(0), arrayType = t2), _))
+      equation
+        true = OptManager.getOption("checkModel");
+        true = subtype(t1, t2);
+      then
+        true;
+    
+    // adrpo, Type[0] should be ok to match a Type when checkModel is ON 
+    case ((DAE.T_ARRAY(arrayDim = DAE.DIM_INTEGER(0), arrayType = t1), _), t2)
+      equation
+        true = OptManager.getOption("checkModel");
+        true = subtype(t1, t2);
+      then
+        true;    
+    
     // Array
     case ((DAE.T_ARRAY(arrayDim = dim1,arrayType = t1),_),(DAE.T_ARRAY(arrayDim = dim2,arrayType = t2),_))