blob: 149f92b17ef6c4a3e137c7fb13d0881b6888f3fa (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 31 5c	imizations.....(byte-code."\301\
0060	33 30 32 21 5c 32 31 30 5c 33 30 31 5c 33 30 33 21 5c 32 31 30 5c 33 30 34 5c 33 30 35 5c 33 30	302!\210\301\303!\210\304\305\30
0080	36 5c 33 30 37 5c 33 31 30 5c 33 31 31 5c 33 31 32 5c 33 30 32 5c 33 31 33 5c 33 31 34 5c 33 31	6\307\310\311\312\302\313\314\31
00a0	35 5c 33 31 36 26 0b 5c 32 31 30 5c 33 31 37 5c 33 30 30 5c 33 32 30 5c 33 32 31 5c 33 32 32 44	5\316&.\210\317\300\320\321\322D
00c0	44 5c 33 32 33 5c 33 31 32 5c 33 30 35 5c 33 32 34 5c 33 32 35 5c 33 31 35 5c 33 32 36 26 09 5c	D\323\312\305\324\325\315\326&.\
00e0	32 31 30 5c 33 31 37 5c 33 32 37 5c 33 32 30 5c 33 32 31 5c 33 33 30 44 44 5c 33 33 31 5c 33 31	210\317\327\320\321\330DD\331\31
0100	32 5c 33 30 35 5c 33 32 34 5c 33 33 32 5c 33 31 35 5c 33 33 33 26 09 5c 32 31 30 5c 33 33 34 5c	2\305\324\332\315\333&.\210\334\
0120	33 33 35 21 5c 32 31 30 5c 33 33 36 5c 33 33 37 5c 33 34 30 5c 33 34 31 08 21 5c 33 34 32 5c 33	335!\210\336\337\340\341.!\342\3
0140	34 33 5c 33 34 34 5c 33 34 35 5c 22 5c 33 34 36 5c 33 34 37 5c 33 35 30 5c 33 34 34 5c 33 35 31	43\344\345\"\346\347\350\344\351
0160	5c 33 35 32 26 5c 6e 21 5c 32 31 30 5c 33 35 33 5c 33 30 35 21 5c 32 30 37 22 20 5b 6c 73 70 2d	\352&\n!\210\353\305!\207".[lsp-
0180	69 64 72 69 73 32 2d 6c 73 70 2d 70 61 74 68 20 72 65 71 75 69 72 65 20 6c 73 70 2d 6d 6f 64 65	idris2-lsp-path.require.lsp-mode
01a0	20 6c 73 70 2d 73 65 6d 61 6e 74 69 63 2d 74 6f 6b 65 6e 73 20 63 75 73 74 6f 6d 2d 64 65 63 6c	.lsp-semantic-tokens.custom-decl
01c0	61 72 65 2d 67 72 6f 75 70 20 6c 73 70 2d 69 64 72 69 73 20 6e 69 6c 20 22 4c 53 50 20 73 75 70	are-group.lsp-idris.nil."LSP.sup
01e0	70 6f 72 74 20 66 6f 72 20 49 64 72 69 73 2e 22 20 3a 6c 69 6e 6b 20 28 75 72 6c 2d 6c 69 6e 6b	port.for.Idris.".:link.(url-link
0200	20 22 68 74 74 70 73 3a 2f 2f 67 69 74 68 75 62 2e 63 6f 6d 2f 69 64 72 69 73 2d 63 6f 6d 6d 75	."https://github.com/idris-commu
0220	6e 69 74 79 2f 69 64 72 69 73 32 2d 6c 73 70 22 29 20 3a 67 72 6f 75 70 20 3a 74 61 67 20 22 4c	nity/idris2-lsp").:group.:tag."L
0240	73 70 20 49 64 69 72 73 22 20 3a 70 61 63 6b 61 67 65 2d 76 65 72 73 69 6f 6e 20 28 6c 73 70 2d	sp.Idirs".:package-version.(lsp-
0260	6d 6f 64 65 20 2e 20 22 38 2e 30 2e 31 22 29 20 63 75 73 74 6f 6d 2d 64 65 63 6c 61 72 65 2d 76	mode..."8.0.1").custom-declare-v
0280	61 72 69 61 62 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 5c 33	ariable.funcall.function.#[0."\3
02a0	30 30 5c 32 30 37 22 20 5b 22 69 64 72 69 73 32 2d 6c 73 70 22 5d 20 31 20 23 31 3d 22 22 5d 20	00\207".["idris2-lsp"].1.#1=""].
02c0	22 43 6f 6d 6d 61 6e 64 20 74 6f 20 73 74 61 72 74 20 49 64 72 69 73 20 32 20 6c 61 6e 67 75 61	"Command.to.start.Idris.2.langua
02e0	67 65 20 73 65 72 76 65 72 20 70 72 6f 63 65 73 73 2e 22 20 3a 74 79 70 65 20 73 74 72 69 6e 67	ge.server.process.".:type.string
0300	20 28 6c 73 70 2d 6d 6f 64 65 20 2e 20 22 38 2e 30 2e 31 22 29 20 6c 73 70 2d 69 64 72 69 73 32	.(lsp-mode..."8.0.1").lsp-idris2
0320	2d 6c 73 70 2d 74 72 61 63 65 2d 73 65 72 76 65 72 20 23 5b 30 20 22 5c 33 30 30 5c 32 30 37 22	-lsp-trace-server.#[0."\300\207"
0340	20 5b 22 6f 66 66 22 5d 20 31 20 23 31 23 5d 20 22 54 72 61 63 65 73 20 74 68 65 20 63 6f 6d 6d	.["off"].1.#1#]."Traces.the.comm
0360	75 6e 69 63 61 74 69 6f 6e 20 62 65 74 77 65 65 6e 20 56 53 20 43 6f 64 65 20 61 6e 64 20 74 68	unication.between.VS.Code.and.th
0380	65 20 6c 61 6e 67 75 61 67 65 20 73 65 72 76 65 72 2e 22 20 28 63 68 6f 69 63 65 20 28 3a 74 61	e.language.server.".(choice.(:ta
03a0	67 20 22 6f 66 66 22 20 22 6d 65 73 73 61 67 65 73 22 20 22 76 65 72 62 6f 73 65 22 29 29 20 28	g."off"."messages"."verbose")).(
03c0	6c 73 70 2d 6d 6f 64 65 20 2e 20 22 38 2e 30 2e 31 22 29 20 6c 73 70 2d 72 65 67 69 73 74 65 72	lsp-mode..."8.0.1").lsp-register
03e0	2d 63 75 73 74 6f 6d 2d 73 65 74 74 69 6e 67 73 20 28 28 22 69 64 72 69 73 32 2d 6c 73 70 2e 74	-custom-settings.(("idris2-lsp.t
0400	72 61 63 65 2e 73 65 72 76 65 72 22 20 6c 73 70 2d 69 64 72 69 73 32 2d 6c 73 70 2d 74 72 61 63	race.server".lsp-idris2-lsp-trac
0420	65 2d 73 65 72 76 65 72 29 20 28 22 69 64 72 69 73 32 2d 6c 73 70 2e 70 61 74 68 22 20 6c 73 70	e-server).("idris2-lsp.path".lsp
0440	2d 69 64 72 69 73 32 2d 6c 73 70 2d 70 61 74 68 29 29 20 6c 73 70 2d 72 65 67 69 73 74 65 72 2d	-idris2-lsp-path)).lsp-register-
0460	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 6e 6e	client.make-lsp-client.:new-conn
0480	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 61 63 74	ection.lsp-stdio-connection.:act
04a0	69 76 61 74 69 6f 6e 2d 66 6e 20 6c 73 70 2d 61 63 74 69 76 61 74 65 2d 6f 6e 20 22 69 64 72 69	ivation-fn.lsp-activate-on."idri
04c0	73 22 20 22 69 64 72 69 73 32 22 20 3a 6d 61 6a 6f 72 2d 6d 6f 64 65 73 20 28 69 64 72 69 73 2d	s"."idris2".:major-modes.(idris-
04e0	6d 6f 64 65 20 69 64 72 69 73 32 2d 6d 6f 64 65 29 20 3a 6c 61 6e 67 75 61 67 65 2d 69 64 20 3a	mode.idris2-mode).:language-id.:
0500	73 65 72 76 65 72 2d 69 64 20 69 64 72 69 73 32 2d 6c 73 70 20 70 72 6f 76 69 64 65 5d 20 31 32	server-id.idris2-lsp.provide].12
0520	29 0a	).