mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-12-14 17:41:33 +03:00
language-server: use modern tisfas syntax
This commit is contained in:
parent
b0c5b7b0fe
commit
f299bf9d2c
@ -194,7 +194,7 @@
|
|||||||
=+ (get-id:auto (get-pos buf row col) txt)
|
=+ (get-id:auto (get-pos buf row col) txt)
|
||||||
?~ id
|
?~ id
|
||||||
[(json-response *json) buf]
|
[(json-response *json) buf]
|
||||||
=/ match/(unit [=term =type])
|
=/ match=(unit [=term =type])
|
||||||
(search-exact:auto u.id (get-identifiers:auto -:!>(..zuse)))
|
(search-exact:auto u.id (get-identifiers:auto -:!>(..zuse)))
|
||||||
?~ match
|
?~ match
|
||||||
[(json-response *json) buf]
|
[(json-response *json) buf]
|
||||||
|
@ -71,7 +71,7 @@
|
|||||||
++ search-exact
|
++ search-exact
|
||||||
|= [sid=term ids=(list [term type])]
|
|= [sid=term ids=(list [term type])]
|
||||||
^- (unit [term type])
|
^- (unit [term type])
|
||||||
=/ match/(list [term type])
|
=/ match=(list [term type])
|
||||||
%+ skim ids
|
%+ skim ids
|
||||||
|= [id=term ty=type]
|
|= [id=term ty=type]
|
||||||
=(sid id)
|
=(sid id)
|
||||||
|
Loading…
Reference in New Issue
Block a user