blob: d3d7b78f990a423f58e0b1615c0da5c119e81aa1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
syntax case match
syn match FutharkAssigment "\v\="
syn match FutharkOperator "\(+\|-\|*\|/\|>\|<\|%\|!\|&\||\|\^\)"
syn match FutharkOperator "\(++\|==\|!=\|>->\|<-<\||>\|<|\)" containedin=FutharkLambdaOperator
" Literally the same, just with parenthesis
syn match FutharkLambdaOperator "(\ *\(++\|==\|!=\|>->\|<-<\||>\|<|\)\ *)"
syn match FutharkLambdaOperator "(\ *\(+\|-\|*\|/\|>\|<\|%\|!\|&\||\|^\)\ *)"
" Except for these two
syn match FutharkLambdaOperator "(\ *\(\.[1-9][0-9]*\)\ *)"
syn match FutharkLambdaOperator /).[1-9][0-9]*/ms=s+1
syn match Number "\v[+-]?<((\d+|0[xX]\x+|0[bB][01]+)([ui](8|16|32|64))?)>"
syn match float "\v[+-]?<((\d+(\.\d+)?)(f(32|64))?)>"
" Exponent
syn match float "\v-?(\d(\d|_)*|(\d(\d|_)*)?\.(\d(\d|_)*))[eE][+\-]?\d+"
syn keyword boolean true false
syn match FutIdentifier "\v\h(\w|')*" skipwhite contained contains=NONE
syn keyword type i8 i16 i32 i64 u8 u16 u32 u64 int real bool char f32 f64
syn keyword conditional if then else
syn keyword Statement loop with entry for while do in local val
syn keyword keyword concat zip unzip unsafe
syn keyword typedef type
syn keyword FutharkBinding let entry nextgroup=FutIdentifier skipwhite skipempty
syn keyword PreProc module open import nextgroup=FutIdentifier skipwhite skipempty
syn keyword function map map1 map2 map3 map4 map5 stream_map stream_map_per
syn keyword function reduce reduce_comm scan filter partition
syn keyword function stream_red stream_red_per stream_seq iota
syn keyword function replicate scatter drop
syn keyword function rotate split flatten unflatten
syn keyword function curry uncurry
syn keyword function id const
syn match constant /'.'/
syn region string start=/"/ skip=/\\"/ end=/"/ keepend excludenl
syn match comment "--.*$"
hi def link FutIdentifier Function
hi def link FutharkBinding Statement
hi def link number constant
hi def link FutharkOperator operator
hi def link FutharkLambdaOperator operator
|
