Closed hanm closed 11 years ago
The regression is seemingly introduced by commit e466d2d2e6b0ca88417582f181190df0d4fe4fcd Adding support for typechecking function parameters that have parametric region arguments.
Yikes! Thanks! Fixed in commit 9e014510fa2ef9edec4781af98aef80a14874dda
The regression is seemingly introduced by commit e466d2d2e6b0ca88417582f181190df0d4fe4fcd Adding support for typechecking function parameters that have parametric region arguments.