AnyDSL/impala

Intrinsic for undef values

Closed this issue · 1 comments

It would be useful to have a (polymorphic) intrinsic to create bottom values. Something in the lines of:

extern "thorin" {
  fn undef[T]() -> T;
}

Fixed in commit 21eebbb.