(* diderot.grm
 *
 * COPYRIGHT (c) 2010 The Diderot Project (http://diderot.cs.uchicago.edu)
 * All rights reserved.
 *)

%name Diderot;

%tokens
  : KW_actor		("actor")
  | KW_field		("field")
  | KW_image		("image")
  | OP_plus		("+")
  | OP_minus		("-")
  | OP_star		("*")
  | OP_at		("@")
  | LP			("(")
  | RP			(")")
  | LB			("[")
  | RB			("]")
  | LCB			("{")
  | RCB			("}")
  | INT of IntInf.int
  | FLOAT of FloatLit.float
  | STRING of string
  ;

File
	: Decl+
	;

Decl
	: ImageDecl
	| ValueDecl
	| FunDecl
	| ActorDecl
	;

ImageDecl
	: "image" ID ";"
	;