Opened 18 years ago

Last modified 14 years ago

#104 closed defect (fixed)

Bug in Env.cacheGetEnv3?

Reported by: gunnar.andersson Owned by: gunnar.andersson
Priority: critical Milestone:
Component: Instantiation Version: 1.4.0
Keywords: Cc: gunnar.andersson, Adrian Pop

Description

.

Change History (5)

comment:1 by gunnar.andersson, 18 years ago

The test "matchcontinue(path,tree)" seems very strange to me. There is no input
or function called tree, so I am surprised that this ever compiled in the first
place. "tree" should probably be replaced with "children".

protected function cacheGetEnv3 "Help function to cacheGetEnv2, searches down
in tree for env."

input Absyn.Path path;
input list<CacheTree> children;
output Env env;

algorithm

env := matchcontinue(path,tree)
...

comment:2 by Peter Aronsson, 18 years ago

This is of course wrong, and the MetaModelica compiler should complain about it.
I reassign the bug to adrian, which is the expert on the MetaModelica compiler.

comment:3 by Adrian Pop, 18 years ago

In matchontinue (variables), the variables are not yet checked.
The variables in the case are right now matched directly against
"input" components in the function.

I have a fix for this comming up in the next OMDev and RML+MMC release.
Of course, this will break some code in the OpenModelica compiler, but
I will fix those (mostly copy-paste errors) myself.

Regards,
Adrian Pop/

comment:4 by Adrian Pop, 18 years ago

* Bug 76 has been marked as a duplicate of this bug. *

comment:5 by Martin Sjölund, 14 years ago

This was fixed in RML (outputs still are not though)

Note: See TracTickets for help on using tickets.