changeset 6397 | 6eb58ae8b510 |
parent 6391 | bd5851ab3157 |
child 6399 | a904c735979c |
6396:71dd6b8494e5 | 6397:6eb58ae8b510 |
---|---|
628 ] |
628 ] |
629 |
629 |
630 builtInFunction e = do |
630 builtInFunction e = do |
631 name <- choice $ map (\s -> try $ caseInsensitiveString s >>= \i -> notFollowedBy alphaNum >> return i) builtin |
631 name <- choice $ map (\s -> try $ caseInsensitiveString s >>= \i -> notFollowedBy alphaNum >> return i) builtin |
632 spaces |
632 spaces |
633 exprs <- many1 e |
633 exprs <- parens pas $ commaSep1 pas $ e |
634 spaces |
634 spaces |
635 return (name, exprs) |
635 return (name, exprs) |