Original bug ID: 6931 Reporter:@lpw25 Assigned to:@garrigue Status: closed (set by @xavierleroy on 2017-02-16T14:14:57Z) Resolution: fixed Priority: normal Severity: minor Version: 4.02.2 Target version: 4.03.0+dev / +beta1 Fixed in version: 4.03.0+dev / +beta1 Category: typing Monitored by:@gasche
Bug description
The following code:
type foo = Foo
type bar = { x : foo; y : int }
let b = { x = Fod; y = 5 }
generates the error message:
Characters 14-17:
let b = { x = Fod; y = 5 };;
^^^
Error: This record expression is expected to have type bar
The constructor Fod does not belong to type foo
Hint: Did you mean Foo?
but it should instead be:
Characters 14-17:
let b = { x = Fod; y = 5 };;
^^^
Error: This expression is expected to have type foo
The constructor Fod does not belong to type foo
Hint: Did you mean Foo?
The text was updated successfully, but these errors were encountered:
Original bug ID: 6931
Reporter: @lpw25
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2017-02-16T14:14:57Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 4.02.2
Target version: 4.03.0+dev / +beta1
Fixed in version: 4.03.0+dev / +beta1
Category: typing
Monitored by: @gasche
Bug description
The following code:
type foo = Foo
type bar = { x : foo; y : int }
let b = { x = Fod; y = 5 }
generates the error message:
Characters 14-17:
let b = { x = Fod; y = 5 };;
^^^
Error: This record expression is expected to have type bar
The constructor Fod does not belong to type foo
Hint: Did you mean Foo?
but it should instead be:
Characters 14-17:
let b = { x = Fod; y = 5 };;
^^^
Error: This expression is expected to have type foo
The constructor Fod does not belong to type foo
Hint: Did you mean Foo?
The text was updated successfully, but these errors were encountered: