Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 

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

-- Christian