CIF ElimComponentDefInst crashes on via parameter reference ending with a component instantiation
The following CIF model crashes the `ElimComponentDefInst` CIF to CIF transformation (and the CIF type checker which invokes it as well): ``` automaton def A(): location: initial; end group def B(): a: A(); end group def C(B b): alg string x = <string>b.a; end b: B(); c: C(b); ``` Even after all the fixes of #39.
issue

Copyright © Eclipse Foundation AISBL. All rights reserved.     Privacy Policy | Terms of Use | Copyright Agent