blob: 3988eff1682c1164506e69c6296a7363a544546b (plain)

ofs	hex dump	ascii
0000	3b 45 4c 43 1c 00 00 00 0a 3b 3b 3b 20 43 6f 6d 70 69 6c 65 64 0a 3b 3b 3b 20 69 6e 20 45 6d 61	;ELC.....;;;.Compiled.;;;.in.Ema
0020	63 73 20 76 65 72 73 69 6f 6e 20 32 38 2e 31 0a 3b 3b 3b 20 77 69 74 68 20 61 6c 6c 20 6f 70 74	cs.version.28.1.;;;.with.all.opt
0040	69 6d 69 7a 61 74 69 6f 6e 73 2e 0a 0a 0a 0a 28 62 79 74 65 2d 63 6f 64 65 20 22 5c 33 30 30 5c	imizations.....(byte-code."\300\
0060	33 30 31 21 5c 32 31 30 5c 33 30 32 5c 33 30 33 5c 33 30 34 5c 33 30 35 5c 33 30 36 5c 33 30 37	301!\210\302\303\304\305\306\307
0080	5c 33 31 30 5c 33 31 31 5c 33 31 32 5c 33 31 33 26 09 5c 32 31 30 5c 33 31 34 5c 33 31 35 21 5c	\310\311\312\313&.\210\314\315!\
00a0	32 31 30 5c 33 31 36 5c 33 31 37 5c 33 32 30 5c 33 32 31 5c 33 32 32 44 44 5c 33 32 33 5c 33 32	210\316\317\320\321\322DD\323\32
00c0	34 5c 33 32 35 5c 33 32 36 5c 33 32 37 5c 33 30 36 5c 33 30 33 5c 33 31 32 5c 33 33 30 26 0b 5c	4\325\326\327\306\303\312\330&.\
00e0	32 31 30 5c 33 31 34 5c 33 33 31 21 5c 32 31 30 5c 33 31 36 5c 33 33 32 5c 33 32 30 5c 33 32 31	210\314\331!\210\316\332\320\321
0100	5c 33 33 33 44 44 5c 33 33 34 5c 33 32 34 5c 33 33 35 5c 33 32 36 5c 33 32 37 5c 33 30 36 5c 33	\333DD\334\324\335\326\327\306\3
0120	30 33 5c 33 31 32 5c 33 33 36 26 0b 5c 32 31 30 5c 33 31 34 5c 33 33 37 21 5c 32 31 30 5c 33 31	03\312\336&.\210\314\337!\210\31
0140	36 5c 33 34 30 5c 33 32 30 5c 33 32 31 5c 33 34 31 44 44 5c 33 34 32 5c 33 32 34 5c 33 34 33 5c	6\340\320\321\341DD\342\324\343\
0160	33 32 36 5c 33 34 34 5c 33 30 36 5c 33 30 33 5c 33 31 32 5c 33 34 35 26 0b 5c 32 31 30 5c 33 31	326\344\306\303\312\345&.\210\31
0180	36 5c 33 34 36 5c 33 32 30 5c 33 32 31 5c 33 34 37 44 44 5c 33 35 30 5c 33 30 36 5c 33 30 33 5c	6\346\320\321\347DD\350\306\303\
01a0	33 35 31 5c 33 35 32 5c 33 32 36 5c 33 35 33 26 09 5c 32 31 30 5c 33 31 36 5c 33 35 34 5c 33 32	351\352\326\353&.\210\316\354\32
01c0	30 5c 33 32 31 5c 33 35 35 44 44 5c 33 35 36 5c 33 32 36 5c 33 32 37 5c 33 30 36 5c 33 30 33 5c	0\321\355DD\356\326\327\306\303\
01e0	33 31 32 5c 33 35 37 26 09 5c 32 30 37 22 20 5b 72 65 71 75 69 72 65 20 6c 73 70 2d 6d 6f 64 65	312\357&.\207".[require.lsp-mode
0200	20 63 75 73 74 6f 6d 2d 64 65 63 6c 61 72 65 2d 67 72 6f 75 70 20 6c 73 70 2d 61 64 61 20 6e 69	.custom-declare-group.lsp-ada.ni
0220	6c 20 22 53 65 74 74 69 6e 67 73 20 66 6f 72 20 41 64 61 20 4c 61 6e 67 75 61 67 65 20 53 65 72	l."Settings.for.Ada.Language.Ser
0240	76 65 72 2e 22 20 3a 67 72 6f 75 70 20 74 6f 6f 6c 73 20 3a 74 61 67 20 22 4c 61 6e 67 75 61 67	ver.".:group.tools.:tag."Languag
0260	65 20 53 65 72 76 65 72 22 20 3a 70 61 63 6b 61 67 65 2d 76 65 72 73 69 6f 6e 20 28 6c 73 70 2d	e.Server".:package-version.(lsp-
0280	6d 6f 64 65 20 2e 20 22 36 2e 32 22 29 20 6c 73 70 2d 72 65 67 69 73 74 65 72 2d 63 75 73 74 6f	mode..."6.2").lsp-register-custo
02a0	6d 2d 73 65 74 74 69 6e 67 73 20 28 28 23 31 3d 22 61 64 61 2e 70 72 6f 6a 65 63 74 46 69 6c 65	m-settings.((#1="ada.projectFile
02c0	22 20 6c 73 70 2d 61 64 61 2d 70 72 6f 6a 65 63 74 2d 66 69 6c 65 20 6e 69 6c 29 29 20 63 75 73	".lsp-ada-project-file.nil)).cus
02e0	74 6f 6d 2d 64 65 63 6c 61 72 65 2d 76 61 72 69 61 62 6c 65 20 6c 73 70 2d 61 64 61 2d 70 72 6f	tom-declare-variable.lsp-ada-pro
0300	6a 65 63 74 2d 66 69 6c 65 20 66 75 6e 63 61 6c 6c 20 66 75 6e 63 74 69 6f 6e 20 23 5b 30 20 22	ject-file.funcall.function.#[0."
0320	5c 33 30 30 5c 32 30 37 22 20 5b 22 64 65 66 61 75 6c 74 2e 67 70 72 22 5d 20 31 20 23 32 3d 22	\300\207".["default.gpr"].1.#2="
0340	22 5d 20 22 53 65 74 20 74 68 65 20 70 72 6f 6a 65 63 74 20 66 69 6c 65 20 66 75 6c 6c 20 70 61	"]."Set.the.project.file.full.pa
0360	74 68 20 74 6f 20 63 6f 6e 66 69 67 75 72 65 20 74 68 65 20 6c 61 6e 67 75 61 67 65 20 73 65 72	th.to.configure.the.language.ser
0380	76 65 72 20 77 69 74 68 2e 5c 6e 20 20 54 68 65 20 7e 20 70 72 65 66 69 78 20 28 66 6f 72 20 74	ver.with.\n..The.~.prefix.(for.t
03a0	68 65 20 75 73 65 72 20 68 6f 6d 65 20 64 69 72 65 63 74 6f 72 79 29 20 69 73 20 73 75 70 70 6f	he.user.home.directory).is.suppo
03c0	72 74 65 64 2e 5c 6e 20 20 53 65 65 20 68 74 74 70 73 3a 2f 2f 67 69 74 68 75 62 2e 63 6f 6d 2f	rted.\n..See.https://github.com/
03e0	41 64 61 43 6f 72 65 2f 61 64 61 5f 6c 61 6e 67 75 61 67 65 5f 73 65 72 76 65 72 20 66 6f 72 20	AdaCore/ada_language_server.for.
0400	61 20 70 65 72 2d 70 72 6f 6a 65 63 74 5c 6e 20 20 63 6f 6e 66 69 67 75 72 61 74 69 6f 6e 20 65	a.per-project\n..configuration.e
0420	78 61 6d 70 6c 65 2e 22 20 3a 73 65 74 20 23 5b 35 31 34 20 22 5c 33 30 30 02 02 5c 33 30 31 23	xample.".:set.#[514."\300..\301#
0440	5c 32 30 37 22 20 5b 6c 73 70 2d 2d 73 65 74 2d 63 75 73 74 6f 6d 2d 70 72 6f 70 65 72 74 79 20	\207".[lsp--set-custom-property.
0460	23 31 23 5d 20 36 20 22 5c 6e 5c 6e 28 66 6e 20 53 59 4d 20 56 41 4c 29 22 5d 20 3a 74 79 70 65	#1#].6."\n\n(fn.SYM.VAL)"].:type
0480	20 73 74 72 69 6e 67 20 28 6c 73 70 2d 6d 6f 64 65 20 2e 20 22 36 2e 32 22 29 20 28 28 23 33 3d	.string.(lsp-mode..."6.2").((#3=
04a0	22 61 64 61 2e 64 65 66 61 75 6c 74 43 68 61 72 73 65 74 22 20 6c 73 70 2d 61 64 61 2d 6f 70 74	"ada.defaultCharset".lsp-ada-opt
04c0	69 6f 6e 2d 63 68 61 72 73 65 74 20 6e 69 6c 29 29 20 6c 73 70 2d 61 64 61 2d 6f 70 74 69 6f 6e	ion-charset.nil)).lsp-ada-option
04e0	2d 63 68 61 72 73 65 74 20 23 5b 30 20 22 5c 33 30 30 5c 32 30 37 22 20 5b 22 55 54 46 2d 38 22	-charset.#[0."\300\207".["UTF-8"
0500	5d 20 31 20 23 32 23 5d 20 22 54 68 65 20 63 68 61 72 73 65 74 20 74 6f 20 75 73 65 20 62 79 20	].1.#2#]."The.charset.to.use.by.
0520	74 68 65 20 41 64 61 20 4c 61 6e 67 75 61 67 65 20 73 65 72 76 65 72 2e 20 44 65 66 61 75 6c 74	the.Ada.Language.server..Default
0540	73 20 74 6f 20 27 55 54 46 2d 38 27 2e 22 20 23 5b 35 31 34 20 22 5c 33 30 30 02 02 5c 33 30 31	s.to.'UTF-8'.".#[514."\300..\301
0560	23 5c 32 30 37 22 20 5b 6c 73 70 2d 2d 73 65 74 2d 63 75 73 74 6f 6d 2d 70 72 6f 70 65 72 74 79	#\207".[lsp--set-custom-property
0580	20 23 33 23 5d 20 36 20 22 5c 6e 5c 6e 28 66 6e 20 53 59 4d 20 56 41 4c 29 22 5d 20 28 6c 73 70	.#3#].6."\n\n(fn.SYM.VAL)"].(lsp
05a0	2d 6d 6f 64 65 20 2e 20 22 36 2e 32 22 29 20 28 28 23 34 3d 22 61 64 61 2e 65 6e 61 62 6c 65 44	-mode..."6.2").((#4="ada.enableD
05c0	69 61 67 6e 6f 73 74 69 63 73 22 20 6c 73 70 2d 61 64 61 2d 65 6e 61 62 6c 65 2d 64 69 61 67 6e	iagnostics".lsp-ada-enable-diagn
05e0	6f 73 74 69 63 73 20 74 29 29 20 6c 73 70 2d 61 64 61 2d 65 6e 61 62 6c 65 2d 64 69 61 67 6e 6f	ostics.t)).lsp-ada-enable-diagno
0600	73 74 69 63 73 20 23 5b 30 20 22 5c 33 30 30 5c 32 30 37 22 20 5b 74 5d 20 31 20 23 32 23 5d 20	stics.#[0."\300\207".[t].1.#2#].
0620	22 41 20 62 6f 6f 6c 65 61 6e 20 74 6f 20 64 69 73 61 62 6c 65 20 64 69 61 67 6e 6f 73 74 69 63	"A.boolean.to.disable.diagnostic
0640	73 2e 20 44 65 66 61 75 6c 74 73 20 74 6f 20 74 72 75 65 2e 22 20 23 5b 35 31 34 20 22 5c 33 30	s..Defaults.to.true.".#[514."\30
0660	30 02 02 5c 33 30 31 23 5c 32 30 37 22 20 5b 6c 73 70 2d 2d 73 65 74 2d 63 75 73 74 6f 6d 2d 70	0..\301#\207".[lsp--set-custom-p
0680	72 6f 70 65 72 74 79 20 23 34 23 5d 20 36 20 22 5c 6e 5c 6e 28 66 6e 20 53 59 4d 20 56 41 4c 29	roperty.#4#].6."\n\n(fn.SYM.VAL)
06a0	22 5d 20 62 6f 6f 6c 65 61 6e 20 28 6c 73 70 2d 6d 6f 64 65 20 2e 20 22 36 2e 32 22 29 20 6c 73	"].boolean.(lsp-mode..."6.2").ls
06c0	70 2d 61 64 61 2d 61 6c 73 2d 65 78 65 63 75 74 61 62 6c 65 20 23 5b 30 20 22 5c 33 30 30 5c 32	p-ada-als-executable.#[0."\300\2
06e0	30 37 22 20 5b 22 61 64 61 5f 6c 61 6e 67 75 61 67 65 5f 73 65 72 76 65 72 22 5d 20 31 20 23 32	07".["ada_language_server"].1.#2
0700	23 5d 20 22 43 6f 6d 6d 61 6e 64 20 74 6f 20 73 74 61 72 74 20 74 68 65 20 41 64 61 20 6c 61 6e	#]."Command.to.start.the.Ada.lan
0720	67 75 61 67 65 20 73 65 72 76 65 72 2e 22 20 3a 72 69 73 6b 79 20 74 20 66 69 6c 65 20 6c 73 70	guage.server.".:risky.t.file.lsp
0740	2d 61 64 61 2d 61 6c 69 72 65 2d 65 78 65 63 75 74 61 62 6c 65 20 23 5b 30 20 22 5c 33 30 30 5c	-ada-alire-executable.#[0."\300\
0760	32 30 37 22 20 5b 22 61 6c 72 22 5d 20 31 20 23 32 23 5d 20 22 54 68 65 20 61 6c 69 72 65 20 65	207".["alr"].1.#2#]."The.alire.e
0780	78 65 63 75 74 61 62 6c 65 20 74 6f 20 72 75 6e 20 77 68 65 6e 20 61 20 70 72 6f 6a 65 63 74 20	xecutable.to.run.when.a.project.
07a0	69 73 20 64 65 74 65 63 74 65 64 2e 22 20 28 6c 73 70 2d 6d 6f 64 65 20 22 38 2e 30 2e 31 22 29	is.detected.".(lsp-mode."8.0.1")
07c0	5d 20 31 32 29 0a 23 40 34 30 20 41 64 64 20 65 6e 76 69 72 6f 6e 6d 65 6e 74 61 6c 20 76 61 72	].12).#@40.Add.environmental.var
07e0	69 61 62 6c 65 73 20 69 66 20 6e 65 65 64 65 64 2e 1f 0a 28 64 65 66 61 6c 69 61 73 20 27 6c 73	iables.if.needed...(defalias.'ls
0800	70 2d 61 64 61 2d 2d 65 6e 76 69 72 6f 6e 6d 65 6e 74 20 23 5b 30 20 22 5c 33 30 31 20 5c 33 30	p-ada--environment.#[0."\301.\30
0820	32 5c 33 30 33 02 21 5c 33 30 34 50 21 5c 32 30 35 2d 00 5c 33 30 35 08 21 5c 32 31 31 5c 32 30	2\303.!\304P!\205-.\305.!\211\20
0840	33 27 00 5c 33 30 36 01 5c 33 30 37 50 21 5c 33 31 30 01 5c 33 31 31 5c 22 5c 33 31 32 5c 33 31	3'.\306.\307P!\310.\311\"\312\31
0860	33 02 5c 22 5c 32 36 32 01 5c 32 36 32 01 5c 32 30 32 2b 00 5c 33 31 34 5c 33 31 35 02 5c 22 5c	3.\"\262.\262.\202+.\314\315.\"\
0880	32 36 32 01 5c 32 30 37 22 20 5b 6c 73 70 2d 61 64 61 2d 61 6c 69 72 65 2d 65 78 65 63 75 74 61	262.\207".[lsp-ada-alire-executa
08a0	62 6c 65 20 6c 73 70 2d 77 6f 72 6b 73 70 61 63 65 2d 72 6f 6f 74 20 66 69 6c 65 2d 65 78 69 73	ble.lsp-workspace-root.file-exis
08c0	74 73 2d 70 20 66 69 6c 65 2d 6e 61 6d 65 2d 61 73 2d 64 69 72 65 63 74 6f 72 79 20 22 61 6c 69	ts-p.file-name-as-directory."ali
08e0	72 65 2e 74 6f 6d 6c 22 20 65 78 65 63 75 74 61 62 6c 65 2d 66 69 6e 64 20 73 68 65 6c 6c 2d 63	re.toml".executable-find.shell-c
0900	6f 6d 6d 61 6e 64 2d 74 6f 2d 73 74 72 69 6e 67 20 22 20 70 72 69 6e 74 65 6e 76 20 2d 2d 75 6e	ommand-to-string.".printenv.--un
0920	69 78 22 20 73 70 6c 69 74 2d 73 74 72 69 6e 67 20 22 5c 6e 22 20 6d 61 70 63 61 72 20 23 5b 32	ix".split-string."\n".mapcar.#[2
0940	35 37 20 22 5c 33 30 30 5c 33 30 31 02 5c 22 5c 32 30 35 14 00 5c 33 30 32 5c 33 30 33 02 5c 22	57."\300\301.\"\205..\302\303.\"
0960	5c 33 30 32 5c 33 30 34 03 5c 22 01 01 42 5c 32 36 36 5c 32 30 32 5c 32 30 37 22 20 5b 73 74 72	\302\304.\"..B\266\202\207".[str
0980	69 6e 67 2d 6d 61 74 63 68 20 22 65 78 70 6f 72 74 5b 5b 3a 73 70 61 63 65 3a 5d 5d 5c 5c 28 5b	ing-match."export[[:space:]]\\([
09a0	5b 3a 61 73 63 69 69 3a 5d 5d 2b 5c 5c 29 3d 5c 22 5c 5c 28 5b 5b 3a 61 73 63 69 69 3a 5d 5d 2b	[:ascii:]]+\\)=\"\\([[:ascii:]]+
09c0	5c 5c 29 5c 22 22 20 6d 61 74 63 68 2d 73 74 72 69 6e 67 20 31 20 32 5d 20 35 20 22 5c 6e 5c 6e	\\)\"".match-string.1.2].5."\n\n
09e0	28 66 6e 20 53 54 52 49 4e 47 29 22 5d 20 6c 73 70 2d 2d 65 72 72 6f 72 20 22 46 6f 75 6e 64 20	(fn.STRING)"].lsp--error."Found.
0a00	61 6c 69 72 65 2e 74 6f 6d 6c 20 62 75 74 20 74 68 65 20 65 78 65 63 75 74 61 62 6c 65 20 25 73	alire.toml.but.the.executable.%s
0a20	20 63 6f 75 6c 64 20 6e 6f 74 20 62 65 20 66 6f 75 6e 64 22 5d 20 37 20 28 23 24 20 2e 20 31 39	.could.not.be.found"].7.(#$...19
0a40	39 35 29 5d 29 0a 28 62 79 74 65 2d 63 6f 64 65 20 22 5c 33 30 31 5c 33 30 32 5c 33 30 33 5c 33	95)]).(byte-code."\301\302\303\3
0a60	30 34 08 21 5c 33 30 35 5c 33 30 36 5c 33 30 37 5c 33 31 30 5c 33 31 31 5c 33 31 32 5c 33 31 33	04.!\305\306\307\310\311\312\313
0a80	5c 33 31 34 5c 33 31 35 5c 33 31 36 5c 33 31 37 5c 33 32 30 26 0e 21 5c 32 30 37 22 20 5b 6c 73	\314\315\316\317\320&.!\207".[ls
0aa0	70 2d 61 64 61 2d 61 6c 73 2d 65 78 65 63 75 74 61 62 6c 65 20 6c 73 70 2d 72 65 67 69 73 74 65	p-ada-als-executable.lsp-registe
0ac0	72 2d 63 6c 69 65 6e 74 20 6d 61 6b 65 2d 6c 73 70 2d 63 6c 69 65 6e 74 20 3a 6e 65 77 2d 63 6f	r-client.make-lsp-client.:new-co
0ae0	6e 6e 65 63 74 69 6f 6e 20 6c 73 70 2d 73 74 64 69 6f 2d 63 6f 6e 6e 65 63 74 69 6f 6e 20 3a 6d	nnection.lsp-stdio-connection.:m
0b00	61 6a 6f 72 2d 6d 6f 64 65 73 20 28 61 64 61 2d 6d 6f 64 65 29 20 3a 70 72 69 6f 72 69 74 79 20	ajor-modes.(ada-mode).:priority.
0b20	2d 31 20 3a 69 6e 69 74 69 61 6c 69 7a 65 64 2d 66 6e 20 23 5b 32 35 37 20 22 5c 32 31 31 18 5c	-1.:initialized-fn.#[257."\211.\
0b40	33 30 31 5c 33 30 32 5c 33 30 33 21 21 29 5c 32 30 37 22 20 5b 6c 73 70 2d 2d 63 75 72 2d 77 6f	301\302\303!!)\207".[lsp--cur-wo
0b60	72 6b 73 70 61 63 65 20 6c 73 70 2d 2d 73 65 74 2d 63 6f 6e 66 69 67 75 72 61 74 69 6f 6e 20 6c	rkspace.lsp--set-configuration.l
0b80	73 70 2d 63 6f 6e 66 69 67 75 72 61 74 69 6f 6e 2d 73 65 63 74 69 6f 6e 20 22 61 64 61 22 5d 20	sp-configuration-section."ada"].
0ba0	34 20 22 5c 6e 5c 6e 28 66 6e 20 57 4f 52 4b 53 50 41 43 45 29 22 5d 20 3a 73 65 72 76 65 72 2d	4."\n\n(fn.WORKSPACE)"].:server-
0bc0	69 64 20 61 64 61 2d 6c 73 20 3a 73 79 6e 63 68 72 6f 6e 69 7a 65 2d 73 65 63 74 69 6f 6e 73 20	id.ada-ls.:synchronize-sections.
0be0	28 22 61 64 61 22 29 20 3a 65 6e 76 69 72 6f 6e 6d 65 6e 74 2d 66 6e 20 6c 73 70 2d 61 64 61 2d	("ada").:environment-fn.lsp-ada-
0c00	2d 65 6e 76 69 72 6f 6e 6d 65 6e 74 5d 20 31 36 29 0a 28 64 65 66 63 6f 6e 73 74 20 6c 73 70 2d	-environment].16).(defconst.lsp-
0c20	61 64 61 2d 70 6c 69 73 74 2d 76 61 6c 75 65 2d 77 68 65 6e 2d 63 6f 6d 70 69 6c 65 64 20 6e 69	ada-plist-value-when-compiled.ni
0c40	6c 29 0a 28 70 72 6f 76 69 64 65 20 27 6c 73 70 2d 61 64 61 29 0a	l).(provide.'lsp-ada).