From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id IAA19965 for caml-redistribution; Wed, 18 Sep 1996 08:59:17 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id UAA12823 for ; Tue, 17 Sep 1996 20:57:20 +0200 Received: from simon.cs.cornell.edu (SIMON.CS.CORNELL.EDU [128.84.154.10]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id UAA00822 for ; Tue, 17 Sep 1996 20:57:19 +0200 (MET DST) Received: from cloyd.cs.cornell.edu (CLOYD.CS.CORNELL.EDU [128.84.227.15]) by simon.cs.cornell.edu (8.7.5/8.7.3/R-1.2) with ESMTP id OAA02312 for ; Tue, 17 Sep 1996 14:57:18 -0400 (EDT) Received: from earth.cs.cornell.edu (EARTH.CS.CORNELL.EDU [128.84.254.178]) by cloyd.cs.cornell.edu (8.7.5/8.7.3/M-1.3) with ESMTP id OAA23302 for ; Tue, 17 Sep 1996 14:57:17 -0400 (EDT) Received: (from zdance@localhost) by earth.cs.cornell.edu (8.7.5/8.7.3/C-1.1) id OAA04386; Tue, 17 Sep 1996 14:57:13 -0400 (EDT) Message-Id: <199609171857.OAA04386@earth.cs.cornell.edu> To: caml-list@pauillac.inria.fr Subject: Caml Parsing Date: Tue, 17 Sep 1996 14:57:12 -0400 From: Stephan Zdancewic Sender: weis 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