Archives of the Caml mailing list > Message from Eric C. Cooper

Browse thread

[Caml-list] failwith, raise and type inference

Paul Guyot
- Frederic van der Plancke
  - Paul Guyot
- Correnson_Loïc
- Nicolas Cannasse
- Luc Maranget
  - Zeno Lee
  - Pierre Weis
    - Ker Lutyn
      - Jacques Garrigue
        
        Issac Trotts
        
        skaller
      - Christophe TROESTLER
        
        skaller
        
        Eric C. Cooper
        
        Christophe TROESTLER
        
        Xavier Leroy
        
        skaller

Date:	-- (:)
From:	Eric C. Cooper <ecc@c...>
Subject:	Re: [Caml-list] failwith, raise and type inference

On Tue, Apr 06, 2004 at 05:05:44PM +1000, skaller wrote:
> I'm not sure there *are* any 'usual' rules in maths.

Yes, traditional math notation needs human disambiguation:
consider sin^2 (x) versus sin^{-1} (x)

I don't think we want to require AI in the ocaml parser ...

-- 
Eric C. Cooper          e c c @ c m u . e d u

-------------------
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