]> gitweb.factorcode.org Git - factor.git/commit
peg: replace uses of digits>integer with string>number.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 20 Jul 2015 01:06:35 +0000 (18:06 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 20 Jul 2015 02:18:47 +0000 (19:18 -0700)
commitb5a671cd885273d1aa0a140062179f4bba510746
tree6f8edeba4bc6b8eb95dee7050265cc46babb83f6
parentf59d8ef0c16b0755144861fdd337525a2adc78cc
peg: replace uses of digits>integer with string>number.
basis/peg/parsers/parsers.factor
extra/parser-combinators/simple/simple.factor
extra/peg/expr/expr.factor
extra/peg/pl0/pl0.factor