babchou

Hi,

Now I need this parser to be compiled with MLTON compiler :
I use a Makefile, containing the entry :

check_parser.grm.sml : check_parser.grm check_parser.lex
(echo "Generating the parser"; \
$(ML_YACC) check_parser.grm; \
$(ML_LEX) check_parser.lex); \
$(SML) fileParser.sml
where $(ML_YACC), $(ML_LEX) and $(SML) are respectively paths to ml-yacc,
ml-lex and sml binaries. Here is the compilation error I get :
"
fileParser.sml:2.5-2.58 Error: unbound functor: ParseCheckLrValsFun
fileParser.sml:2.43-2.57 Error: unbound structure: LrParser in path
LrParser.Token
fileParser.sml:5.5-5.65 Error: unbound functor: ParseCheckLexFun
fileParser.sml:8.1-10.32 Error: unbound functor: JoinWithArg
fileParser.sml:10.23-10.31 Error: unbound structure: LrParser
"
The directive "%name ParseCheck" is used in check_parser.grm. I succeeded
compiling this parser with SML/NJ. What is missing or wrong to compile it
with MLTON ?
If someone has an piece of answer it would help me a lot.

Thanks !

andrew d. hilton

I had a similar problem- I downloaded the ml-yacc source and added the
relevant files to my cm file (lib/base.sig, lib/stream.sml, lib/lrtable.sml,
lib/parser1.sml, lib/parser2.sml).

--
Andrew D. Hilton