[NF] Better handling of stateSelect.

- Evaluate stateSelect attributes so they can be converted to DAE.
- Fix bindings of StateSelect members in Builtin, they'd been
  mistakenly set as the components' conditional expressions.

Belonging to [master]:
  - #2042
  - OpenModelica/OpenModelica-testsuite#790

Author: perost

Compiler/NFFrontEnd/NFBuiltin.mo

@@ -233,8 +233,8 @@ constant InstNode STATESELECT_NEVER =
     Pointer.createImmutable(Component.TYPED_COMPONENT(
       InstNode.EMPTY_NODE(),
       STATESELECT_TYPE,
-      Binding.UNBOUND(),
       STATESELECT_NEVER_BINDING,
+      Binding.UNBOUND(),
       NFComponent.CONSTANT_ATTR,
       Absyn.dummyInfo)),
     0,
@@ -249,8 +249,8 @@ constant InstNode STATESELECT_AVOID =
     Pointer.createImmutable(Component.TYPED_COMPONENT(
       InstNode.EMPTY_NODE(),
       STATESELECT_TYPE,
-      Binding.UNBOUND(),
       STATESELECT_AVOID_BINDING,
+      Binding.UNBOUND(),
       NFComponent.CONSTANT_ATTR,
       Absyn.dummyInfo)),
     0,
@@ -265,8 +265,8 @@ constant InstNode STATESELECT_DEFAULT =
     Pointer.createImmutable(Component.TYPED_COMPONENT(
       InstNode.EMPTY_NODE(),
       STATESELECT_TYPE,
-      Binding.UNBOUND(),
       STATESELECT_DEFAULT_BINDING,
+      Binding.UNBOUND(),
       NFComponent.CONSTANT_ATTR,
       Absyn.dummyInfo)),
     0,
@@ -281,8 +281,8 @@ constant InstNode STATESELECT_PREFER =
     Pointer.createImmutable(Component.TYPED_COMPONENT(
       InstNode.EMPTY_NODE(),
       STATESELECT_TYPE,
-      Binding.UNBOUND(),
       STATESELECT_PREFER_BINDING,
+      Binding.UNBOUND(),
       NFComponent.CONSTANT_ATTR,
       Absyn.dummyInfo)),
     0,
@@ -297,8 +297,8 @@ constant InstNode STATESELECT_ALWAYS =
     Pointer.createImmutable(Component.TYPED_COMPONENT(
       InstNode.EMPTY_NODE(),
       STATESELECT_TYPE,
-      Binding.UNBOUND(),
       STATESELECT_ALWAYS_BINDING,
+      Binding.UNBOUND(),
       NFComponent.CONSTANT_ATTR,
       Absyn.dummyInfo)),
     0,

Compiler/NFFrontEnd/NFTyping.mo

@@ -530,6 +530,9 @@ algorithm
       Boolean dirty;
       String name;
 
+    // A component that's already been typed.
+    case Component.TYPED_COMPONENT(binding = Binding.TYPED_BINDING()) then ();
+
     case Component.TYPED_COMPONENT()
       algorithm
         name := InstNode.name(component);
@@ -704,6 +707,7 @@ algorithm
 
         binding := match name
           case "fixed" then evalBinding(binding);
+          case "stateSelect" then evalBinding(binding);
           else binding;
         end match;