diff --git a/compiler/2014/LabComm.ast b/compiler/2014/LabComm.ast index a89b9c6f36c1d8a1cd44616971210761fb57f5af..361ca89114016cb294fb99293790d9c371fc797a 100644 --- a/compiler/2014/LabComm.ast +++ b/compiler/2014/LabComm.ast @@ -2,6 +2,13 @@ Specification ::= Decl*; abstract Decl ::= TypeInstance /Signature/; +TypeInstance ::= DataType <Name:String> Annotation*; + +Annotation ::= <Key:String> <Value:String>; + +Intention : Annotation; +DocString : Annotation; + TypeDecl : Decl; SampleDecl : Decl; @@ -17,13 +24,6 @@ IntSignatureLine : DataSignatureLine ::= <Data:int>; StringSignatureLine : DataSignatureLine ::= <Data:String>; TypeRefSignatureLine : SignatureLine ::= Decl; -Annotation ::= <Key:String> <Value:String>; - -Intention : Annotation; -DocString : Annotation; - -TypeInstance ::= DataType <Name:String> Annotation*; - Field : TypeInstance; abstract DataType;