type checker change in 0.27.0 - is this compiler error as intended? | The Gleam Programming Language | Page 1

slate dove Mar 4, 2023, 10:22 PM

#

pub type Model {
  Model(loc: String)
}

pub fn f(model: Model) {
  f2(model)
}

pub fn f2(model) {
  model.loc
}

v0.26 derives that arg model of f2 is a Model.
v0.27.0 does not know what type model is. Is this intended? If so, help me understand what type model can be, other than Model.

thorn river Mar 4, 2023, 10:23 PM

#

0.27 has the correct behaviour, the previous one was the result of a soundness bug in the type system

#

It had the side effect of making this code type check successfully, but it broke it in other scenarios

slate dove Mar 4, 2023, 10:29 PM

#

Is that because there could be another record with field loc? Something else about records that I miss?

#type checker change in 0.27.0 - is this compiler error as intended?