[comp.lang.functional] ML yacc help needed

dinesh@cadfx.ccad.uiowa.edu (T.B. Dinesh) (06/27/90)

I am new to ML and am trying to use mlyacc.
The parse(<filename>), in my case returns a tree of
type ?.program, where as my semantic function that
uses this parse tree is defined over the type program.

Is there a simple way to tell ML that ?.program and program
are same types OR is there a simple way to write a coerse 
function to do this ?

Thanks for any help, since the examples provided by ML.56
of New Jersey does not have any that even generate the parse tree.
It seems that these examples were written for a C yacc user,
than a new yacc user, who wants to try ML yacc!!

-dinesh					dinesh@cadfx.ccad.uiowa.edu