| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Ambiguous pattern variables
Abstract : The or-pattern (p | q) matches a value v if either p or q match v. It may happen that both p and q match certain values, but that they don’t bind their variables at the same places. OCaml specifies that the left pattern p then takes precedence, but users intuitively expect an angelistic, making the “best” choice. Subtle bugs arise from this mismatch. We here describe a technique based upon pattern matrices that detect such ambiguities. This technique is implemented as a new warning in the OCaml compiler.
https://hal.inria.fr/hal-01413241
Contributor : Luc Maranget <>
Submitted on : Friday, December 9, 2016 - 3:20:54 PM
Last modification on : Thursday, January 7, 2021 - 3:36:01 PM
Long-term archiving on: : Thursday, March 23, 2017 - 10:24:16 AM
Contributor : Luc Maranget <>
Submitted on : Friday, December 9, 2016 - 3:20:54 PM
Last modification on : Thursday, January 7, 2021 - 3:36:01 PM
Long-term archiving on: : Thursday, March 23, 2017 - 10:24:16 AM
File
ml-workshop-abstract.pdf
Files produced by the author(s)