update idris2 and lsp-lib dependencies

idris-community · Dec 2, 2024 · ea065dc · ea065dc
1 parent ac5227b
commit ea065dc
Show file tree

Hide file tree

Showing 3 changed files with 176 additions and 26 deletions.
diff --git a/Idris2 b/Idris2
diff --git a/LSP-lib b/LSP-lib
+27 −0		CHANGELOG_NEXT.md
+1 −0		CONTRIBUTORS
+19 −13		libs/base/Data/Nat.idr
+5 −0		libs/base/Data/SortedMap.idr
+7 −0		libs/base/Data/SortedMap/Dependent.idr
+36 −10		libs/base/Data/SortedSet.idr
+2 −2		libs/base/Deriving/Foldable.idr
+2 −2		libs/base/Deriving/Functor.idr
+2 −2		libs/base/Deriving/Show.idr
+2 −2		libs/base/Deriving/Traversable.idr
+35 −0		libs/base/Language/Reflection/TT.idr
+36 −16		libs/base/Language/Reflection/TTImp.idr
+4 −4		libs/contrib/Data/Nat/Factor.idr
+3 −3		libs/contrib/Data/Vect/Properties/Fin.idr
+1 −1		libs/papers/Search/Auto.idr
+1 −1		src/Compiler/Opts/ToplevelConstants.idr
+89 −27		src/Compiler/RefC/RefC.idr
+1 −1		src/Compiler/Scheme/ChezSep.idr
+2 −2		src/Compiler/Separate.idr
+1 −1		src/Core/Case/CaseBuilder.idr
+1 −1		src/Core/Coverage.idr
+17 −3		src/Core/Directory.idr
+23 −0		src/Core/Reflect.idr
+1 −1		src/Core/Termination/SizeChange.idr
+3 −1		src/Idris/CommandLine.idr
+2 −0		src/Idris/Package.idr
+1 −2		src/Idris/Parser.idr
+1 −1		src/Libraries/Data/Graph.idr
+9 −8		src/Libraries/Data/SortedMap.idr
+17 −9		src/Libraries/Data/SortedSet.idr
+1 −1		src/TTImp/Elab/Record.idr
+2 −1		src/TTImp/Impossible.idr
+2 −0		src/TTImp/ProcessDef.idr
+28 −16		src/TTImp/Reflect.idr
+1 −1		src/TTImp/TTImp.idr
+11 −2		support/refc/_datatypes.h
+135 −16		support/refc/memoryManagement.c
+10 −1		support/refc/memoryManagement.h
+14 −26		support/refc/prim.c
+5 −2		support/refc/prim.h
+8 −12		support/refc/stringOps.c
+4 −0		tests/Main.idr
+1 −1		tests/base/deriving_traversable/expected
+0 −0		tests/cli/optional001/expected
+3 −0		tests/cli/optional001/run
+1 −0		tests/cli/optional001/test.ipkg
+9 −0		tests/idris2/coverage/coverage021/Head.idr
+19 −0		tests/idris2/coverage/coverage021/Issue2250a.idr
+11 −0		tests/idris2/coverage/coverage021/Issue2250b.idr
+7 −0		tests/idris2/coverage/coverage021/Issue2250c.idr
+21 −0		tests/idris2/coverage/coverage021/Issue3276.idr
+8 −0		tests/idris2/coverage/coverage021/Visibility.idr
+120 −0		tests/idris2/coverage/coverage021/expected
+8 −0		tests/idris2/coverage/coverage021/run
+2 −2		tests/idris2/reflection/reflection001/expected
+2 −2		tests/idris2/reflection/reflection004/refdecl.idr
+1 −1		tests/idris2/reflection/reflection014/refdecl.idr
+1 −1		tests/idris2/reflection/reflection017/CanElabType.idr
+2 −1		tests/idris2/reflection/reflection021/QuoteSearch.idr
+1 −1		tests/idris2/reflection/reflection027/TraverseWithConst.idr
+3 −3		tests/idris2/repl/repl001/expected
+84 −84		tests/refc/callingConvention/expected
+36 −36		tests/refc/reuse/expected