Skip to content

Commit

Permalink
update dependencies (#235)
Browse files Browse the repository at this point in the history
  • Loading branch information
@mattpolzin
mattpolzin authored Dec 26, 2024
1 parent 8055815 commit df322fa
Show file tree
Hide file tree
Showing 2 changed files with 187 additions and 31 deletions.
2 changes: 1 addition & 1 deletion Idris2
Submodule Idris2 updated 86 files
+4 −0 .github/workflows/ci-idris2-and-libs.yml
+16 −0 CHANGELOG_NEXT.md
+1 −0 CONTRIBUTORS
+7 −0 docs/source/reference/pragmas.rst
+2 −2 libs/base/Data/List/Elem.idr
+2 −3 libs/base/Data/List1/Elem.idr
+2 −2 libs/base/Data/SnocList/Elem.idr
+13 −10 libs/base/Data/SortedMap.idr
+11 −6 libs/base/Data/SortedMap/Dependent.idr
+2 −2 libs/base/Data/Vect/Elem.idr
+3 −2 libs/base/Language/Reflection/TTImp.idr
+11 −2 libs/base/System.idr
+9 −1 libs/contrib/Data/String/Parser.idr
+11 −11 libs/contrib/Text/Parser/Core.idr
+5 −0 src/Core/Context.idr
+2 −1 src/Core/Options.idr
+1 −1 src/Core/Reflect.idr
+98 −42 src/Core/Termination/CallGraph.idr
+28 −2 src/Idris/CommandLine.idr
+2 −1 src/Idris/Desugar.idr
+26 −13 src/Idris/Driver.idr
+1 −1 src/Idris/Error.idr
+1 −1 src/Idris/Package.idr
+7 −2 src/Idris/Parser.idr
+31 −9 src/Idris/REPL.idr
+6 −2 src/Idris/SetOptions.idr
+2 −1 src/Idris/Syntax.idr
+11 −11 src/Libraries/Text/Parser/Core.idr
+2 −5 src/Protocol/SExp.idr
+3 −1 src/TTImp/Parser.idr
+4 −4 src/TTImp/ProcessDef.idr
+5 −4 src/TTImp/TTImp.idr
+27 −0 tests/base/data_list003/Elem.idr
+1 −0 tests/base/data_list003/expected
+3 −0 tests/base/data_list003/run
+45 −0 tests/base/data_listone001/Elem.idr
+1 −0 tests/base/data_listone001/expected
+3 −0 tests/base/data_listone001/run
+0 −0 tests/base/data_snoclist001/SL.idr
+0 −0 tests/base/data_snoclist001/expected
+0 −0 tests/base/data_snoclist001/run
+27 −0 tests/base/data_snoclist002/Elem.idr
+1 −0 tests/base/data_snoclist002/expected
+3 −0 tests/base/data_snoclist002/run
+27 −0 tests/base/data_vect002/Elem.idr
+1 −0 tests/base/data_vect002/expected
+3 −0 tests/base/data_vect002/run
+0 −2 tests/chez/chez031/expected
+13 −0 tests/cli/exec001/expected
+11 −0 tests/cli/exec001/issue3398.idr
+8 −0 tests/cli/exec001/run
+3 −0 tests/cli/exec002/expected
+6 −0 tests/cli/exec002/run
+32 −0 tests/cli/exec003/expected
+9 −0 tests/cli/exec003/run
+9 −0 tests/cli/exec004/expected
+9 −0 tests/cli/exec004/run
+3 −1 tests/idris2/error/error008/expected
+3 −1 tests/idris2/error/error012/expected
+2 −0 tests/idris2/error/error032/expected
+5 −0 tests/idris2/error/error032/run
+2 −2 tests/idris2/error/perror008/expected
+8 −8 tests/idris2/error/perror008/run
+3 −3 tests/idris2/error/perror011/expected
+3 −3 tests/idris2/error/perror011/run
+2 −2 tests/idris2/misc/import004/expected
+2 −2 tests/idris2/misc/import004/run
+2 −2 tests/idris2/reflection/reflection001/expected
+8 −0 tests/idris2/reflection/reflection031/WithFC.idr
+1 −0 tests/idris2/reflection/reflection031/expected
+3 −0 tests/idris2/reflection/reflection031/run
+1 −1 tests/idris2/total/total004/expected
+5 −0 tests/idris2/total/total025/Issue3317.idr
+12 −0 tests/idris2/total/total025/Issue3353.idr
+14 −0 tests/idris2/total/total025/Pragma.idr
+50 −0 tests/idris2/total/total025/Totality.idr
+4 −0 tests/idris2/total/total025/expected
+6 −0 tests/idris2/total/total025/run
+20 −0 tests/idris2/with/with012/WithProof0.idr
+26 −0 tests/idris2/with/with012/WithProof0ElabFail.idr
+21 −0 tests/idris2/with/with012/WithProof0Fail.idr
+23 −0 tests/idris2/with/with012/WithProof1.idr
+19 −0 tests/idris2/with/with012/WithProof1Fail.idr
+5 −0 tests/idris2/with/with012/expected
+7 −0 tests/idris2/with/with012/run
+1 −1 tests/ttimp/total002/expected
Loading

0 comments on commit df322fa

Please sign in to comment.