You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 5075 Reporter: nobelius Status: closed (set by @garrigue on 2010-06-16T01:25:55Z) Resolution: fixed Priority: normal Severity: minor Version: 3.11.1 Fixed in version: 3.12.0+dev Category: ~DO NOT USE (was: OCaml general) Duplicate of:#4884
Bug description
When compiling with "ocamlc -c" the following code:
"type t = Some of int
let func ?(modifies=ref false) _ = ()"
the following error is obtained:
"File "test.ml", line 2, characters 20-29:
Error: This pattern matches values of type 'a option
but a pattern was expected which matches values of type t"
This is due to the fact that optional arguments "are actually implemented as option types". This could have been avoided if option type was defined in Pervasives but it is a built-in type.
The text was updated successfully, but these errors were encountered:
Original bug ID: 5075
Reporter: nobelius
Status: closed (set by @garrigue on 2010-06-16T01:25:55Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.11.1
Fixed in version: 3.12.0+dev
Category: ~DO NOT USE (was: OCaml general)
Duplicate of: #4884
Bug description
When compiling with "ocamlc -c" the following code:
"type t = Some of int
let func ?(modifies=ref false) _ = ()"
the following error is obtained:
"File "test.ml", line 2, characters 20-29:
Error: This pattern matches values of type 'a option
but a pattern was expected which matches values of type t"
This is due to the fact that optional arguments "are actually implemented as option types". This could have been avoided if option type was defined in Pervasives but it is a built-in type.
The text was updated successfully, but these errors were encountered: