Version française
Home     About     Download     Resources     Contact us    
Browse thread
Object typing
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
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/