Pattern match failure in pats_typerase_dynexp.dats

[shlevy]

With the following code:

fn foo (): void = let
  val buf_sz = i2sz(10)
  var buf = @[byte][buf_sz]()
in () end

I get:

exit(ATS): /home/shlevy/src/ATS-Postiats/src/pats_typerase_dynexp.dats: 18567(line=820, offs=9) -- 18619(line=820, offs=61): match failure.

If I replace the second buf_sz with a literal 10 it all works.

[githwxi]

Thanks for reporting it.

See: https://github.com/githwxi/ATS-Postiats/blob/master/doc/BUGS/bug-2015-04-15.dats

This bug is now fixed. Changes have been uploaded.

[shlevy]

🍺