Builtins.Wrong_Constructor3kaya
Tried to get a field from the wrong constructor
Usage
Builtins::Wrong_Constructor( )
Overview
This exception is thrown when direct projection of a field is used on a value constructed with a different constructor. It can always be avoided by the use of case statements.
-
data Example = A(Int a) | B(String b);
Void main() {
val = A(3);
putStrLn(val.b);
}
Releases
4 releases since Debian 5.0 (Lenny); the text changed 3 times.