| changeset 10120 | b7f632c12784 |
| parent 10113 | b26c2772e754 |
| child 15988 | 24545642473f |
| 10119:7e05a397602f | 10120:b7f632c12784 |
|---|---|
15 |
15 |
16 string' :: String -> Parsec String u () |
16 string' :: String -> Parsec String u () |
17 string' = void . string |
17 string' = void . string |
18 |
18 |
19 builtin :: [String] |
19 builtin :: [String] |
20 builtin = ["succ", "pred", "low", "high", "ord", "inc", "dec", "exit", "break", "continue", "length"] |
20 builtin = ["succ", "pred", "low", "high", "ord", "inc", "dec", "exit", "break", "continue", "length", "copy"] |
21 |
21 |
22 pascalLanguageDef :: GenLanguageDef String u Identity |
22 pascalLanguageDef :: GenLanguageDef String u Identity |
23 pascalLanguageDef |
23 pascalLanguageDef |
24 = emptyDef |
24 = emptyDef |
25 { commentStart = "(*" |
25 { commentStart = "(*" |