steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

effect-variable -> row-variable

db4
Joe Groff 2010-03-11 01:25:13 -08:00
parent 977f8e1d2c
commit 8b1b7b20d5
2 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
core/effects/effects-tests.factor
View File

@ -38,7 +38,7 @@ IN: effects.tests
[ { "e" } ] [ (( ..a b c -- ..d e )) out>> ] unit-test
[ "(( a ..b c -- d ))" eval( -- effect ) ]
[ error>> invalid-effect-variable? ] must-fail-with
[ error>> invalid-row-variable? ] must-fail-with
[ "(( ..a: integer b c -- d ))" eval( -- effect ) ]
[ error>> effect-variable-can't-have-type? ] must-fail-with
[ error>> row-variable-can't-have-type? ] must-fail-with

12
core/effects/parser/parser.factor
View File

@ -7,8 +7,8 @@ IN: effects.parser
DEFER: parse-effect
ERROR: bad-effect ;
ERROR: invalid-effect-variable ;
ERROR: effect-variable-can't-have-type ;
ERROR: invalid-row-variable ;
ERROR: row-variable-can't-have-type ;
ERROR: stack-effect-omits-dashes ;
SYMBOL: effect-var
@ -17,12 +17,12 @@ SYMBOL: effect-var
: end-token? ( end token -- token ? ) [ nip ] [ = ] 2bi ; inline
: effect-opener? ( token -- token ? ) dup { f "(" "((" "--" } member? ; inline
: effect-closer? ( token -- token ? ) dup { ")" "))" } member? ; inline
: effect-variable? ( token -- token' ? ) ".." ?head ; inline
: row-variable? ( token -- token' ? ) ".." ?head ; inline
: parse-effect-var ( first? var name -- var )
nip
[ ":" ?tail [ effect-variable-can't-have-type ] when ] curry
[ invalid-effect-variable ] if ;
[ ":" ?tail [ row-variable-can't-have-type ] when ] curry
[ invalid-row-variable ] if ;
: parse-effect-value ( token -- value )
":" ?tail [
@ -39,7 +39,7 @@ PRIVATE>
{ [ end-token? ] [ drop nip f ] }
{ [ effect-opener? ] [ bad-effect ] }
{ [ effect-closer? ] [ stack-effect-omits-dashes ] }
{ [ effect-variable? ] [ parse-effect-var t ] }
{ [ row-variable? ] [ parse-effect-var t ] }
[ [ drop ] 2dip parse-effect-value , t ]
} cond ;