| changeset 15976 | 4d682779bd29 |
| parent 15958 | 24545642473f |
| 15974:8bb07b0f50ca | 15976:4d682779bd29 |
|---|---|
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", "copy"] |
20 builtin = ["succ", "pred", "low", "high", "ord", "inc", "dec", "exit", "break", "continue", "length", "copy", "round"] |
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 = "(*" |