diff options
| author | Marc André Tanner <mat@brain-dump.org> | 2016-12-07 16:49:29 +0100 |
|---|---|---|
| committer | Marc André Tanner <mat@brain-dump.org> | 2016-12-07 20:11:32 +0100 |
| commit | 3570869c9ae2c4df14b15423789919e514322916 (patch) | |
| tree | 6b990c9ec59fbdc7abce89c1307d22e66d0fd88a /lua/lexers/pure.lua | |
| parent | 098504f67aea8a862840d58c69e8f6360eef3073 (diff) | |
| download | vis-3570869c9ae2c4df14b15423789919e514322916.tar.gz vis-3570869c9ae2c4df14b15423789919e514322916.tar.xz | |
Move all lua related files to lua/ subfolder
Also remove the lexers sub directory from the Lua search path.
As a result we attempt to open fewer files during startup:
$ strace -e open -o log ./vis +q config.h && wc -l log
In order to avoid having to modifiy all lexers which `require('lexer')`
we instead place a symlink in the top level directory.
$ ./configure --disable-lua
$ rm -rf lua
Should result in a source tree with most lua specifc functionality
removed.
Diffstat (limited to 'lua/lexers/pure.lua')
| -rw-r--r-- | lua/lexers/pure.lua | 62 |
1 files changed, 62 insertions, 0 deletions
diff --git a/lua/lexers/pure.lua b/lua/lexers/pure.lua new file mode 100644 index 0000000..256a2dc --- /dev/null +++ b/lua/lexers/pure.lua @@ -0,0 +1,62 @@ +-- Copyright 2015-2016 David B. Lamkins <david@lamkins.net>. See LICENSE. +-- pure LPeg lexer, see http://purelang.bitbucket.org/ + +local l = require('lexer') +local token, word_match = l.token, l.word_match +local P, R, S = lpeg.P, lpeg.R, lpeg.S + +local M = {_NAME = 'pure'} + +-- Whitespace. +local ws = token(l.WHITESPACE, l.space^1) + +-- Comments. +local line_comment = '//' * l.nonnewline^0 +local block_comment = '/*' * (l.any - '*/')^0 * P('*/')^-1 +local comment = token(l.COMMENT, line_comment + block_comment) + +-- Strings. +local string = token(l.STRING, l.delimited_range('"', true)) + +-- Numbers. +local bin = '0' * S('Bb') * S('01')^1 +local hex = '0' * S('Xx') * (R('09') + R('af') + R('AF'))^1 +local dec = R('09')^1 +local int = (bin + hex + dec) * P('L')^-1 +local rad = P('.') - P('..') +local exp = (S('Ee') * S('+-')^-1 * int)^-1 +local flt = int * (rad * dec)^-1 * exp + int^-1 * rad * dec * exp +local number = token(l.NUMBER, flt + int) + +-- Keywords. +local keyword = token(l.KEYWORD, word_match{ + 'namespace', 'with', 'end', 'using', 'interface', 'extern', 'let', 'const', + 'def', 'type', 'public', 'private', 'nonfix', 'outfix', 'infix', 'infixl', + 'infixr', 'prefix', 'postfix', 'if', 'otherwise', 'when', 'case', 'of', + 'then', 'else' +}) + +-- Identifiers. +local identifier = token(l.IDENTIFIER, l.word) + +-- Operators. +local punct = S('+-/*%<>~!=^&|?~:;,.()[]{}@#$`\\\'') +local dots = P('..') +local operator = token(l.OPERATOR, dots + punct) + +-- Pragmas. +local hashbang = l.starts_line('#!') * (l.nonnewline - P('//'))^0 +local pragma = token(l.PREPROCESSOR, hashbang) + +M._rules = { + {'whitespace', ws}, + {'comment', comment}, + {'pragma', pragma}, + {'keyword', keyword}, + {'number', number}, + {'operator', operator}, + {'identifier', identifier}, + {'string', string}, +} + +return M |
