Opened 11 years ago

Last modified 9 years ago

#2377 new defect

Not returning in function with tuple output causes error in bootstrapped compiler

Reported by: Per Östlund Owned by: Martin Sjölund
Priority: low Milestone: Future
Component: MetaModelica Version: trunk
Keywords: Cc:

Description

The following function causes an error ("Invalid pattern: (outString1,outString2) of type #NORETCALL#") in the bootstrapped compiler:

function test
  input String inString;
  output String outString1;
  output String outString2;
algorithm
  (outString1, outString2) := matchcontinue(inString)
    case (_) then fail();
    else then fail();
  end matchcontinue;
end test;

Change History (2)

comment:1 by Martin Sjölund, 10 years ago

Milestone: Bootstrapping

Unsetting milestone since bootstrapping is already finished.

comment:2 by Dietmar Winkler, 9 years ago

Milestone: → Future
Note: See TracTickets for help on using tickets.