Archives of the Caml mailing list > Message from Chris Hecker

Browse thread

[Caml-list] How can I check for the use of polymorphic equality?

Neel Krishnaswami
- Jason Hickey
  - Pierre Weis
    - Chris Hecker
      - Pierre Weis
        
        Jason Hickey
      - Andreas Rossberg
- brogoff@s...

Date:	-- (:)
From:	Chris Hecker <checker@d...>
Subject:	Re: [Caml-list] How can I check for the use of polymorphic equality?


>You probably will catch every reasonable usage of ( = ) that way...
>Simple, no ?

But that a) requires you to put it in scope at the top of each file, and 
more importantly b) means you can't use = anywhere, doesn't it?  That seems 
kinda strong for the very specific check, and the abstract type thing 
(which was going to be my suggestion as well, but I forgot you could do it 
with Obj all in caml!) is both localized and only catches the ones you care 
about.

Chris

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners