Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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 foo.ml"
> 
> 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.


[Snip]
> 
> 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
> mgushee@havenrock.com           its fields;
> http://www.havenrock.com/   When a nation ignores the Way,
>                             Horses bear soldiers through
>                                 its streets.
>                                 

--Luc
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners