0003748: "equal: functional value" should issue a warning

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0003748

OCaml

OCaml general

public

2005-08-05 21:06

2005-08-10 18:53

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

0003748: "equal: functional value" should issue a warning

Description

Full_Name: Henri
Version: 3.08.2
OS: linux
Submission from: aorleans-104-1-15-86.w80-11.abo.wanadoo.fr (80.11.35.86)

Equality is not defined for functional values, but, in the following code:

let _ =
  let f x = x in
  let g x = x in
  exit (if f = g then 1 else 2)

seamaster% ocamlopt -o test test.ml
seamaster% ./test
Fatal error: exception Invalid_argument("equal: functional value")

The compiler should know that the type of f (and g) is arrow and should at least
issue a warning or even an error, instead of compiling silently and raising an
Invalid_argument at runtime.

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.