[MLton] modifying flatten.fun to always flatten

Lukasz S Ziarek lziarek@cs.purdue.edu
Tue, 20 Jan 2004 10:32:54 -0500 (EST)

On Tue, 20 Jan 2004, Matthew Fluet wrote:

> > I ran into acouple problems adopting the first approach, so I have
> > implimented the second approach. It seems to be doing what I need it to do
> > and the compiler fixpoints. I would like to know if there is a way to
> > print the ssa tree to a file before and after the flatten pass. Bassically
> > I just want to double check I am correctly flattening all tupples.
> -keep-pass flatten  will leave you with z.flatten.pre.ssa and
> z.flatten.post.ssa.  The argument to -keep-pass is actually a regular
> expression (useful for the passes that are run more than once).  Compiling
> with  -show-types true  will probably also be useful to you; you'll be
> able to search for * types in the post.ssa.

I add these arguments to the flags in the Makefile, correct? Do you
offhand know where the default location for the generated files will be?
/build/bin? I did not realize -type-check true generated a file.

thank you!


> _______________________________________________
> MLton mailing list
> MLton@mlton.org
> http://www.mlton.org/mailman/listinfo/mlton