Version française
Home     About     Download     Resources     Contact us    
Browse thread
Caml Parsing
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Stephan Zdancewic <zdance@c...>
Subject: Caml Parsing

Hello!
	I'm trying to use the SML version of yacc to write a parser
for Objective Caml, but I've run into problems because of some
differences in SML-yacc and Caml-yacc.  More precisely, Caml-yacc
allows you to specify precedence and associativity for non-terminals
in the grammar, while SML-yacc will let you do this only for
terminals.  Since the Caml-yacc grammar for OCaml makes extensive use
of this feature, I need a way of getting the same behavior in
SML-yacc.
	If anyone knows of a way around this, I'd be very greatful
for the information. Alternatively, does there exist a specification
of the OCaml grammar that doesn't rely on these precedence 
levels/associativities?  Or, better yet, has anyone already written
an OCaml parser for SML?

Thanks,
Steve Zdancewic
zdance@cs.cornell.edu