New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Polymorphic Variant generates comiler exception #2448
Comments
Comment author: administrator
Well, the current definition is a bit ambiguous about what is valid or not.
is explicitly described as valid, while it is of course meaningless. The bug you report could be solved in two ways:
I think that the second solution is better, and I have implemented it However this gives raise to some philosophical questions about what are the
|
Comment author: administrator Fixed on 2000-05-12 by Jacques (changed typing of variants in patterns, to allow |
* Restrict typing-layouts-err-msg/probe.ml to amd64 * Restrict unboxed-primitive-args test to amd64
Original bug ID: 109
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: David Clarke
Version: 3.00
OS: SunOS
Submission from: cache2.uwn.unsw.edu.au (129.94.6.29)
The following code (which is invalid):
let f x = match x with
spam 3 -> 29 |
spam "spat" -> 23;;causes the compiler to halt and generate the following error message:
Uncaught exception: File "typing/parmatch.ml", line 0, characters 16649-16661:
Assertion failed
The text was updated successfully, but these errors were encountered: