Opened 12 years ago

Closed 12 years ago

#112 closed defect (fixed)

silent crash if constant is used as a variable

Reported by: magne Owned by: Anya Helene Bagge
Priority: high Milestone: m12.10
Component: magnolia-eclipse Version:
Keywords: Cc:
Blocked By: Blocking:

Description

The following is a snippet of a situation that caused a silent crash of the compiler.

concept a = {

type A; function f() : A; function g() : A; axiom ax() {

assert f == g();

}

}

Change History (1)

comment:1 by Anya Helene Bagge, 12 years ago

Resolution: → fixed
Status: new → closed

Seems to be fixed.

Note: See TracTickets for help on using tickets.