Ignore:
Timestamp:
May 28, 2013, 10:08:40 PM (6 years ago)
Author:
shermer
Message:

Work towards a typechecker:
Added signatures for the PabloSBuiltins.
Made a StreamType? factory that dispenses pre-made instances depending on fieldWidth.
Changed grammar to use said factory and to allow no qualifed names with more than two identifiers.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • proto/pabloj/trunk/input/grammar/scatter/pabloS.scatter

    r3192 r3211  
    139139        integerConstant                 ->      INTEGER_CONST {@value = @@value;} ;
    140140        stringConstant                  ->      STRING | SQ_STRING ;   
    141         compoundIdentifier              #-> identifier (DOT^ identifier)*;
     141        compoundIdentifier              #-> identifier (DOT^ identifier)?;
    142142        identifier                              ->      IDENTIFIER ;
    143143    funcCallRest                        ->      LROUND^ funcCallArgList RROUND ;
     
    156156
    157157        streamType                      ->              STREAM fieldWidthSpecifier! {   @fieldWidth = @:value;
    158                                                                                                                                 @type = {{ new StreamType(%?) }} , @fieldWidth ;
     158                                                                                                                                @type = {{ StreamType.STREAM(%?) }} , @fieldWidth ;
    159159                                                                                                                } ;
    160160                                       
Note: See TracChangeset for help on using the changeset viewer.