Archives of the Caml mailing list > Message from Marcin 'Qrczak' Kowalczyk

Browse thread

Object typing

Matthew O'Connor
- Pietro Abate
  - Matthew O'Connor
- Stephane Glondu
- Christophe TROESTLER
  - Matthew O'Connor
  - Remi Vanicat
    - Jacques Garrigue
      - Marcin 'Qrczak' Kowalczyk

Date:	-- (:)
From:	Marcin 'Qrczak' Kowalczyk <qrczak@k...>
Subject:	Re: [Caml-list] Object typing

Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> writes:

> After fixing this in CVS for 3.08.4, you get rightfully:
>   In this definition, a type variable has a variance that is not reflected
>   by its occurence in type parameters.

It's spelled "occurrence".

There are other "occurences" in OCaml sources.

-- 
   __("<         Marcin Kowalczyk
   \__/       qrczak@knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/