git.iko.soy/haskell-nova
on master help sign in
swap
788241511 ahead, 0 behind
5 files changed+433−390
since splitsnapshots
unifiedsplit
Haskell Language Server.novaextension/Scripts/download.js+42−1 Haskell Language Server.novaextension/Scripts/main.js+5−6 Haskell Language Server.novaextension/Scripts/utils.js+92−1 Haskell Language Server.novaextension/Syntaxes/Haskell.xml+94−223 Haskell Language Server.novaextension/extension.json+200−159
Haskell Language Server.novaextension/Scripts/download.js+42−1
@@ -5,6 +5,8 @@ const {
55const {
66 readStream,
77 getStorage,
8+ call,
9+ hasCustomEnv
810} = require("utils");
911
1012exports.getHLS = getHLS;
@@ -43,6 +45,9 @@ async function downloadTool(name) {
4345 const storagePath = getStorageForTool(name);
4446 console.log("Downloading " + storagePath);
4547 const urls = await getHLSAssets();
48+ if (!(name in urls)) {
49+ sendPermanentNotification("There is no pre-built HLS for GHC " + name ,"There is no pre-built version of HLS for GHC " + name + ". You can either build HLS yourself or update your project to one of the pre-built versions: https://github.com/haskell/haskell-language-server/releases")
50+ }
4651 const response = await fetch(urls[name]);
4752 if (!response.ok) {
4853 console.error(response.statusText);
@@ -128,7 +133,7 @@ async function getGHCVersion() {
128133 sendPermanentNotification(
129134 tool + " not installed!",
130135 "Please install " + tool +
131− " and restart Haskell Language Server.",
136+ " and restart Haskell Language Server.",
132137 );
133138 } else {
134139 sendPermanentNotification("Couldn't detect GHC version", x);
@@ -141,7 +146,28 @@ async function getGHCVersion() {
141146 return promise;
142147}
143148async function getHLS() {
149+ const explicitPath = nova.workspace.config.get("haskell-language-server-path")
150+ if (explicitPath) {
151+ sendNotification("HLS path specified in settings", "Using the path to haskell-language-server specified in settings.")
152+ return explicitPath
153+ }
154+
155+ const localHLSPath = await which("haskell-language-server").catch((_) => null)
156+ if (hasCustomEnv() && localHLSPath) {
157+ return localHLSPath
158+ }
159+
144160 const version = await getGHCVersion();
161+ if (localHLSPath) {
162+ sendNotification("Found HLS", "Found haskell-language-server in PATH. Checking if it is the right version.")
163+ const v = await getHLSVersion(localHLSPath)
164+ if (v === version) {
165+ sendNotification("Using local HLS", "The haskell-language-server in PATH has the right version. Using it.")
166+ return localHLSPath
167+ } else {
168+ sendNotification("Not using local HLS", "The haskell-language-server in PATH is built fot GHC " + v + " but we need GHC " + version + ". Trying other alternatives.")
169+ }
170+ }
145171 return await getTool(version);
146172}
147173
@@ -156,3 +182,18 @@ function getToolName(name) {
156182function notifyToolDownloading(name) {
157183 sendNotification("Downloading tool", "Downloading " + getToolName(name));
158184}
185+
186+function getHLSVersion(path) {
187+ return call(path, {
188+ args: ["--version"],
189+ })
190+ .then((x) => x.match(/\(GHC: (\S+)\)/)[1].trim())
191+ .catch((err) => sendPermanentNotification("HLS version check failed", err))
192+}
193+
194+function which(name) {
195+ return call("/usr/bin/which", {
196+ args: [name],
197+ shell: true,
198+ }).then((p) => p.trim())
199+}
Haskell Language Server.novaextension/Scripts/main.js+5−6
@@ -9,8 +9,9 @@ const {
99 getHLSConfig,
1010} = require("configuration");
1111const {
12− getFileName,
12+ getFileName, createEnv, getEnv
1313} = require("utils");
14+
1415exports.activate = function () {
1516 nova.commands.register("stop", (_workspace) => {
1617 stopServer();
@@ -107,10 +108,12 @@ function applyAllLSPEdits(edits, text) {
107108}
108109let lspClient = null;
109110async function startServer() {
111+ await createEnv()
110112 stopServer();
111113 const path = await getServerPath();
114+ const env = await getEnv()
112115 const serverOptions = {
113− path: path,
116+ path, env,
114117 args: ["lsp", "--cwd", nova.workspace.path],
115118 };
116119 const clientOptions = {
@@ -137,7 +140,3 @@ function stopServer() {
137140function getServerPath() {
138141 return getHLS();
139142}
140−
141−// function getLogPath() {
142−// return getStorage() + "/haskell-language-server.log";
143−// }
Haskell Language Server.novaextension/Scripts/utils.js+92−1
@@ -1,3 +1,8 @@
1+const {
2+ sendNotification,
3+ sendPermanentNotification,
4+} = require("notifications");
5+
16function readStream(readableStream) {
27 return new Promise((resolve, _reject) => {
38 const reader = readableStream.getReader();
@@ -48,4 +53,90 @@ function traceRaw(x) {
4853 return x;
4954}
5055
51−module.exports = { readStream, getStorage, getFileName, trace, traceRaw };
56+async function call(path, args) {
57+ const env = await getEnv()
58+ const process = new Process(path, {...args, ...{env}});
59+ const promise = new Promise((resolve, reject) => {
60+ process.onDidExit((exitCode) => {
61+ console.log(exitCode)
62+ if (exitCode == 0) {
63+ readStream(process.stdout).then((x) => {
64+ resolve(x);
65+ });
66+ } else {
67+ readStream(process.stderr).then((x) => {
68+ reject(x)
69+ });
70+ }
71+ });
72+ })
73+ process.start()
74+ return promise
75+}
76+
77+
78+function parseEnvs(x) {
79+ const env = {}
80+ for (line of x.split("\n")) {
81+ const res = line.match(/(.*?)=(.*)/)
82+ if (res) {
83+ env[res[1]] = res[2]
84+ }
85+ }
86+
87+ console.log(JSON.stringify(env))
88+
89+ return env
90+}
91+
92+let envCache = null
93+
94+async function createEnv() {
95+ const generator = nova.workspace.config.get("env-generator")
96+ if (generator) {
97+ const [prog, ...args] = generator.split(/\s+/)
98+ sendNotification("Generating environment", "Executing " + generator + ".")
99+ const process = new Process(prog, {
100+ shell: true,
101+ args,
102+ cwd: nova.workspace.path
103+ });
104+ const promise = new Promise((resolve, reject) => {
105+ process.onDidExit((exitCode) => {
106+ console.log(exitCode)
107+ if (exitCode == 0) {
108+ readStream(process.stdout).then((x) => {
109+ resolve(x);
110+ });
111+ } else {
112+ readStream(process.stderr).then((x) => {
113+ reject(x)
114+ });
115+ }
116+ });
117+ })
118+ process.start()
119+
120+ const envStr = await promise
121+ .catch((err) => sendPermanentNotification("Generating environment failed", err))
122+ envCache = parseEnvs(envStr)
123+ } else {
124+ envCache = {}
125+ }
126+}
127+
128+async function getEnv() {
129+ console.log(JSON.stringify(envCache))
130+ if (!envCache) {
131+ await createEnv()
132+ }
133+ return envCache
134+}
135+
136+
137+function hasCustomEnv() {
138+ return (nova.workspace.config.get("env-generator") !== null)
139+}
140+
141+module.exports = { readStream, getStorage, getFileName, trace, traceRaw, call, createEnv, hasCustomEnv, getEnv };
142+
Haskell Language Server.novaextension/Syntaxes/Haskell.xml+94−223
@@ -1,9 +1,9 @@
11<?xml version="1.0" encoding="UTF-8"?>
22<syntax name="haskell">
33 <meta>
4− <name>Haskell</name>
5− <type>compiled</type>
6− <preferred-file-extension>hs</preferred-file-extension>
4+ <name>Haskell</name>
5+ <type>compiled</type>
6+ <preferred-file-extension>hs</preferred-file-extension>
77 </meta>
88
99 <detectors>
@@ -57,7 +57,6 @@
5757 <include syntax="self" collection="type-family-definition" />
5858 <include syntax="self" collection="pattern-definition" />
5959 <include syntax="self" collection="type-definition" />
60− <!-- <include syntax="self" collection="type-annotation" /> -->
6160 <include syntax="self" collection="GADT-definition" />
6261 <include syntax="self" collection="instance" />
6362 <include syntax="self" collection="typeclass" />
@@ -66,7 +65,6 @@
6665
6766 <template-scopes>
6867 <include syntax="self" collection="Quote" />
69− <include syntax="self" collection="comments" />
7068 </template-scopes>
7169
7270 <collections>
@@ -79,54 +77,27 @@
7977 </collection>
8078
8179 <collection name="expressions">
82− <scope>
83− <expression></expression>
80+ <scope name="haskell.construct.keyword.at">
81+ <expression>@</expression>
82+ </scope>
83+ <scope name="haskell.construct.keyword.case-arrow">
84+ <expression>-&gt;</expression>
85+ </scope>
86+ <scope name="haskell.construct.keyword.bind-arrow">
87+ <expression>&lt;-</expression>
8488 </scope>
85− <include syntax="self" collection="do-bind" />
89+ <include syntax="self" collection="keywords" />
8690 <include syntax="self" collection="literal" />
8791 <include syntax="self" collection="operators" />
92+ <include syntax="self" collection="record-match" />
8893 <include syntax="self" collection="list" />
94+ <include syntax="self" collection="view-pattern" />
8995 <include syntax="self" collection="lambda-case" />
9096 <include syntax="self" collection="lambda-head" />
91− <include syntax="self" collection="type-applications" />
92− <include syntax="self" collection="outer-case-expression" />
97+ <include syntax="self" collection="case-expression" />
98+ <include syntax="self" collection="qconid" />
9399 <include syntax="self" collection="qvarid" />
94100 <include syntax="self" collection="tuple" />
95−
96−
97− <!-- Needed for do binds -->
98− <!-- <include syntax="self" collection="pattern-match" /> -->
99− </collection>
100−
101− <collection name="pattern-match">
102− <include syntax="self" collection="literal" />
103− <include syntax="self" collection="tuple-match" />
104− <!-- <include syntax="self" collection="at-pattern" /> -->
105− <include syntax="self" collection="varid" />
106− <include syntax="self" collection="qconid" />
107− <include syntax="self" collection="record-match" />
108− <include syntax="self" collection="list-pattern" />
109− <include syntax="self" collection="view-pattern" />
110− </collection>
111−
112− <collection name="type-applications">
113− <scope name="type-applications">
114− <starts-with>
115− <expression>(\s@)\(</expression>
116− <capture number="1" name="haskell.keyword.operator.typeapplication" />
117− </starts-with>
118− <ends-with>
119− <expression>)</expression>
120− </ends-with>
121− <subscopes>
122− <include syntax="self" collection="type" />
123− </subscopes>
124− </scope>
125− <scope name="type-applications-single">
126− <expression>(@)(\w+)</expression>
127− <capture number="1" name="haskell.keyword.operator.typeapplication" />
128− <capture number="2" name="haskell.identifier.type" />
129− </scope>
130101 </collection>
131102
132103 <collection name="Quote">
@@ -165,8 +136,8 @@
165136 <capture number="1" name="haskell.pattern.record.bracket" />
166137 </ends-with>
167138 <subscopes>
168− <include syntax="self" collection="pattern-match" />
169− <include syntax="self" collection="varid" />
139+ <include syntax="self" collection="comments" />
140+ <include syntax="self" collection="expressions" />
170141 <scope name="record-sep">
171142 <expression>=</expression>
172143 </scope>
@@ -188,6 +159,7 @@
188159 <capture number="1" name="haskell.pattern.record.bracket" />
189160 </ends-with>
190161 <subscopes>
162+ <include syntax="self" collection="comments" />
191163 <scope name="haskell.pattern.record.wildcard">
192164 <expression>\.\.</expression>
193165 </scope>
@@ -214,29 +186,12 @@
214186 <capture number="1" name="haskell.list.bracket" />
215187 </ends-with>
216188 <subscopes>
189+ <include syntax="self" collection="comments" />
217190 <include syntax="self" collection="expressions" />
218191 </subscopes>
219192 </scope>
220193 </collection>
221194
222− <collection name="list-pattern">
223− <symbol type="expression" />
224− <scope name="haskell.pattern.list">
225− <starts-with>
226− <expression>(\[)</expression>
227− <capture number="1" name="haskell.pattern.list.bracket" />
228− </starts-with>
229− <ends-with>
230− <expression>(\])</expression>
231− <capture number="1" name="haskell.pattern.list.bracket" />
232− </ends-with>
233− <subscopes>
234− <include syntax="self" collection="pattern-match" />
235− </subscopes>
236− </scope>
237− </collection>
238−
239−
240195 <collection name="view-pattern">
241196 <scope name="haskell.pattern.view">
242197 <symbol type="expression" />
@@ -253,24 +208,7 @@
253208 <scope name="haskell.pattern.view.operator.arrow">
254209 <expression>-&gt;</expression>
255210 </scope>
256− <include syntax="self" collection="pattern-match" />
257− </subscopes>
258− </scope>
259− </collection>
260−
261− <collection name="tuple-match">
262− <symbol type="expression" />
263− <scope name="haskell.pattern.tuple">
264− <starts-with>
265− <expression>(\()</expression>
266− <capture number="1" name="haskell.pattern.tuple.bracket" />
267− </starts-with>
268− <ends-with>
269− <expression>(\))</expression>
270− <capture number="1" name="haskell.pattern.tuple.bracket" />
271− </ends-with>
272− <subscopes>
273− <include syntax="self" collection="pattern-match" />
211+ <include syntax="self" collection="expressions" />
274212 </subscopes>
275213 </scope>
276214 </collection>
@@ -286,53 +224,11 @@
286224 <capture number="1" name="haskell.case.keyword.condition" />
287225 </ends-with>
288226 <subscopes anchored="true">
289− <include syntax="self" collection="pattern-match" />
290− </subscopes>
291− </scope>
292− </collection>
293−
294− <collection name="case-match">
295− <scope name="case-match">
296− <starts-with>
297− <expression>(?=((\h*)\S.*-&gt;($|\h)))</expression>
298− </starts-with>
299− <ends-with>
300− <expression>-&gt;</expression>
301− </ends-with>
302− <subscopes anchored="true">
303− <include syntax="self" collection="pattern-match" />
304− </subscopes>
305− </scope>
306− </collection>
307−
308− <collection name="inner-case-expressions">
309− <scope name="inner-case-expressions">
310− <starts-with>
311− <expression>(?=((\h*)\S.*-&gt;($|\h)))</expression>
312− </starts-with>
313− <ends-with>
314− <template>^(?!\1)(?!\2\h)(?!\s*$)</template>
315− </ends-with>
316− <subscopes anchored="true" skip-whitespace="false">
317− <include syntax="self" collection="case-match" />
318227 <include syntax="self" collection="expressions" />
319228 </subscopes>
320229 </scope>
321230 </collection>
322231
323− <collection name="outer-case-expression">
324− <scope name="outer-case-expression">
325− <starts-with>
326− <expression>(?=case)</expression>
327− </starts-with>
328− <ends-with />
329− <subscopes anchored="true" skip-whitespace="false">
330− <include syntax="self" collection="case-expression" />
331− <include syntax="self" collection="inner-case-expressions" repeat="true" />
332− </subscopes>
333− </scope>
334− </collection>
335−
336232 <collection name="tuple">
337233 <symbol type="expression" />
338234 <scope name="haskell.tuple">
@@ -345,73 +241,73 @@
345241 <capture number="1" name="haskell.tuple.bracket" />
346242 </ends-with>
347243 <subscopes>
244+ <include syntax="self" collection="comments" />
348245 <include syntax="self" collection="expressions" />
349246 </subscopes>
350247 </scope>
351248 </collection>
352249
353250 <collection name="typeclass">
354− <symbol type="interface" />
355− <scope name="haskell.definition.class">
251+ <scope name="haskell.definition.class.head">
252+ <symbol type="class" scope="global" name-selector="haskell.keyword.construct.class.name">
253+ <context behavior="whitespace" foldable="true" />
254+ </symbol>
356255 <starts-with>
357256 <expression>^(\h*)(class)($|\h)</expression>
358257 <capture number="2" name="haskell.keyword.construct.class" />
359258 </starts-with>
360− <ends-with>
361− <template>^(?!\s+\1\S)(?!\s*$)</template>
362− </ends-with>
363− <subscopes>
364− <scope name="haskell.keyword.construct.where">
259+ <ends-with />
260+ <subscopes anchored="true">
261+ <scope name="haskell.keyword.construct.class.name">
262+ <starts-with>
263+ <expression></expression>
264+ </starts-with>
265+ <ends-with>
266+ <expression>(?=(where|^\s*$))</expression>
267+ </ends-with>
268+ <subscopes>
269+ <include syntax="self" collection="comments" />
270+ <include syntax="self" collection="type" />
271+ </subscopes>
272+ </scope>
273+ <scope name="haskell.keyword.construct.where" optional="true">
365274 <expression>where</expression>
366275 </scope>
367− <include syntax="self" collection="type" />
368− <include syntax="self" collection="type-definition" />
369− <!-- <include syntax="self" collection="type-annotation" /> -->
370− <include syntax="self" collection="definition" />
371276 </subscopes>
372277 </scope>
373278 </collection>
374279
375280 <collection name="instance">
376281 <scope name="haskell.instance">
377− <symbol type="category">
282+ <symbol type="category" name-selector="haskell.keyword.construct.instance.name">
378283 <context behavior="whitespace" foldable="true" />
379284 </symbol>
380285 <starts-with>
381286 <expression>^(\h*)(instance)($|\h)</expression>
382287 <capture number="2" name="haskell.keyword.construct.instance" />
383288 </starts-with>
384− <ends-with>
385− <template>^(?!\s+\1\S)(?!\s*$)</template>
386− </ends-with>
387− <subscopes anchored="true" skip-whitespace="false">
388− <scope name="haskell.construct.instance.head">
289+ <ends-with />
290+ <subscopes anchored="true">
291+ <scope name="haskell.keyword.construct.instance.name">
389292 <starts-with>
390293 <expression></expression>
391294 </starts-with>
392295 <ends-with>
393− <expression>where</expression>
394− <capture number="0" name="haskell.keyword.construct.where" />
296+ <expression>(?=(where|^\s*$))</expression>
395297 </ends-with>
396298 <subscopes>
397− <include syntax="self" collection="type" optional="true" repeat="true" />
299+ <include syntax="self" collection="type" />
398300 </subscopes>
399301 </scope>
400− <include syntax="self" collection="instance-body" />
302+ <scope name="haskell.keyword.construct.where" optional="true">
303+ <expression>where</expression>
304+ </scope>
401305 </subscopes>
402306 </scope>
403307 </collection>
404308
405− <collection name="instance-body">
406− <include syntax="self" collection="definition" />
407− <include syntax="self" collection="type-definition" />
408− </collection>
409−
410309 <collection name="type-family-definition">
411310 <scope name="haskell.definition.type-family.type">
412− <symbol type="type" scope="global">
413− <context behavior="subtree" foldable="false" />
414− </symbol>
415311 <starts-with>
416312 <expression>^(\h*)(type\h+family)</expression>
417313 <capture number="2" name="haskell.keyword.construct.type-family" />
@@ -450,6 +346,7 @@
450346 <template>^(?!\s+\1\S)(?!\s*$)</template>
451347 </ends-with>
452348 <subscopes>
349+ <include syntax="self" collection="comments" />
453350 <include syntax="self" collection="type" optional="true" repeat="true" />
454351 <scope>
455352 <expression>=</expression>
@@ -461,7 +358,7 @@
461358
462359 <collection name="definition">
463360 <scope name="haskell.definition.type.function">
464− <symbol type="function" scope="local">
361+ <symbol type="function">
465362 <context behavior="whitespace" foldable="true" />
466363 </symbol>
467364 <starts-with>
@@ -473,53 +370,15 @@
473370 <template>^(?!\1\3\s)(?!\s+\1\S)(?!\s*$)</template>
474371 </ends-with>
475372 <subscopes>
373+ <include syntax="self" collection="comments" />
476374 <include syntax="self" collection="type-annotation" />
477375 <include syntax="self" collection="implementation" />
478376 </subscopes>
479377 </scope>
480378 </collection>
481379
482− <collection name="do-bind">
483− <scope name="do-bind">
484− <symbol>
485− <context behavior="whitespace"></context>
486− </symbol>
487− <starts-with>
488− <expression>^(?=((\h*)\S.+&lt;-($|\h)))</expression>
489− </starts-with>
490− <ends-with>
491− <template>^(?!\1)(?!\2\h)(?!\s*$)</template>
492− </ends-with>
493− <subscopes>
494− <include syntax="self" collection="do-pattern" />
495− <include syntax="self" collection="expressions" />
496− <!-- <scope name="bind-arrow">
497− <expression>&lt;-</expression>
498− </scope> -->
499− </subscopes>
500− </scope>
501− </collection>
502−
503− <collection name="do-pattern">
504− <scope name="do-pattern">
505− <starts-with>
506− <expression>^(?=((\h*)\S.+&lt;-($|\h)))</expression>
507− </starts-with>
508− <ends-with>
509− <expression>&lt;-</expression>
510− </ends-with>
511− <subscopes>
512− <include syntax="self" collection="pattern-match" />
513− <!-- <scope name="bind-arrow">
514− <expression>&lt;-</expression>
515− </scope>
516− <include syntax="self" collection="expressions" repeat="true" /> -->
517− </subscopes>
518− </scope>
519− </collection>
520−
521380 <collection name="implementation">
522− <scope name="haskell.definition.type.function">
381+ <scope name="haskell.definition.type.function.implementation">
523382 <starts-with>
524383 <expression>^(\h*)(default\h+)?`?(\w(\w|')*)`?($|\h)</expression>
525384 <capture number="2" name="haskell.keyword.construct.default" />
@@ -528,7 +387,8 @@
528387 <ends-with>
529388 <template>^(?!\1\3\s)(?!\s+\1\S)(?!\s*$)</template>
530389 </ends-with>
531− <subscopes anchored="true">
390+ <subscopes>
391+ <include syntax="self" collection="comments" />
532392 <include syntax="self" collection="pattern-match" optional="true" repeat="true" />
533393 <scope>
534394 <expression>=</expression>
@@ -541,7 +401,7 @@
541401 </collection>
542402
543403 <collection name="type-annotation">
544− <scope name="haskell.definition.type.function">
404+ <scope name="haskell.definition.type.function.type-signature">
545405 <starts-with>
546406 <expression>^(\h*)`?(\w(\w|')*)`?\h*::($|\h)</expression>
547407 <capture number="2" name="haskell.identifier.function" />
@@ -550,6 +410,7 @@
550410 <template>^(?!\s+\1\S)(?!\s*$)</template>
551411 </ends-with>
552412 <subscopes>
413+ <include syntax="self" collection="comments" />
553414 <include syntax="self" collection="type" />
554415 </subscopes>
555416 </scope>
@@ -569,6 +430,7 @@
569430 <template>^(?!\s+\1\S)(?!\s*$)</template>
570431 </ends-with>
571432 <subscopes>
433+ <include syntax="self" collection="comments" />
572434 <include syntax="self" collection="type" />
573435 </subscopes>
574436 </scope>
@@ -588,6 +450,7 @@
588450 <template>^(?!\s+\1\S)(?!\s*$)</template>
589451 </ends-with>
590452 <subscopes>
453+ <include syntax="self" collection="comments" />
591454 <scope name="haskell.keyword.construct.where">
592455 <expression>where</expression>
593456 </scope>
@@ -603,15 +466,16 @@
603466 <collection name="gadt-constructor">
604467 <scope name="haskell.identifier.type.struct.data.constructor">
605468 <symbol type="constructor">
606− <context behavior="whitespace" />
469+ <context behavior="subtree" foldable="true" />
607470 </symbol>
608− <expression>(^|=|\|)\h+([A-Z](\w|')*)</expression>
609− <capture number="2" name="haskell.identifier.data.name" />
610− </scope>
611− <scope name="identifier.type.struct.GADT.constructor">
612− <symbol type="constructor"></symbol>
613− <expression>^\h+([A-Z](\w|')*)</expression>
614− <capture number="1" name="haskell.identifier.data.name" />
471+ <starts-with>
472+ <expression>(^|=|\||^)\h+([A-Z](\w|')*)</expression>
473+ <capture number="2" name="haskell.identifier.data.name" />
474+ </starts-with>
475+ <ends-with />
476+ <subscopes anchored="true">
477+ <include syntax="self" collection="record-definition" />
478+ </subscopes>
615479 </scope>
616480 </collection>
617481
@@ -619,6 +483,10 @@
619483 <scope name="haskell.record.construct.deriving.keyword">
620484 <expression>deriving(\h+(newtype|stock|anyclass))?</expression>
621485 </scope>
486+ <scope name="haskell.record.construct.deriving.keyword">
487+ <include syntax="self" collection="comments" />
488+ <expression>via</expression>
489+ </scope>
622490 </collection>
623491
624492 <collection name="record-definition">
@@ -635,6 +503,7 @@
635503 <capture number="1" name="haskell.record.bracket" />
636504 </ends-with>
637505 <subscopes>
506+ <include syntax="self" collection="comments" />
638507 <include syntax="self" collection="record-definition-field-name" />
639508 <include syntax="self" collection="type" />
640509 </subscopes>
@@ -666,6 +535,7 @@
666535 <expression>\)</expression>
667536 </ends-with>
668537 <subscopes>
538+ <include syntax="self" collection="comments" />
669539 <scope name="haskell.construct.type.typle.comma">
670540 <expression>\,</expression>
671541 </scope>
@@ -680,6 +550,7 @@
680550 <expression>\]</expression>
681551 </ends-with>
682552 <subscopes>
553+ <include syntax="self" collection="comments" />
683554 <include syntax="self" collection="type" />
684555 </subscopes>
685556 </scope>
@@ -699,7 +570,7 @@
699570 <expression>forall</expression>
700571 </scope>
701572 <scope name="haskell.identifier.type.variable">
702− <expression>(?!where)(?!=)((?!(\(|\)|\,|\!))\S)((?!(\(|\)|\,))\S)*</expression>
573+ <expression>(?!where)(?!=)((?!(\(|\)|\,|\!))\S)((?!(\(|\)|\,))\w)*</expression>
703574 </scope>
704575 </collection>
705576
@@ -714,6 +585,7 @@
714585 <template>^(?!\s+\1\S)(?!\s*$)</template>
715586 </ends-with>
716587 <subscopes>
588+ <include syntax="self" collection="comments" />
717589 <scope name="haskell.keyword.construct.where">
718590 <expression>where</expression>
719591 </scope>
@@ -733,6 +605,7 @@
733605 <capture number="1" name="haskell.type-list.bracket" />
734606 </ends-with>
735607 <subscopes>
608+ <include syntax="self" collection="comments" />
736609 <include syntax="self" collection="type" />
737610 </subscopes>
738611 </scope>
@@ -749,6 +622,7 @@
749622 <capture number="1" name="haskell.keyword.construct.lambda" />
750623 </ends-with>
751624 <subscopes>
625+ <include syntax="self" collection="comments" />
752626 <include syntax="self" collection="pattern-match" />
753627 </subscopes>
754628 </scope>
@@ -770,6 +644,7 @@
770644 <template>^(?!\1\s*\S)(?!s*$)</template>
771645 </ends-with>
772646 <subscopes>
647+ <include syntax="self" collection="comments" />
773648 <include syntax="self" collection="definition" />
774649 </subscopes>
775650 </scope>
@@ -809,12 +684,12 @@
809684
810685
811686 <collection name="strings">
812− <scope name="haskell.string.double-quoted">
687+ <scope name="haskell.string.double-quoted" spell-check="true">
813688 <starts-with>
814− <expression>"</expression>
689+ <expression>&quot;</expression>
815690 </starts-with>
816691 <ends-with>
817− <expression>"</expression>
692+ <expression>&quot;</expression>
818693 </ends-with>
819694 <subscopes>
820695 <scope name="haskell.string.escape-sequences">
@@ -851,6 +726,7 @@
851726 </ends-with>
852727 <subscopes>
853728 <scope name="identifier.haskell.type">
729+ <symbol type="expression" />
854730 <symbol type="expression" />
855731 <expression>([A-Z](\w|')*)\h*(\(\h*\.\.\h*\))?</expression>
856732 <capture number="1" name="identifier.type" />
@@ -875,6 +751,7 @@
875751 </ends-with>
876752 <subscopes>
877753 <scope name="haskell.construct.qualified">
754+ <symbol type="expression" />
878755 <expression>qualified</expression>
879756 <capture number="0" name="haskell.construct.keyword.qualified" />
880757 </scope>
@@ -892,6 +769,7 @@
892769 </ends-with>
893770 <subscopes anchored="true">
894771 <include syntax="self" collection="import-list" />
772+ <symbol type="expression" />
895773 </subscopes>
896774 </scope>
897775
@@ -925,6 +803,7 @@
925803 </ends-with>
926804 <subscopes>
927805 <scope name="haskell.identifier.struct">
806+ <symbol type="expression" />
928807 <symbol type="reference" scope="local" />
929808 <expression>([A-Z](\w|')*)\h*(\(\h*\.\.\h*\))?</expression>
930809 <capture number="1" name="haskell.import-list.identifier.type.name" />
@@ -938,13 +817,6 @@
938817 </scope>
939818 </collection>
940819
941− <!-- <collection name="special">
942− <scope>
943− <expression>(;|,)</expression>
944− </scope>
945− </collection> -->
946−
947−
948820 <collection name="reservedop">
949821 <scope name="keyword.operator">
950822 <expression>(\.\.|:|::|=|\\|\||&lt;-|-&gt;|@|~|=>)</expression>
@@ -952,10 +824,11 @@
952824 </collection>
953825
954826 <collection name="keywords">
955− <scope name="haskell.keyword.modifier">
827+ <scope name="haskell.keyword.self">
956828 <symbol type="keyword" />
957829 <strings>
958830 <string>do</string>
831+ <string>mdo</string>
959832 <string>in</string>
960833 <string>infix</string>
961834 <string>infixl</string>
@@ -993,20 +866,18 @@
993866 <strings>
994867 <string>undefined</string>
995868 <string>_</string>
869+ <string>@</string>
996870 </strings>
997871 </scope>
998872 </collection>
999873
1000874 <collection name="comments">
1001875 <scope name="haskell.comment.single" spell-check="true">
1002− <starts-with>
1003− <expression>--</expression>
1004− </starts-with>
1005− <ends-with>
1006− <expression>$</expression>
1007− </ends-with>
876+ <symbol type="comment" />
877+ <expression> --.*$</expression>
1008878 </scope>
1009879 <scope name="haskell.comment.block" spell-check="true">
880+ <symbol type="comment" />
1010881 <starts-with>
1011882 <expression>{-</expression>
1012883 </starts-with>
Haskell Language Server.novaextension/extension.json+200−159
@@ -6,292 +6,333 @@
66 "version": "1.0",
77 "categories": ["languages", "formatters"],
88 "main": "main.js",
9− "entitlements": {
9+ "entitlements":
10+ {
1011 "process": true,
1112 "filesystem": "readwrite",
1213 "requests": true
1314 },
14− "configWorkspace": [{
15+ "configWorkspace": [
16+ {
1517 "key": "haskell-language-server-path",
1618 "title": "Haskell Language Server path",
1719 "description": "If you want to use a custom HLS build for this project, then specify the path to it here.",
1820 "type": "path",
1921 "placeholder": "/usr/local/bin/example"
20− }, {
22+ },
23+ {
24+ "key": "env-generator",
25+ "title": "Environment generator",
26+ "description": "You can specify a shell command which will be used to generate the environment, in which the extension will be executes. This is useful if you want to utilize `nix-shell`, `direnv` or any similar command.\n\nExpects the command to have the same stdout as the `env` command.",
27+ "type": "enum",
28+ "allowsCustom": true,
29+ "values": ["nix-shell --run env", "direnv exec env"]
30+ },
31+ {
2132 "type": "section",
2233 "title": "Haskell Language Server settings",
23− "children": [{
24− "key": "haskell.formattingProvider",
25− "title": "Code formatter",
26− "type": "enum",
27− "values": [
28− "brittany",
29− "floskell",
30− "fourmolu",
31− "ormolu",
32− "stylish-haskell",
33− "none"
34− ],
35− "default": "ormolu",
36− "description": "The formatter to use when formatting a document or range. Ensure the plugin is enabled."
37− }, {
38− "key": "haskell.checkProject",
39− "title": "Check whole project",
40− "type": "boolean",
41− "default": false,
42− "description": "Whether to typecheck the entire project on load. It could drive to bad perfomance in large projects."
43− }, {
44− "key": "haskell.maxCompletions",
45− "type": "number",
46− "title": "Maximum number of completions",
47− "description": "Maximum number of completions sent to the editor.",
48− "default": 40
49− }, {
50− "type": "section",
51− "title": "Plugin settings",
52− "children": [{
34+ "description":"Some of the features are not supported in Nova. Some of them are explicitly marked as not supported, but it is not exhaustive.",
35+ "children": [
36+ {
37+ "key": "haskell.formattingProvider",
38+ "title": "Code formatter",
39+ "type": "enum",
40+ "values": [
41+ "brittany",
42+ "floskell",
43+ "fourmolu",
44+ "ormolu",
45+ "stylish-haskell",
46+ "none"
47+ ],
48+ "default": "ormolu",
49+ "description": "The formatter to use when formatting a document or range. Ensure the plugin is enabled."
50+ },
51+ {
52+ "key": "haskell.checkProject",
53+ "title": "Check whole project",
54+ "type": "boolean",
55+ "default": false,
56+ "description": "Whether to typecheck the entire project on load. It could lead to bad perfomance in large projects."
57+ },
58+ {
59+ "title": "Completions",
5360 "type": "section",
54− "title": "Import lens",
55− "description": "Not currently implemented in Nova",
56− "children": [{
57− "key": "haskell.plugin.importLens.codeActionsOn",
58− "title": "Enable code actions",
59− "type": "boolean",
61+ "children": [
62+ {
63+ "key": "haskell.plugin.ghcide-completions.config.autoExtendOn",
64+ "title": "Extend with out-of-scope identifiers",
65+ "description": "Extends the import list automatically when completing a out-of-scope identifier",
6066 "default": true,
61− "description": "Enables explicit imports code actions"
62− }, {
63− "key": "haskell.plugin.importLens.codeLensOn",
64− "title": "Enable code lens",
65− "type": "boolean",
67+ "type": "boolean"
68+ },
69+ {
70+ "key": "haskell.plugin.ghcide-completions.config.snippetsOn",
71+ "title": "Insert snippets",
72+ "description": "Inserts snippets when using code completions",
6673 "default": true,
67− "description": "Enables explicit imports code lenses"
74+ "type": "boolean"
75+ },
76+ {
77+ "key": "haskell.maxCompletions",
78+ "type": "number",
79+ "title": "Maximum number of completions",
80+ "description": "Maximum number of completions sent to the editor.",
81+ "default": 40
6882 }]
69− }, {
83+ },
84+ {
7085 "title": "HLint",
7186 "type": "section",
72− "children": [{
87+ "children": [
88+ {
7389 "key": "haskell.plugin.hlint.codeActionsOn",
7490 "title": "Enable code actions",
7591 "type": "boolean",
7692 "default": true,
7793 "description": "Enables hlint code actions (apply hints)"
78− }, {
94+ },
95+ {
7996 "key": "haskell.plugin.hlint.diagnosticsOn",
8097 "title": "Enable diagnostics",
8198 "type": "boolean",
8299 "default": true,
83100 "description": "Enables hlint diagnostics"
84− }, {
85− "title": "Configuration",
86− "type": "section",
87− "children": [{
88− "key": "haskell.plugin.hlint.config.flags",
89− "title": "Flags",
90− "description": "Flags used by hlint",
91− "default": [],
92− "type": "stringArray"
93− }]
101+ },
102+ {
103+ "key": "haskell.plugin.hlint.config.flags",
104+ "title": "Flags",
105+ "description": "Flags used by hlint",
106+ "default": [],
107+ "type": "stringArray"
108+ }]
109+ },
110+ {
111+ "type": "section",
112+ "title": "Import lens",
113+ "description": "Not currently implemented in Nova",
114+ "children": [
115+ {
116+ "key": "haskell.plugin.importLens.codeActionsOn",
117+ "title": "Enable code actions",
118+ "type": "boolean",
119+ "default": true,
120+ "description": "Enables explicit imports code actions"
121+ },
122+ {
123+ "key": "haskell.plugin.importLens.codeLensOn",
124+ "title": "Enable code lens",
125+ "type": "boolean",
126+ "default": true,
127+ "description": "Enables explicit imports code lenses"
94128 }]
95− }, {
129+ },
130+
131+ {
96132 "title": "Eval",
97133 "type": "section",
98− "children": [{
134+ "children": [
135+ {
99136 "key": "haskell.plugin.eval.globalOn",
100137 "title": "Enable",
101138 "type": "boolean",
102139 "default": true,
103140 "description": "Enables eval plugin"
104141 }]
105− }, {
142+ },
143+ {
106144 "title": "Module name",
107145 "type": "section",
108− "children": [{
146+ "children": [
147+ {
109148 "key": "haskell.plugin.moduleName.globalOn",
110149 "title": "Enable",
111150 "type": "boolean",
112151 "default": true,
113152 "description": "Enables module name plugin"
114153 }]
115− }, {
154+ },
155+ {
116156 "title": "Splice",
117157 "type": "section",
118− "children": [{
158+ "children": [
159+ {
119160 "key": "haskell.plugin.splice.globalOn",
120161 "title": "Enable",
121162 "type": "boolean",
122163 "default": true,
123164 "description": "Enables splice plugin (expand template haskell definitions)"
124165 }]
125− }, {
166+ },
167+ {
126168 "title": "Haddock comments",
127169 "type": "section",
128− "children": [{
170+ "children": [
171+ {
129172 "key": "haskell.plugin.haddockComments.globalOn",
130173 "title": "Enable",
131174 "type": "boolean",
132175 "default": true,
133176 "description": "Enables haddock comments plugin"
134177 }]
135− }, {
178+ },
179+ {
136180 "title": "Class",
137181 "type": "section",
138− "children": [{
182+ "children": [
183+ {
139184 "key": "haskell.plugin.class.globalOn",
140185 "title": "Enable",
141186 "type": "boolean",
142187 "default": true,
143188 "description": "Enables type class plugin"
144189 }]
145− }, {
190+ },
191+ {
146192 "title": "Retrie",
147193 "type": "section",
148− "children": [{
194+ "children": [
195+ {
149196 "key": "haskell.plugin.retrie.globalOn",
150197 "title": "Enable",
151198 "type": "boolean",
152199 "default": true,
153200 "description": "Enables retrie plugin"
154201 }]
155− }, {
202+ },
203+ {
156204 "title": "Wingman",
157205 "type": "section",
158− "children": [{
206+ "children": [
207+ {
159208 "key": "haskell.plugin.tactics.globalOn",
160209 "title": "Enable",
161210 "type": "boolean",
162211 "default": true,
163212 "description": "Enables Wingman (tactics) plugin"
164− }, {
165− "title": "Configuration",
166− "type": "section",
167− "children": [{
168− "key": "haskell.plugin.tactics.config.auto_gas",
169− "title": "Gas",
170− "description": "The depth of the search tree when performing \"Attempt to fill hole\". Bigger values will be able to derive more solutions, but will take exponentially more time.",
171− "default": 4,
172− "type": "number"
173− }, {
174− "key": "haskell.plugin.tactics.config.hole_severity",
175− "title": "Hole severity",
176− "description": "The severity to use when showing hole diagnostics.",
177− "values": [
178− 1,
179− 2,
180− 3,
181− 4,
182− null
183− ],
184− "default": null,
185− "type": "enum"
186− }, {
187− "key": "haskell.plugin.tactics.config.max_use_ctor_actions",
188− "title": "Max number of constructors",
189− "type": "number",
190− "default": 5,
191− "description": "Maximum number of `Use constructor <x>` code actions that can appear"
192− }, {
193− "key": "haskell.plugin.tactics.config.timeout_duration",
194− "title": "Timeout",
195− "description": "The timeout for Wingman actions, in seconds",
196− "default": 2,
197− "type": "number"
198− }, {
199− "key": "haskell.plugin.tactics.config.proofstate_styling",
200− "title": "Proof states",
201− "description": "Should Wingman emit styling markup when showing metaprogram proof states?",
202− "default": true,
203− "type": "boolean"
204− }]
213+ },
214+ {
215+ "key": "haskell.plugin.tactics.config.auto_gas",
216+ "title": "Gas",
217+ "description": "The depth of the search tree when performing \"Attempt to fill hole\". Bigger values will be able to derive more solutions, but will take exponentially more time.",
218+ "default": 4,
219+ "type": "number"
220+ },
221+ {
222+ "key": "haskell.plugin.tactics.config.hole_severity",
223+ "title": "Hole severity",
224+ "description": "The severity to use when showing hole diagnostics.",
225+ "values": [
226+ 1,
227+ 2,
228+ 3,
229+ 4,
230+ null
231+ ],
232+ "default": null,
233+ "type": "enum"
234+ },
235+ {
236+ "key": "haskell.plugin.tactics.config.max_use_ctor_actions",
237+ "title": "Max number of constructors",
238+ "type": "number",
239+ "default": 5,
240+ "description": "Maximum number of `Use constructor <x>` code actions that can appear"
241+ },
242+ {
243+ "key": "haskell.plugin.tactics.config.timeout_duration",
244+ "title": "Timeout",
245+ "description": "The timeout for Wingman actions, in seconds",
246+ "default": 2,
247+ "type": "number"
248+ },
249+ {
250+ "key": "haskell.plugin.tactics.config.proofstate_styling",
251+ "title": "Proof states",
252+ "description": "Should Wingman emit styling markup when showing metaprogram proof states?",
253+ "default": true,
254+ "type": "boolean"
205255 }]
206− }, {
256+ },
257+ {
207258 "title": "Pragmas",
208259 "type": "section",
209− "children": [{
260+ "children": [
261+ {
210262 "key": "haskell.plugin.pragmas.codeActionsOn",
211263 "title": "Enable code actions",
212264 "type": "boolean",
213265 "default": true,
214266 "description": "Enables pragmas code actions"
215− }, {
267+ },
268+ {
216269 "key": "haskell.plugin.pragmas.completionOn",
217270 "title": "Enable completions",
218271 "type": "boolean",
219272 "default": true,
220273 "description": "Enables pragmas completions"
221274 }]
222− }, {
223− "title": "Completions",
224− "type": "section",
225− "children": [{
226− "title": "Configuration",
227− "type": "section",
228− "children": [{
229− "key": "haskell.plugin.ghcide-completions.config.autoExtendOn",
230− "title": "Extend with out-of-scope identifiers",
231− "description": "Extends the import list automatically when completing a out-of-scope identifier",
232− "default": true,
233− "type": "boolean"
234− }, {
235− "key": "haskell.plugin.ghcide-completions.config.snippetsOn",
236− "title": "Insert snippets",
237− "description": "Inserts snippets when using code completions",
238− "default": true,
239− "type": "boolean"
240− }]
241− }]
242− }, {
275+ },
276+ {
277+ "title": "Type lenses",
243278 "description": "Not currently implemented in Nova",
244279 "type": "section",
245− "children": [{
280+ "children": [
281+ {
246282 "key": "haskell.plugin.ghcide-type-lenses.globalOn",
247283 "title": "Enable",
248284 "type": "boolean",
249285 "default": true,
250286 "description": "Enables type lenses plugin"
251− }, {
252− "title": "Configuration",
253− "type": "section",
254− "children": [{
255− "key": "haskell.plugin.ghcide-type-lenses.config.mode",
256− "title": "Mode",
257− "type": "enum",
258− "default": true,
259− "description": "Control how type lenses are shown",
260− "values": ["always", "exported", "diagnostics"]
261− }]
287+ },
288+ {
289+ "key": "haskell.plugin.ghcide-type-lenses.config.mode",
290+ "title": "Mode",
291+ "type": "enum",
292+ "default": true,
293+ "description": "Control how type lenses are shown",
294+ "values": ["always", "exported", "diagnostics"]
262295 }]
263− }, {
296+ },
297+ {
264298 "title": "Refine imports",
265299 "type": "section",
266− "children": [{
300+ "children": [
301+ {
267302 "key": "haskell.plugin.refineImports.globalOn",
268303 "title": "Enable",
269304 "type": "boolean",
270305 "default": true,
271306 "description": "Enables refine imports plugin"
272307 }]
273− }]
274− }]
308+ }
309+ ]
275310 }],
276311 "activationEvents": ["onLanguage:haskell", "onLanguage:hs"],
277− "commands": {
278− "editor": [{
312+ "commands":
313+ {
314+ "editor": [
315+ {
279316 "title": "Format file with Haskell Language Server",
280317 "command": "format",
281318 "when": "editorSyntax == 'haskell' && editorHasFocus",
282− "filters": {
319+ "filters":
320+ {
283321 "syntaxes": ["haskell"]
284322 }
285323 }],
286− "extensions": [{
324+ "extensions": [
325+ {
287326 "title": "Stop",
288327 "paletteTitle": "Stop Haskell Language Server",
289328 "command": "stop"
290− }, {
329+ },
330+ {
291331 "title": "Restart",
292332 "paletteTitle": "Restart Haskell Language Server",
293333 "command": "restart"
294− }, {
334+ },
335+ {
295336 "title": "Clear cached versions",
296337 "paletteTitle": "Clear cached versions of Haskell Language Server",
297338 "command": "clear-cache"