diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2000-02-10 14:04:59 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2000-02-10 14:04:59 +0000 |
| commit | 9e206909f48d5d2579b6ec17764d3273df23ff08 (patch) | |
| tree | 3319a3e0c3383ed812f781859aadffd7f1462fdf /byterun/compare.c | |
| parent | 7175ab048dcaaa39649ebc386ae37750baaf27e1 (diff) | |
Introduction des blocs de type Custom.
Remplacement des blocs de type Final par des blocs de type Custom.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2804 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/compare.c')
| -rw-r--r-- | byterun/compare.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/byterun/compare.c b/byterun/compare.c index 7a5cb7b6c..a75e37e1f 100644 --- a/byterun/compare.c +++ b/byterun/compare.c @@ -12,6 +12,7 @@ /* $Id$ */ +#include "custom.h" #include "fail.h" #include "memory.h" #include "misc.h" @@ -74,13 +75,14 @@ static long compare_val(value v1, value v2) return 0; } case Abstract_tag: - case Final_tag: invalid_argument("equal: abstract value"); case Closure_tag: case Infix_tag: invalid_argument("equal: functional value"); case Object_tag: return (Oid_val(v1) - Oid_val(v2)); + case Custom_tag: + return Custom_ops_val(v1)->compare(v1, v2); default: { mlsize_t sz1 = Wosize_val(v1); mlsize_t sz2 = Wosize_val(v2); |