0003206: match on booleans

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0003206

OCaml

OCaml general

public

2004-10-09 00:04

2004-11-02 11:51

Reporter

administrator

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0003206: match on booleans

Description

Full_Name: David Monniaux
Version: 3.09+dev0
OS: Linux/AMD64
Submission from: massena-8-82-225-77-14.fbx.proxad.net (82.225.77.14)

let foo2 hl hr =
  match ( >= ) hl (hr + 2) with
  | true -> print_endline "miaou2"
  | false -> print_endline "coincoin2";;

generates slightly less good code than:

let foo1 hl hr =
  if hl >= hr + 2
  then
    print_endline "miaou1"
  else
    print_endline "coincoin1";;

(This is for Coq extractions.)

Issue History
Date Modified	Username	Field	Change
2005-11-18 10:13	administrator	New Issue

Relationships

Notes
There are no notes attached to this issue.