Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Equality of functional values
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-01-29 (21:05)
From: Simon Frost <sdfrost@u...>
Subject: Equality of functional values
Dear Caml List,

I'm trying to use a software package written in ocaml (IBAL), however,
it fails a test due to 'Fatal error: exception Invalid_argument("equal:
functional value"). It seems that equality isn't defined for functional
values in OCAML (although I'm not an expert), so I'm wondering what the
workaround is. This apparently worked fine in ocaml 3.04, but not in
later versions. I'm using ocaml 3.08.3, and I get this error message
both on Linux (SUSE 9.1 Profession, x86_64) and Windows XP (x86). Any
help would be greatly appreciated! I'd rather not have multiple versions
of ocaml floating around...

Best wishes
Simon D.W. Frost, D.Phil.
Assistant Adjunct Professor of Pathology
University of California, San Diego
Mailcode 8208
UCSD Antiviral Research Center
150 W. Washington St.
San Diego, CA 92103
Tel: +1 619 543 8898
Fax: +1 619 543 5094