Closed
Description
You heard it here first:
// -*- rust -*-
type clam[T] = tag(clammy(T), nun());
fn notmain[T](clam[T] c) {
alt (c) {
case (clammy[T](x)) {}
case (_) {
/* Remove the log statement below and watch the segfault go away.
* Alternatively, log an int instead of a string (e.g. |log 2|) */
log "foo";
}
}
}
fn main() {
let clam[int] c = nun[int]();
notmain[int](c);
}
Made a number of unsuccessful attempts at simplifying the test-case. Further investigations and test-case reduction clearly needed.
Metadata
Metadata
Assignees
Labels
No labels