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
Re: [Caml-list] Guards vs. conditionals
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-12-27 (09:15)
From: Luc Maranget <luc.maranget@i...>
Subject: Re: [Caml-list] Guards vs. conditionals
> On Thu, Dec 26, 2002 at 09:55:09PM -0600, Gurr, David (MED, self) wrote:
> > try "ocamlc -dlambda"
> Wow. That outputs something that looks a lot like LISP. And -dlambda
> seems to be undocumented, at least in the man page and the HTML user's
> manual. What is it intended for?

Well, -d.... options show intermediate representations used by the
compiler. Lambda code is one of the earliest ones.
This is intented for debugging the compiler.

> I note that the output is identical except on the fourth line: i/59 vs.
> i/58 . What does that notation represent, by the way?

Internally, all variables are unique, they are characterized by
a name from the source (for readable output) and an integer.

> -- 
> Matt Gushee                 When a nation follows the Way,
> Englewood, Colorado, USA    Horses bear manure through
>           its fields;
>   When a nation ignores the Way,
>                             Horses bear soldiers through
>                                 its streets.

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: