adamc@1: (* Copyright (c) 2008, Adam Chlipala
adamc@1:  * All rights reserved.
adamc@1:  *
adamc@1:  * Redistribution and use in source and binary forms, with or without
adamc@1:  * modification, are permitted provided that the following conditions are met:
adamc@1:  *
adamc@1:  * - Redistributions of source code must retain the above copyright notice,
adamc@1:  *   this list of conditions and the following disclaimer.
adamc@1:  * - Redistributions in binary form must reproduce the above copyright notice,
adamc@1:  *   this list of conditions and the following disclaimer in the documentation
adamc@1:  *   and/or other materials provided with the distribution.
adamc@1:  * - The names of contributors may not be used to endorse or promote products
adamc@1:  *   derived from this software without specific prior written permission.
adamc@1:  *
adamc@1:  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
adamc@1:  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
adamc@1:  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
adamc@1:  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
adamc@1:  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 
adamc@1:  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
adamc@1:  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
adamc@1:  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
adamc@1:  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
adamc@1:  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
adamc@1:  * POSSIBILITY OF SUCH DAMAGE.
adamc@1:  *)
adamc@1: 
adamc@1: (* Grammar for Laconic/Web programs *)
adamc@1: 
adamc@4: open Source
adamc@1: 
adamc@1: val s = ErrorMsg.spanOf
adamc@1: 
adamc@1: %%
adamc@1: %header (functor LacwebLrValsFn(structure Token : TOKEN))
adamc@1: 
adamc@1: %term 
adamc@1:    EOF
adamc@1:  | SYMBOL of string | CSYMBOL of string
adamc@1:  | LPAREN | RPAREN | LBRACK | RBRACK | LBRACE | RBRACE
adamc@1:  | EQ | COMMA | COLON | DCOLON | TCOLON | DOT | HASH
adamc@1:  | CON | TYPE | NAME
adamc@1:  | ARROW | LARROW | DARROW
adamc@1:  | FN | PLUSPLUS | DOLLAR
adamc@1: 
adamc@1: %nonterm 
adamc@1:    file of decl list
adamc@1:  | decls of decl list
adamc@1:  | decl of decl
adamc@1: 
adamc@1:  | kind of kind
adamc@1:  | kcolon of explicitness
adamc@1: 
adamc@1:  | cexp of con
adamc@1:  | capps of con
adamc@1:  | cterm of con
adamc@1:  | ident of con
adamc@1:  | rcon of (con * con) list
adamc@1:  | rcone of (con * con) list
adamc@1: 
adamc@1: %verbose                                (* print summary of errors *)
adamc@1: %pos int                                (* positions *)
adamc@1: %start file
adamc@1: %pure
adamc@1: %eop EOF
adamc@1: %noshift EOF
adamc@1: 
adamc@1: %name Lacweb
adamc@1: 
adamc@1: %nonassoc DARROW
adamc@1: %nonassoc COLON
adamc@1: %right COMMA
adamc@1: %right ARROW LARROW
adamc@1: %right PLUSPLUS
adamc@1: %nonassoc DOLLAR
adamc@1: %left DOT
adamc@1: 
adamc@1: %%
adamc@1: 
adamc@1: file   : decls                          (decls)
adamc@1: 
adamc@1: decls  :                                ([])
adamc@1:        | decl decls                     (decl :: decls)
adamc@1: 
adamc@1: decl   : CON SYMBOL EQ cexp             (DCon (SYMBOL, NONE, cexp), s (CONleft, cexpright))
adamc@1:        | CON SYMBOL DCOLON kind EQ cexp (DCon (SYMBOL, SOME kind, cexp), s (CONleft, cexpright))
adamc@1: 
adamc@1: kind   : TYPE                           (KType, s (TYPEleft, TYPEright))
adamc@1:        | NAME                           (KName, s (NAMEleft, NAMEright))
adamc@1:        | LBRACE kind RBRACE             (KRecord kind, s (LBRACEleft, RBRACEright))
adamc@1:        | kind ARROW kind                (KArrow (kind1, kind2), s (kind1left, kind2right))
adamc@1:        | LPAREN kind RPAREN             (#1 kind, s (LPARENleft, RPARENright))
adamc@1: 
adamc@1: capps  : cterm                          (cterm)
adamc@1:        | capps cterm                    (CApp (capps, cterm), s (cappsleft, ctermright))
adamc@1: 
adamc@1: cexp   : capps                          (capps)
adamc@1:        | cexp ARROW cexp                (TFun (cexp1, cexp2), s (cexp1left, cexp2right))
adamc@1:        | SYMBOL kcolon kind ARROW cexp (TCFun (kcolon, SYMBOL, kind, cexp), s (SYMBOLleft, cexpright))
adamc@1: 
adamc@1:        | cexp PLUSPLUS cexp             (CConcat (cexp1, cexp2), s (cexp1left, cexp1right))
adamc@1: 
adamc@1:        | FN SYMBOL kcolon kind DARROW cexp (CAbs (kcolon, SYMBOL, kind, cexp), s (FNleft, cexpright))
adamc@1: 
adamc@1: kcolon : DCOLON                         (Explicit)
adamc@1:        | TCOLON                         (Implicit)
adamc@1: 
adamc@1: cterm  : LPAREN cexp RPAREN             (#1 cexp, s (LPARENleft, RPARENright))
adamc@1:        | LBRACK rcon RBRACK             (CRecord rcon, s (LBRACKleft, RBRACKright))
adamc@1:        | LBRACE rcone RBRACE            (TRecord (CRecord rcone, s (LBRACEleft, RBRACEright)),
adamc@1: 					 s (LBRACEleft, RBRACEright))
adamc@1:        | DOLLAR cterm                   (TRecord cterm, s (DOLLARleft, ctermright))
adamc@1:        | HASH CSYMBOL                   (CName CSYMBOL, s (HASHleft, CSYMBOLright))
adamc@1: 
adamc@1:        | SYMBOL                         (CVar SYMBOL, s (SYMBOLleft, SYMBOLright))
adamc@1: 
adamc@1: rcon   :                                ([])
adamc@1:        | ident EQ cexp                  ([(ident, cexp)])
adamc@1:        | ident EQ cexp COMMA rcon       ((ident, cexp) :: rcon)
adamc@1: 
adamc@1: rcone  :                                ([])
adamc@1:        | ident COLON cexp               ([(ident, cexp)])
adamc@1:        | ident COLON cexp COMMA rcone   ((ident, cexp) :: rcone)
adamc@1: 
adamc@1: ident  : CSYMBOL                        (CName CSYMBOL, s (CSYMBOLleft, CSYMBOLright))
adamc@1:        | SYMBOL                         (CVar SYMBOL, s (SYMBOLleft, SYMBOLright))