Download The Grace Programming Language Draft Specification Version 0.5

Revision 2025 committed on 02-04-2015 at 14:09 by
def
def
def
def
def
def
def
def
def
def
def
45
lParen = symbol "("
rParen = symbol ")"
lBrace = symbol "\{"
rBrace = symbol "\}"
lBrack = symbol "["
rBrack = symbol "]"
lrBrack = symbol "[]"
arrow = symbol "−>"
dot = symbol "."
assign = symbol ":="
equals = symbol "="
def lGeneric = token "<"
def rGeneric = token ">"
def comma = rule { symbol(",") }
def escapeChar = CharacterSetParser.new("\\\"’\{\}bnrtlfe ")
def azChars = "abcdefghijklmnopqrstuvwxyz"
def AZChars = "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
def otherChars = "1234567890~!@#$%^&∗()_−+=[]|\:;<,>.?/"
def anyChar = CharacterSetParser.new(azChars ++ AZChars ++ otherChars)
def identifierString = trim(GraceIdentifierParser.new)
// def identifier = rule { bothAll(trim(identifierString),not(reservedIdentifier)) }
// bothAll ensures parses take the same length
// def identifier = rule{ both(identifierString,not(reservedIdentifier)) }
// both doesn’t ensure parses take the same length
def identifier = rule { guard(identifierString, { s −> ! parse(s) with( reservedIdentifier ~ end ) })}
// probably works but runs out of stack
// anything in this list needs to be in reservedIdentifier below (or it won’t do what you want)
def superId = symbol "super"
def extendsId = symbol "extends"
def inheritsId = symbol "inherits"
def classId = symbol "class"
def objectId = symbol "object"
def typeId = symbol "type"
def whereId = symbol "where"
def defId = symbol "def"
def varId = symbol "var"
def methodId = symbol "method"
def prefixId = symbol "prefix"
def interfaceId = symbol "interface"
def reservedIdentifier = rule {selfLiteral | superId | extendsId | inheritsId |
classId | objectId | typeId | whereId |
defId | varId | methodId | prefixId | interfaceId } // more to come
def reservedOp = rule {assign | equals | dot | arrow | colon | semicolon}
// this is not quite right