Version française
Home     About     Download     Resources     Contact us    
Browse thread
possible to define a type where = is forbidden ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christian Lindig <lindig@c...>
Subject: Re: [Caml-list] possible to define a type where = is forbidden ?

On Oct 10, 2005, at 2:32 PM, yoann padioleau wrote:

> I am making a program analysis tool  and in my AST I had previously  
> tokens represented as strings,
> but now I want also to associate the line numbers of those strings.

I like to suggest a different technique that does not require to change  
the representation of all branches in an AST. You can find it in an  
earlier posting here:

http://caml.inria.fr/pub/ml-archives/caml-list/2003/09/ 
f81c8063ed4878e06f1ddd8010256050.en.html

The posting is part of a thread that also discusses some disadvantages.

-- Christian