Archives of the Caml mailing list > Message from Christophe TROESTLER

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:	Christophe TROESTLER <debian00@t...>
Subject:	Re: [Caml-list] failwith, raise and type inference

On 06 Apr 2004, skaller <skaller@users.sourceforge.net> wrote:
> 
> On Tue, 2004-04-06 at 11:15, Christophe TROESTLER wrote:
> 
> > -. 3.**2.
> > 
> > returns 9. while in math -x^2 means -(x^2) and not (-x)^2 !
>
> I'm not sure there *are* any 'usual' rules in maths.

Well -x^2 as meaning -(x^2) *is* a usual rule -- no mathematician will
ever understand  it as (-x)^2.   Still my question remains  as whether
the above is intended by the  OCaml developpers or is just a case that
"slipped through" (and an oddity that has bitten me once).

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