search

gfngfn / Sesterl

An ML-like statically-typed Erlang
153 stars 5 forks source link

An unsoundness bug found #34

Closed gfngfn closed 3 years ago

gfngfn commented 3 years ago

It turned out that the following program unintentionally passes the type check by Sesterl v0.1.4:

module ErrorOption = struct

  val f(x) =
    x.foo

  val main(args) =
    f(42)

end