1	# lsp/run: the container; `bolt lsp` runs it. Native only: the JS lane
2	# overflows its stack on big messages.
3	import Base
4	import ./server.bend as Server
5	import ./transport/stdio.bend as Stdio
6	import ./files/disk.bend as Disk
7	import ./checker/bend.bend as BendChecker
8	
9	# the server over stdio, reading the disk
10	def run() -> IO(Unit):  # noqa: L001 IO entry point
11	  do IO<Unit>:
12	    h : Stdio.Stdio <- Stdio.open()
13	    Server.serve(~Stdio.Stdio, ~Stdio.new(), ~Disk.new(), ~BendChecker.service(), U32.to_nat(4294967295), h, [])