Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: Bug in equality testing?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Xavier Leroy <xavier@T...>
Subject: Re: Bug in equality testing?
> I've come across the following, which unless I am being stupid
> looks like a bug.

Yes, this is described as bug (1) in the file KNOWN-BUGS in the 0.6
distribution.

A simple workaround is to change the definition of the DEST function:
instead of

 let DEST = 
   fun (App p) -> p 
     | (Var _) -> failwith "DEST";;

write

 let DEST = 
   fun (App(x,y)) -> (x,y)
     | (Var _) -> failwith "DEST";;

Regards,

- Xavier Leroy