Archives of the Caml mailing list > Message from skaller

Browse thread

Why doesn't ocamlopt detect a missing ; after failwith statement?

Richard Jones
- Nicolas Cannasse
  - skaller
    - Jacques Garrigue
      - skaller
        
        Jacques Garrigue
        
        Nicolas Cannasse
        
        Jacques Garrigue
        
        Alain Frisch
        
        Michal Moskal
        
        Damien Doligez
        
        Jacques Garrigue
        
        Frederic van der Plancke
        
        Jacques Garrigue
        
        Frederic van der Plancke
        
        Hendrik Tews
        
        skaller
        
        Jacques Garrigue
        
        Marcin 'Qrczak' Kowalczyk
      - skaller
    - Brian Hurt
  - Richard Jones
    - skaller
    - Ville-Pertti Keinonen

Date:	-- (:)
From:	skaller <skaller@u...>
Subject:	Re: [Caml-list] Why doesn't ocamlopt detect a missing ; after failwith statement?

On Fri, 2004-11-26 at 11:44, Jacques Garrigue wrote:

> But by definition 'a unifies with everything, including your void
> type, or you get a noncommutative notion of unification...

Can you give an example? I presume you mean that 
the invariant U(t1,t2) == U(t2,t1) would break?

[I actually don't implement that constraint in Felix,
but it uses extensional polymorphism]

-- 
John Skaller, mailto:skaller@users.sf.net
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net