pavone@208: #{ pavone@209: _applyMatch <- :fun tomatch { pavone@209: fun: tomatch pavone@209: } pavone@212: _matchString <- :str tomatch { pavone@212: if: (tomatch isString?) { pavone@212: if: (tomatch length) < (str length) { pavone@212: #{ pavone@212: matched? <- { false } pavone@212: } pavone@212: } else: { pavone@212: if: (tomatch length) > (str length) { pavone@212: tomatch <- tomatch from: 0 withLength: (str length) pavone@212: } pavone@212: if: str = tomatch { pavone@212: #{ pavone@212: matched? <- { true } pavone@212: matchlen <- { str length } pavone@213: basicYield? <- { true } pavone@213: yield <- { str } pavone@212: } pavone@212: } else: { pavone@212: #{ pavone@212: matched? <- { false } pavone@212: } pavone@212: } pavone@212: } pavone@212: } else: { pavone@212: #{ pavone@212: matched? <- { false } pavone@212: } pavone@212: } pavone@212: } pavone@212: ifmatch:else <- :matchres :elseblock { pavone@212: if: (matchres matched?) { pavone@212: matchres pavone@212: } else: { pavone@212: elseblock: pavone@212: } pavone@212: } pavone@212: _makeMatchCall <- :matchexpr { pavone@212: if: (matchexpr nodeType) = "lambda" { pavone@212: #{ pavone@212: valid? <- { true } pavone@212: matchcall <- quote: (_applyMatch: matchexpr tomatch) pavone@212: } pavone@212: } else: { pavone@212: if: (matchexpr nodeType) = "symbol" { pavone@212: #{ pavone@212: valid? <- { true } pavone@212: matchcall <- quote: (matchexpr: tomatch) pavone@212: } pavone@212: } else: { pavone@212: if: (matchexpr nodeType) = "strlit" { pavone@212: #{ pavone@212: valid? <- { true } pavone@212: matchcall <- quote: (_matchString: matchexpr tomatch) pavone@212: } pavone@212: } else: { pavone@212: if: (matchexpr nodeType) = "op" { pavone@212: if: (matchexpr opName) = "." { pavone@212: left <- (_makeMatchCall: (matchexpr left)) matchcall pavone@212: right <- (_makeMatchCall: (matchexpr right)) matchcall pavone@212: #{ pavone@212: valid? <- { true } pavone@212: matchcall <- quote: (_applyMatch: :tomatch { pavone@212: lm <- left pavone@212: if: (lm matched?) { pavone@220: orig <- tomatch pavone@212: tomatch <- tomatch from: (lm matchlen) pavone@212: rm <- right pavone@212: if: (rm matched?) { pavone@212: total <- (rm matchlen) + (lm matchlen) pavone@212: #{ pavone@212: matched? <- { true } pavone@212: matchlen <- { total } pavone@213: basicYield? <- { true } pavone@220: yield <- { orig from: 0 withLength: total } pavone@212: } pavone@212: } else: { pavone@212: rm pavone@212: } pavone@212: } else: { pavone@212: lm pavone@212: } pavone@212: } tomatch) pavone@212: } pavone@212: } else: { pavone@212: #{ pavone@212: valid? <- { false } pavone@212: message <- "Unsupported operator " . (matchexpr opName) pavone@212: } pavone@212: } pavone@212: } else: { pavone@212: #{ pavone@212: valid? <- { false } pavone@212: message <- "Unsupported AST node type " . (matchexpr nodeType) pavone@212: } pavone@212: } pavone@212: } pavone@212: } pavone@212: } pavone@212: } pavone@208: expandClass <- :chars { pavone@208: if: (chars length) > 0 { pavone@208: pos <- 0 pavone@208: inverted <- false pavone@208: if: (chars byte: 0) = ("^" byte: 0) { pavone@208: pos <- 1 pavone@208: inverted <- true pavone@208: } pavone@208: state_begin <- 0 pavone@208: state_normal <- 1 pavone@208: state_rangeend <- 2 pavone@208: state <- state_begin pavone@208: out <- "" pavone@208: while: { pos < (chars byte_length)} do: { pavone@208: if: state = state_begin { pavone@208: out <- out . (chars from: pos withLength: 1) pavone@208: state <- state_normal pavone@208: } else: { pavone@208: if: state = state_normal { pavone@208: if: (chars byte: pos) = ("-" byte: 0) { pavone@208: state <- state_rangeend pavone@208: } else: { pavone@208: out <- out . (chars from: pos withLength: 1) pavone@208: } pavone@208: } else: { pavone@208: rangestart <- out byte: ((out byte_length) - 1) pavone@208: rangeend <- chars byte: pos pavone@208: if: rangeend < rangestart { pavone@208: tmp <- rangeend pavone@208: rangeend <- rangestart pavone@208: rangestart <- tmp pavone@208: } pavone@208: out <- out from: 0 withLength: ((out length) - 1) pavone@208: while: { rangestart <= rangeend } do: { pavone@208: out <- out . (rangestart asStringChar) pavone@208: rangestart <- rangestart + 1 pavone@208: } pavone@208: state <- state_begin pavone@208: } pavone@208: } pavone@208: pos <- pos + 1 pavone@208: } pavone@208: if: inverted { pavone@208: old <- out pavone@208: out <- "" pavone@218: //skip control characters for now pavone@218: cur <- 32 pavone@208: while: { cur < 256 } do: { pavone@212: notfound <- true pavone@212: idx <- 0 pavone@212: len <- (old length) pavone@212: while: { notfound && idx < len } do: { pavone@212: if: cur = (old byte: idx) { pavone@212: notfound <- false pavone@212: } else: { pavone@212: idx <- idx + 1 pavone@212: } pavone@212: } pavone@212: if: notfound { pavone@212: out <- out . (cur asStringChar) pavone@212: } pavone@208: cur <- cur + 1 pavone@208: } pavone@208: } pavone@208: out pavone@208: } else: { pavone@208: "" pavone@208: } pavone@208: } pavone@208: charClass <- macro: :rawchars { pavone@208: eval: rawchars :chars { pavone@212: orig <- chars pavone@208: chars <- expandClass: chars pavone@237: charmap <- "" pavone@237: char <- 0 pavone@237: while: { char < 256 } do: { pavone@237: mchar <- 0 pavone@237: found <- false pavone@237: while: { mchar < (chars byte_length)} do: { pavone@237: if: (chars byte: mchar) = char { pavone@237: found <- true pavone@237: mchar <- chars byte_length pavone@237: } pavone@237: mchar <- mchar + 1 pavone@237: } pavone@237: charmap <- charmap . (if: found { "t" } else: { "f" }) pavone@237: char <- char + 1 pavone@237: } pavone@237: t <- "t" byte: 0 pavone@208: quote: :tomatch { pavone@208: if: (tomatch isString?) { pavone@237: if: (charmap byte: (tomatch byte: 0)) = t { pavone@208: #{ pavone@208: matched? <- { true } pavone@208: matchlen <- { 1 } pavone@213: basicYield? <- { true } pavone@213: yield <- { tomatch from: 0 withLength: 1 } pavone@208: } pavone@237: } else: { pavone@237: #{ pavone@237: matched? <- { false } pavone@237: } pavone@208: } pavone@208: } else: { pavone@208: #{ pavone@208: matched? <- { false } pavone@208: } pavone@208: } pavone@208: } pavone@208: } else: { pavone@212: print: "#error Argument to charClass macro must be a compile-time constant\n" pavone@208: } pavone@208: } pavone@209: pavone@220: _nPlus <- :matchexpr min { pavone@209: funexpr <- false pavone@209: valid <- false pavone@212: mc <- _makeMatchCall: matchexpr pavone@212: if: (mc valid?) { pavone@212: mcall <- mc matchcall pavone@209: quote: :tomatch { pavone@209: cur <- 0 pavone@220: count <- 0 pavone@209: n <- tomatch byte_length pavone@209: orig <- tomatch pavone@222: _match <- true pavone@213: allBasic? <- true pavone@213: yieldvals <- [] pavone@222: while: { _match && cur < n } do: { pavone@212: res <- mcall pavone@222: _match <- res matched? pavone@222: if: _match { pavone@220: count <- count + 1 pavone@209: //TODO: Use some kind of lightweight substring wrapper here pavone@209: tomatch <- tomatch from: (res matchlen) pavone@213: if: allBasic? { pavone@213: ifnot: (res basicYield?) { pavone@213: allBasic? <- false pavone@218: if: cur > 0 { pavone@218: yieldvals <- (orig from: 0 withLength: cur) | yieldvals pavone@218: } pavone@218: yieldvals <- (res yield) | yieldvals pavone@213: } pavone@213: } else: { pavone@213: yieldvals <- (res yield) | yieldvals pavone@213: } pavone@213: allBasic? <- allBasic? && (res basicYield?) pavone@209: cur <- cur + (res matchlen) pavone@209: } pavone@209: } pavone@220: if: count >= min { pavone@213: if: allBasic? { pavone@213: #{ pavone@213: matched? <- { true } pavone@213: matchlen <- { cur } pavone@213: basicYield? <- { true } pavone@213: yield <- { orig from: 0 withLength: cur } pavone@213: } pavone@213: } else: { pavone@213: yieldvals <- yieldvals reverse pavone@213: #{ pavone@213: matched? <- { true } pavone@213: matchlen <- { cur } pavone@213: basicYield? <- { false } pavone@213: yield <- { yieldvals } pavone@213: } pavone@209: } pavone@209: } else: { pavone@209: #{ pavone@209: matched? <- { false } pavone@209: } pavone@209: } pavone@209: } pavone@209: } else: { pavone@220: print: "#error Invalid nPlus macro call: " . (mc message) . "\n" pavone@212: } pavone@212: } pavone@212: pavone@220: zeroPlus <- macro: :matchexpr { pavone@220: _nPlus: matchexpr 0 pavone@220: } pavone@220: pavone@220: onePlus <- macro: :matchexpr { pavone@220: _nPlus: matchexpr 1 pavone@220: } pavone@220: pavone@212: matchOne <- macro: :options { pavone@212: options <- (options value) map: :option { pavone@212: _makeMatchCall: option pavone@212: } pavone@212: body <- options foldr: (quote: #{ pavone@212: matched? <- { false } pavone@212: }) with: :acc el { pavone@212: if: (el valid?) { pavone@212: mcall <- el matchcall pavone@212: quote: (ifmatch: mcall else: { acc }) pavone@212: } else: { pavone@212: print: "#error Invalid matchOne macro call: " . (el message) . "\n" pavone@212: acc pavone@212: } pavone@212: } pavone@212: quote: :tomatch { pavone@212: body pavone@209: } pavone@209: } pavone@209: pavone@222: match <- macro: :matchexpr { pavone@222: mc <- _makeMatchCall: matchexpr pavone@222: if: (mc valid?) { pavone@222: mcall <- mc matchcall pavone@222: quote: :tomatch { pavone@222: mcall pavone@222: } pavone@222: } else: { pavone@222: print: "#error Invalid macth macro call: " . (mc message) . "\n" pavone@222: } pavone@222: } pavone@222: pavone@213: match:yield <- macro: :matchexpr :ylambda { pavone@213: mc <- _makeMatchCall: matchexpr pavone@213: if: (mc valid?) { pavone@213: mcall <- mc matchcall pavone@213: quote: :tomatch { pavone@213: res <- mcall pavone@213: if: (res matched?) { pavone@213: #{ pavone@213: matched? <- { true } pavone@213: matchlen <- { res matchlen } pavone@213: basicYield? <- { false } pavone@213: yield <- ylambda pavone@213: } pavone@213: } else: { pavone@213: res pavone@213: } pavone@213: } pavone@213: } else: { pavone@213: print: "#error Invalid macth:yield macro call: " . (mc message) . "\n" pavone@213: } pavone@213: } pavone@213: pavone@218: match:where:yield <- macro: :matchexpr :whereclause :ylambda { pavone@218: syms <- [] pavone@218: withwhere <- (whereclause expressions) fold: (quote: :tomatch {}) with: :acc el { pavone@218: pavone@218: if: (el nodeType) = "assignment" { pavone@218: valassign <- quote: (val <- false) pavone@218: valsym <- (valassign) symbol pavone@218: valsym <- valsym name!: (valsym name) . ((el symbol) name) pavone@218: valassign <- valassign symbol!: valsym pavone@218: acc addExpression: valassign pavone@218: pavone@218: matchassign <- quote: (hasmatch <- false) pavone@218: matchsym <- (matchassign) symbol pavone@218: matchsym <- matchsym name!: (matchsym name) . ((el symbol) name) pavone@218: matchassign <- matchassign symbol!: matchsym pavone@218: acc addExpression: matchassign pavone@218: pavone@218: mc <- _makeMatchCall: (el expression) pavone@218: pavone@218: if: (mc valid?) { pavone@218: mcall <- mc matchcall pavone@218: matchfun <- quote: :tomatch { pavone@218: if: matchsym { pavone@218: if: valsym = tomatch { pavone@218: #{ pavone@218: matched? <- { true } pavone@218: matchlen <- { valsym length } pavone@218: basicYield? <- { true } //TODO: Check if this is correct pavone@218: yield <- { valsym } pavone@218: } pavone@218: } else: { pavone@218: #{ pavone@218: matched? <- { false } pavone@218: } pavone@218: } pavone@218: } else: { pavone@218: mr <- mcall pavone@218: if: (mr matched?) { pavone@218: matchsym <- true pavone@218: valsym <- (mr yield) pavone@218: } pavone@218: mr pavone@218: } pavone@218: } pavone@218: acc <- acc addExpression: (el expression!: matchfun) pavone@218: syms <- list node: #{ pavone@218: orig <- el symbol pavone@218: matchval <- valsym pavone@218: } withTail: syms pavone@218: acc pavone@218: } else: { pavone@218: print: "#error " . ((el symbol) name) . " does not have a valid match expression: " . (mc message) . "\n" pavone@218: } pavone@218: pavone@218: } else: { pavone@218: print: "#error Nodes of type " . (el nodeType) . " are not allowed in match where clauses\n" pavone@218: acc pavone@218: } pavone@218: } pavone@218: mcMain <- _makeMatchCall: matchexpr pavone@218: if: (mcMain valid?) { pavone@218: mcall <- mcMain matchcall pavone@218: withwhere addExpression: (quote: (matchres <- mcall)) pavone@218: successLambda <- quote: { pavone@218: //Extra assignments will be added here pavone@218: mlen <- matchres matchlen pavone@218: #{ pavone@218: matched? <- { true } pavone@218: matchlen <- { mlen } pavone@218: basicYield? <- { false } pavone@218: yield <- ylambda pavone@218: } pavone@218: } pavone@218: sucexp <- syms fold: (successLambda expressions) with: :acc el { pavone@218: lsym <- el orig pavone@218: rsym <- el matchval pavone@218: (quote: (lsym <- rsym)) | acc pavone@218: } pavone@218: successLambda <- successLambda expressions!: sucexp pavone@218: withwhere addExpression: (quote: (if: (matchres matched?) successLambda else: { pavone@218: matchres pavone@218: })) pavone@218: withwhere pavone@218: } else: { pavone@218: print: "#error Error in main match expression of match:where:yield: " . (mcMain message) . "\n" pavone@218: } pavone@218: } pavone@218: pavone@225: binaryOps:withHigherPrec <- macro: :oplist :higher { pavone@225: quote: (match: Left . Pieces where: { pavone@225: Left <- match: higher pavone@225: Pieces <- zeroPlus: (match: hws . Op . Right where: { pavone@230: Op <- matchOne: oplist pavone@230: Right <- match: higher pavone@225: } yield: { pavone@225: #{ pavone@225: op <- Op pavone@225: right <- Right pavone@225: } pavone@225: }) pavone@225: } yield: { pavone@225: _processOpPieces: Left Pieces pavone@225: }) pavone@225: } pavone@225: pavone@226: opexpr <- binaryOps: ["&&" "||"] withHigherPrec: compare pavone@226: compare <- binaryOps: ["<=" ">=" "<" ">" "=" "!="] withHigherPrec: maybecons pavone@226: maybecons <- matchOne: [ pavone@226: consop pavone@226: addsub pavone@226: ] pavone@226: consop <- match: Left . hws . "|" . Right where: { pavone@226: Left <- match: addsub pavone@226: Right <- match: maybecons pavone@226: } yield: { pavone@226: #{ pavone@226: left <- Left pavone@226: op <- "|" pavone@226: right <- Right pavone@227: string <- { pavone@227: (string: left) . " " . op . " " . right pavone@227: } pavone@226: } pavone@226: } pavone@225: addsub <- binaryOps: ["+" "-" "."] withHigherPrec: muldiv pavone@225: muldiv <- binaryOps: ["*" "/" "%"] withHigherPrec: primlitsym pavone@225: pavone@225: //TODO: Implement operator expressions pavone@226: pavone@209: pavone@209: _alpha <- charClass: "a-zA-Z" pavone@209: alpha <- zeroPlus: _alpha pavone@209: alphaNum <- zeroPlus: (charClass: "a-zA-Z0-9") pavone@220: pavone@220: blockComment <- match: "/*" . (zeroPlus: (matchOne: [(charClass: "^*") "*" . (charClass: "^/")])) . "*/" yield: { false } pavone@220: pavone@212: hws <- zeroPlus: (matchOne: [ pavone@212: (charClass: " \t") pavone@220: blockComment pavone@220: ]) pavone@220: pavone@220: ws <- zeroPlus: (matchOne: [ pavone@220: (charClass: " \n\t\r") pavone@220: "//" . (zeroPlus: (charClass: "^\n")) . "\n" pavone@220: blockComment pavone@212: ]) pavone@212: pavone@220: escape <- matchOne: [ pavone@220: (match: "\\n" yield: {"\n"}) pavone@220: (match: "\\r" yield: {"\n"}) pavone@220: (match: "\\t" yield: {"\n"}) pavone@220: (match: "\\\\" yield: {"\\"}) pavone@220: (match: "\\\"" yield: {"\""}) pavone@220: ] pavone@220: pavone@220: string <- match: "\"" . Chars . "\"" where: { pavone@220: Chars <- zeroPlus: (matchOne: [ pavone@231: match: Reg where: { Reg <- charClass: "^\"\\" } yield: { Reg } pavone@220: escape pavone@220: ]) pavone@220: } yield: { pavone@231: if: (Chars length) = 0 { pavone@231: Chars <- [] pavone@231: } pavone@220: Chars join: "" pavone@220: } pavone@220: pavone@220: bdigit <- matchOne: [ pavone@220: (match: "0" yield: {0i64}) pavone@220: (match: "1" yield: {1i64}) pavone@220: ] pavone@220: pavone@213: digit <- matchOne: [ pavone@220: bdigit pavone@220: (match: "2" yield: {2i64}) pavone@220: (match: "3" yield: {3i64}) pavone@220: (match: "4" yield: {4i64}) pavone@220: (match: "5" yield: {5i64}) pavone@220: (match: "6" yield: {6i64}) pavone@220: (match: "7" yield: {7i64}) pavone@220: (match: "8" yield: {8i64}) pavone@220: (match: "9" yield: {9i64}) pavone@213: ] pavone@208: pavone@220: hdigit <- matchOne: [ pavone@220: digit pavone@220: (match: (charClass: "aA") yield: {10i64}) pavone@220: (match: (charClass: "bB") yield: {11i64}) pavone@220: (match: (charClass: "cC") yield: {12i64}) pavone@220: (match: (charClass: "dD") yield: {13i64}) pavone@220: (match: (charClass: "eE") yield: {14i64}) pavone@220: (match: (charClass: "fF") yield: {15i64}) pavone@220: ] pavone@220: pavone@220: binary <- match: "0b" . Digits . Suffix where: { pavone@220: Digits <- onePlus: bdigit pavone@220: Suffix <- matchOne: [ pavone@220: (charClass: "ui") . (matchOne: ["8" "16" "32" "64"]) pavone@220: "" pavone@220: ] pavone@218: } yield: { pavone@218: num <- Digits fold: 0 with: :acc el { pavone@220: acc * 2i64 + el pavone@220: } pavone@220: signed <- true pavone@220: litbits <- 32 pavone@220: if: (Suffix length) > 0 { pavone@220: if: (Suffix from: 0 withLength: 1) = "u" { pavone@220: signed <- false pavone@220: } pavone@220: litbits <- (Suffix from: 1) int32 pavone@218: } pavone@218: #{ pavone@218: litval <- num pavone@220: signed? <- signed pavone@220: bits <- litbits pavone@222: string <- { pavone@222: str <- "0b" pavone@222: i <- bits - 1 pavone@222: printzero <- false pavone@222: while: { i >= 0 } do: { pavone@222: str <- str . (if: (lshift: 1 by: i) and num > 0 { pavone@222: printzero <- true pavone@222: "1" pavone@222: } else: { pavone@222: if: printzero {"0"} else: {""} pavone@222: }) pavone@222: i <- i - 1 pavone@222: } pavone@222: if: (not: signed?) || bits != 32 { pavone@222: str <- str . (if: signed { "i" } else: { "u" }) . bits pavone@222: } pavone@222: str pavone@222: } pavone@220: } pavone@220: } pavone@220: pavone@220: decimal <- match: Sign . Digits . Suffix where: { pavone@220: Sign <- matchOne: ["-" ""] pavone@220: Digits <- onePlus: digit pavone@220: Suffix <- matchOne: [ pavone@220: (charClass: "ui") . (matchOne: ["8" "16" "32" "64"]) pavone@220: "" pavone@220: ] pavone@220: } yield: { pavone@220: num <- Digits fold: 0 with: :acc el { pavone@220: acc * 10i64 + el pavone@220: } pavone@220: if: Sign = "-" { pavone@220: num <- 0i64 - num pavone@220: } pavone@220: signed <- true pavone@220: litbits <- 32 pavone@220: if: (Suffix length) > 0 { pavone@220: if: (Suffix from: 0 withLength: 1) = "u" { pavone@220: signed <- false pavone@220: } pavone@220: print: (Suffix from: 1) . "\n" pavone@220: litbits <- (Suffix from: 1) int32 pavone@220: } pavone@220: #{ pavone@220: litval <- num pavone@220: signed? <- signed pavone@220: bits <- litbits pavone@222: string <- { pavone@222: str <- string: litval pavone@222: if: (not: signed?) || bits != 32 { pavone@222: str <- str . (if: signed? {"i"} else: {"u"}) . bits pavone@222: } pavone@222: str pavone@222: } pavone@220: } pavone@220: } pavone@220: pavone@222: hexlit <- match: "0x" . Digits . Suffix where: { pavone@220: Digits <- onePlus: hdigit pavone@220: Suffix <- matchOne: [ pavone@220: (charClass: "ui") . (matchOne: ["8" "16" "32" "64"]) pavone@220: "" pavone@220: ] pavone@220: } yield: { pavone@220: num <- Digits fold: 0 with: :acc el { pavone@220: acc * 16i64 + el pavone@220: } pavone@220: signed <- true pavone@220: litbits <- 32 pavone@220: if: (Suffix length) > 0 { pavone@220: if: (Suffix from: 0 withLength: 1) = "u" { pavone@220: signed <- false pavone@220: } pavone@220: litbits <- (Suffix from: 1) int32 pavone@220: } pavone@220: #{ pavone@220: litval <- num pavone@220: signed? <- signed pavone@220: bits <- litbits pavone@222: string <- { pavone@222: str <- "0x" . (hex: litval) pavone@222: if: (not: signed?) || bits != 32 { pavone@222: str <- str . (if: signed? {"i"} else: {"u"}) . bits pavone@222: } pavone@222: str pavone@222: } pavone@220: } pavone@220: } pavone@220: pavone@222: symexpr <- match: Name where: { pavone@222: Name <- match: (onePlus: (charClass: "a-zA-Z_@!?")) . (zeroPlus: ((matchOne: [":" ""]) . (charClass: "a-zA-Z_@!?0-9"))) pavone@222: } yield: { pavone@222: #{ pavone@222: name <- Name pavone@222: string <- { pavone@222: name pavone@222: } pavone@222: } pavone@222: } pavone@222: pavone@222: namepart <- match: hws . Symbol . ":" where: { pavone@222: Symbol <- match: symexpr pavone@222: } yield: { pavone@222: #{ pavone@222: isNamePart? <- { true } pavone@222: val <- Symbol name pavone@222: } pavone@222: } pavone@222: pavone@222: argpart <- matchOne: [ pavone@222: match: namepart pavone@222: match: Arg where: { pavone@222: Arg <- opexpr pavone@222: } yield: { pavone@222: #{ pavone@222: isNamePart? <- { false } pavone@222: val <- Arg pavone@222: } pavone@222: } pavone@222: ] pavone@222: pavone@222: funcall <- match: hws . Initial . Parts where: { pavone@222: Initial <- match: namepart pavone@222: Parts <- onePlus: argpart pavone@222: } yield: { pavone@222: Initial | Parts foldr: #{ pavone@222: name <- "" pavone@222: args <- [] pavone@222: } with: :acc el { pavone@222: nextName <- acc name pavone@222: nextArgs <- acc args pavone@222: if: (el isNamePart?) { pavone@222: nextName <- if: ((acc name) length) > 0 { (el val) . ":" . (acc name) } else: { el val } pavone@222: } else: { pavone@222: nextArgs <- (el val) | nextArgs pavone@222: } pavone@222: pavone@222: #{ pavone@222: name <- nextName pavone@222: args <- nextArgs pavone@222: string <- { pavone@222: str <- "" pavone@222: curArgs <- args pavone@222: nameParts <- name splitOn: ":" pavone@232: foreach: nameParts :idx part { pavone@222: str <- str . part . ":" pavone@222: if: (not: (curArgs empty?)) { pavone@222: str <- str . " " . (curArgs value) pavone@222: curArgs <- curArgs tail pavone@222: } pavone@222: } pavone@235: while: { not: (curArgs empty?) } do: { pavone@235: str <- str . " " . (curArgs value) pavone@235: curArgs <- curArgs tail pavone@235: } pavone@222: str pavone@222: } pavone@222: } pavone@222: } pavone@222: } pavone@222: pavone@227: unarymeth <- match: Receiver . hws . Method where: { pavone@227: Receiver <- match: opexpr pavone@227: Method <- match: symexpr pavone@227: } yield: { pavone@227: #{ pavone@227: receiver <- Receiver pavone@227: name <- Method name pavone@227: args <- [] pavone@234: string <- { pavone@234: (string: receiver) . " " . name pavone@234: } pavone@227: } pavone@227: } pavone@227: pavone@222: methcall <- match: Receiver . hws . Rest where: { pavone@222: Receiver <- match: opexpr pavone@227: Rest <- match: funcall pavone@222: } yield: { pavone@222: #{ pavone@222: receiver <- Receiver pavone@222: name <- Rest name pavone@222: args <- Rest args pavone@222: string <- { pavone@222: nameParts <- name splitOn: ":" pavone@222: curArgs <- args pavone@222: str <- (string: receiver) . " " pavone@222: foreach: nameParts :part { pavone@222: str <- str . part . ":" pavone@222: if: (not: (curArgs empty?)) { pavone@222: str <- str . " " . (curArgs value) pavone@222: curArgs <- curArgs tail pavone@222: } pavone@222: } pavone@235: while: { not: (curArgs empty?) } do: { pavone@235: str <- str . " " . (curArgs value) pavone@235: curArgs <- curArgs tail pavone@235: } pavone@222: str pavone@222: } pavone@222: } pavone@222: } pavone@223: _processOpPieces <- :Left Pieces { pavone@223: if: (Pieces length) > 0 { pavone@223: Pieces fold: Left with: :acc piece { pavone@223: #{ pavone@223: left <- acc pavone@223: op <- piece op pavone@223: right <- piece right pavone@223: string <- { pavone@223: (string: left) . " " . op . " " . right pavone@223: } pavone@223: } pavone@223: } pavone@223: } else: { pavone@223: Left pavone@223: } pavone@223: } pavone@223: pavone@222: expr <- match: (hws . Expr . ws) where: { pavone@222: Expr <- matchOne: [ pavone@222: funcall pavone@222: methcall pavone@227: unarymeth pavone@230: assignment pavone@227: opexpr pavone@227: ] pavone@227: } yield: { pavone@227: Expr pavone@227: } pavone@227: pavone@227: lexpr <- match: (hws . Expr . ws) where: { pavone@227: Expr <- matchOne: [ pavone@227: funcall pavone@227: methcall pavone@222: opexpr pavone@222: ] pavone@222: } yield: { pavone@222: Expr pavone@222: } pavone@222: pavone@222: assignment <- match: ws . Symbol . hws . "<-" . Expr where: { pavone@222: Symbol <- match: symexpr pavone@222: Expr <- match: expr pavone@222: } yield: { pavone@222: #{ pavone@222: assign <- Expr pavone@222: to <- Symbol pavone@222: string <- { pavone@222: (string: to) . " <- " . assign pavone@222: } pavone@222: } pavone@222: } pavone@222: pavone@222: object <- match: "#{" . ws . Messages . "}" where: { pavone@222: Messages <- zeroPlus: assignment pavone@222: } yield: { pavone@222: #{ pavone@222: messages <- Messages pavone@222: string <- { pavone@222: "#{\n\t". ((messages map: :el { pavone@222: string: el pavone@222: }) join: "\n\t") . "\n}" pavone@222: } pavone@222: } pavone@222: } pavone@222: pavone@227: listlit <- match: "[" . ws . Els . "]" where: { pavone@227: Els <- zeroPlus: lexpr pavone@227: } yield: { pavone@227: //Handle limitation of zeroPlus macro pavone@227: if: (Els length) = 0 { pavone@227: Els <- [] pavone@227: } pavone@227: #{ pavone@227: litval <- Els pavone@227: string <- { pavone@227: "[\n\t". ((litval map: :el { pavone@227: string: el pavone@227: }) join: "\n\t") . "\n]" pavone@227: } pavone@227: } pavone@227: } pavone@227: pavone@228: arraylit <- match: "#[" . ws . Els . "]" where: { pavone@228: Els <- zeroPlus: lexpr pavone@228: } yield: { pavone@228: //Handle limitation of zeroPlus macro pavone@228: if: (Els length) = 0 { pavone@228: Els <- [] pavone@228: } pavone@228: #{ pavone@228: litval <- Els pavone@228: string <- { pavone@228: "#[\n\t". ((litval map: :el { pavone@228: string: el pavone@228: }) join: "\n\t") . "\n]" pavone@228: } pavone@228: } pavone@228: } pavone@228: pavone@230: argname <- match: hws . Pre . Initial . Rest where: { pavone@230: Pre <- matchOne: [":" ""] pavone@230: Initial <- onePlus: (charClass: "a-zA-Z_!?@") pavone@230: Rest <- zeroPlus: (charClass: "a-zA-Z_!?@0-9") pavone@230: } yield: { pavone@230: Pre . Initial . Rest pavone@230: } pavone@230: pavone@230: lambda <- match: hws . Arglist . hws . "{" . ws . Exprs . "}" where: { pavone@230: Arglist <- matchOne: [ pavone@230: match: ":" . First . Rest where: { pavone@230: First <- match: symexpr pavone@230: Rest <- zeroPlus: argname pavone@230: } yield: { pavone@230: if: (Rest length) = 0 { pavone@230: Rest <- [] pavone@230: } pavone@230: ":" . (First name) | Rest pavone@230: } pavone@230: match: "" yield: { [] } pavone@230: ] pavone@230: Exprs <- zeroPlus: expr pavone@230: } yield: { pavone@230: if: (Exprs length) = 0 { pavone@230: Exprs <- [] pavone@230: } pavone@230: #{ pavone@230: args <- Arglist pavone@230: expressions <- Exprs pavone@230: string <- { pavone@230: (args join: " ") . "{\n\t" . pavone@230: ((expressions map: :el { string: el }) join: "\n\t") . pavone@230: "}" pavone@230: } pavone@230: } pavone@230: } pavone@230: pavone@231: parenexp <- match: "(" . ws . Expr . ws . ")" where: { pavone@231: Expr <- match: expr pavone@231: } yield: { pavone@231: Expr pavone@231: } pavone@231: pavone@222: primlitsym <- match: hws . Lit where: { pavone@222: Lit <- matchOne: [ pavone@222: hexlit pavone@222: binary pavone@222: decimal pavone@222: symexpr pavone@230: lambda pavone@222: object pavone@227: listlit pavone@228: arraylit pavone@231: string pavone@231: parenexp pavone@222: ] pavone@222: } yield: { pavone@222: Lit pavone@222: } pavone@222: pavone@231: top <- matchOne: [ pavone@231: object pavone@231: lambda pavone@231: ] pavone@231: pavone@220: testmatchintlit <- :val matchfun { pavone@220: res <- matchfun: val pavone@220: if: (res matched?) { pavone@220: y <- res yield pavone@220: print: val . " matched with litval " . (y litval) . ", bits " . (y bits) . " and singned? " . (y signed?) . "\n" pavone@220: } else: { pavone@220: print: val . " did not match\n" pavone@218: } pavone@218: } pavone@218: pavone@231: main <- :args { pavone@209: cmatch <- alpha: "czx0123" pavone@208: zeromatch <- alpha: "01234" pavone@208: if: (cmatch matched?) { pavone@209: print: "czx0123 matched with length " . (cmatch matchlen) . "\n" pavone@208: } else: { pavone@209: print: "czx0123 didn't match\n" pavone@208: } pavone@208: if: (zeromatch matched?) { pavone@208: print: "0123 matched with length " . (zeromatch matchlen) . "\n" pavone@208: } else: { pavone@208: print: "0123 didn't match\n" pavone@208: } pavone@209: zeromatchanum <- alphaNum: "01234" pavone@209: if: (zeromatchanum matched?) { pavone@209: print: "01234 matched with length " . (zeromatchanum matchlen) . "\n" pavone@209: } else: { pavone@209: print: "01234 didn't match\n" pavone@209: } pavone@212: stuff <- " \t/* blah blah blah * blah */ foo" pavone@212: hwsmatch <- hws: stuff pavone@212: if: (hwsmatch matched?) { pavone@212: print: "'" . (stuff from: (hwsmatch matchlen)) . "' found after hws\n" pavone@212: } else: { pavone@212: print: stuff . " did not match hws rule\n" pavone@212: } pavone@213: tmatch <- digit: "3" pavone@213: if: (tmatch matched?) { pavone@213: print: "3 matched with yield " . (tmatch yield) . ", yield + 1 = " . ((tmatch yield) + 1) . "\n" pavone@213: } else: { pavone@213: print: "3 did not match\n" pavone@213: } pavone@218: pavone@220: testmatchintlit: "345" :s {decimal: s} pavone@220: testmatchintlit: "-567" :s {decimal: s} pavone@220: testmatchintlit: "123u16" :s {decimal: s} pavone@222: testmatchintlit: "0x20" :s {hexlit: s} pavone@222: testmatchintlit: "0x42u64" :s {hexlit: s} pavone@220: testmatchintlit: "0b10101" :s {binary: s} pavone@230: code <- "#{ foo <- 123 > 0x42 && 42 < 104\n bar <- 0xABC + 0b1010101\n baz <- 0b1010 * 5\n qux <- fo: 38 shizzle: bam\n quine <- 123 | [4 5 6 fiddle sticks]\n quizzle <- #[receiver meth: arg]\n blah <- :arg arg2 :arg3 { arg + arg2 + arg3 }}" pavone@231: if: (args length) > 1 { pavone@231: file <- os open: (args get: 1) (os O_RDONLY) pavone@236: code <- "" pavone@236: chunksize <- 1024 pavone@236: readsize <- chunksize pavone@236: while: { readsize = chunksize} do: { pavone@236: seg <- os read: file chunksize pavone@236: code <- code . seg pavone@236: readsize <- seg byte_length pavone@236: } pavone@231: } pavone@231: codem <- top: code pavone@222: if: (codem matched?) { pavone@222: print: code . "\nmatched with yield:\n" . (codem yield) . "\n" pavone@222: } else: { pavone@222: print: code . "\ndid not match\n" pavone@222: } pavone@208: } pavone@208: }