<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">

<HTML>

<HEAD>

  <META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">

  <META NAME="GENERATOR" CONTENT="GtkHTML/1.0.1">

</HEAD>

<BODY>

<BR>

Dear all,

<BR>

<BR>

does anyone know of any examples where type-identity (or inequality), as opposed to token-identity, plays a role in syntax?

<BR>

<BR>

Thanks a lot for your replies.

<BR>

<BR>

Berthold

<BR>

<BR>

<BR>

<BR>

</BODY>

</HTML>