update Idris2 submodle (#237) · idris-community/idris2-lsp@46c6740

Commit

update Idris2 submodle (#237)

Browse files

dunhamsteve authored Feb 9, 2025

1 parent bc8e5a7 commit 46c6740

+4 −1		CHANGELOG_NEXT.md
+21 −4		libs/base/System/Concurrency.idr
+1 −0		libs/contrib/Control/Category.idr
+11 −0		libs/linear/System/Concurrency/Linear.idr
+2 −0		libs/papers/Language/IntrinsicTyping/Krivine.idr
+3 −1		src/Compiler/Scheme/Chez.idr
+19 −16		src/Core/Coverage.idr
+4 −0		src/Idris/CommandLine.idr
+4 −0		src/Idris/SetOptions.idr
+3 −1		src/TTImp/ProcessDef.idr
+54 −1		support/chez/support.ss
+24 −0		tests/chez/channels007/Main.idr
+3 −0		tests/chez/channels007/expected
+3 −0		tests/chez/channels007/run
+23 −0		tests/chez/channels008/Main.idr
+1 −0		tests/chez/channels008/expected
+3 −0		tests/chez/channels008/run
+2 −0		tests/idris2/coverage/coverage022/Issue3477.idr
+10 −0		tests/idris2/coverage/coverage022/expected
+4 −0		tests/idris2/coverage/coverage022/run
+4 −0		tests/idris2/interactive/interactive047/Missing.idr
+12 −0		tests/idris2/interactive/interactive047/expected
+3 −0		tests/idris2/interactive/interactive047/run