Handle empty descriptor sets with empty bindings map #30
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # This GitHub workflow config has been generated by a script via | |
| # | |
| # haskell-ci 'github' 'cabal.project' '--hlint' | |
| # | |
| # To regenerate the script (for example after adjusting tested-with) run | |
| # | |
| # haskell-ci regenerate | |
| # | |
| # For more information, see https://github.com/haskell-CI/haskell-ci | |
| # | |
| # version: 0.15.20230227 | |
| # | |
| # REGENDATA ("0.15.20230227",["github","cabal.project","--hlint"]) | |
| # | |
| name: Haskell-CI | |
| on: | |
| - push | |
| - pull_request | |
| jobs: | |
| linux: | |
| name: Haskell-CI - Linux - ${{ matrix.compiler }} | |
| runs-on: ubuntu-20.04 | |
| timeout-minutes: | |
| 60 | |
| container: | |
| image: buildpack-deps:bionic | |
| continue-on-error: ${{ matrix.allow-failure }} | |
| strategy: | |
| matrix: | |
| include: | |
| - compiler: ghc-9.6.0.20230210 | |
| compilerKind: ghc | |
| compilerVersion: 9.6.0.20230210 | |
| setup-method: ghcup | |
| allow-failure: true | |
| - compiler: ghc-9.4.4 | |
| compilerKind: ghc | |
| compilerVersion: 9.4.4 | |
| setup-method: ghcup | |
| allow-failure: false | |
| fail-fast: false | |
| steps: | |
| - name: apt | |
| run: | | |
| apt-get update | |
| apt-get install -y --no-install-recommends gnupg ca-certificates dirmngr curl git software-properties-common libtinfo5 | |
| mkdir -p "$HOME/.ghcup/bin" | |
| curl -sL https://downloads.haskell.org/ghcup/0.1.18.0/x86_64-linux-ghcup-0.1.18.0 > "$HOME/.ghcup/bin/ghcup" | |
| chmod a+x "$HOME/.ghcup/bin/ghcup" | |
| "$HOME/.ghcup/bin/ghcup" config add-release-channel https://raw.githubusercontent.com/haskell/ghcup-metadata/master/ghcup-prereleases-0.0.7.yaml; | |
| "$HOME/.ghcup/bin/ghcup" install ghc "$HCVER" || (cat "$HOME"/.ghcup/logs/*.* && false) | |
| "$HOME/.ghcup/bin/ghcup" install cabal 3.9.0.0 || (cat "$HOME"/.ghcup/logs/*.* && false) | |
| env: | |
| HCKIND: ${{ matrix.compilerKind }} | |
| HCNAME: ${{ matrix.compiler }} | |
| HCVER: ${{ matrix.compilerVersion }} | |
| - name: Set PATH and environment variables | |
| run: | | |
| echo "$HOME/.cabal/bin" >> $GITHUB_PATH | |
| echo "LANG=C.UTF-8" >> "$GITHUB_ENV" | |
| echo "CABAL_DIR=$HOME/.cabal" >> "$GITHUB_ENV" | |
| echo "CABAL_CONFIG=$HOME/.cabal/config" >> "$GITHUB_ENV" | |
| HCDIR=/opt/$HCKIND/$HCVER | |
| HC=$HOME/.ghcup/bin/$HCKIND-$HCVER | |
| echo "HC=$HC" >> "$GITHUB_ENV" | |
| echo "HCPKG=$HOME/.ghcup/bin/$HCKIND-pkg-$HCVER" >> "$GITHUB_ENV" | |
| echo "HADDOCK=$HOME/.ghcup/bin/haddock-$HCVER" >> "$GITHUB_ENV" | |
| echo "CABAL=$HOME/.ghcup/bin/cabal-3.9.0.0 -vnormal+nowrap" >> "$GITHUB_ENV" | |
| HCNUMVER=$(${HC} --numeric-version|perl -ne '/^(\d+)\.(\d+)\.(\d+)(\.(\d+))?$/; print(10000 * $1 + 100 * $2 + ($3 == 0 ? $5 != 1 : $3))') | |
| echo "HCNUMVER=$HCNUMVER" >> "$GITHUB_ENV" | |
| echo "ARG_TESTS=--enable-tests" >> "$GITHUB_ENV" | |
| echo "ARG_BENCH=--enable-benchmarks" >> "$GITHUB_ENV" | |
| if [ $((HCNUMVER >= 90600)) -ne 0 ] ; then echo "HEADHACKAGE=true" >> "$GITHUB_ENV" ; else echo "HEADHACKAGE=false" >> "$GITHUB_ENV" ; fi | |
| echo "ARG_COMPILER=--$HCKIND --with-compiler=$HC" >> "$GITHUB_ENV" | |
| echo "GHCJSARITH=0" >> "$GITHUB_ENV" | |
| env: | |
| HCKIND: ${{ matrix.compilerKind }} | |
| HCNAME: ${{ matrix.compiler }} | |
| HCVER: ${{ matrix.compilerVersion }} | |
| - name: env | |
| run: | | |
| env | |
| - name: write cabal config | |
| run: | | |
| mkdir -p $CABAL_DIR | |
| cat >> $CABAL_CONFIG <<EOF | |
| remote-build-reporting: anonymous | |
| write-ghc-environment-files: never | |
| remote-repo-cache: $CABAL_DIR/packages | |
| logs-dir: $CABAL_DIR/logs | |
| world-file: $CABAL_DIR/world | |
| extra-prog-path: $CABAL_DIR/bin | |
| symlink-bindir: $CABAL_DIR/bin | |
| installdir: $CABAL_DIR/bin | |
| build-summary: $CABAL_DIR/logs/build.log | |
| store-dir: $CABAL_DIR/store | |
| install-dirs user | |
| prefix: $CABAL_DIR | |
| repository hackage.haskell.org | |
| url: http://hackage.haskell.org/ | |
| EOF | |
| if $HEADHACKAGE; then | |
| cat >> $CABAL_CONFIG <<EOF | |
| repository head.hackage.ghc.haskell.org | |
| url: https://ghc.gitlab.haskell.org/head.hackage/ | |
| secure: True | |
| root-keys: 7541f32a4ccca4f97aea3b22f5e593ba2c0267546016b992dfadcd2fe944e55d | |
| 26021a13b401500c8eb2761ca95c61f2d625bfef951b939a8124ed12ecf07329 | |
| f76d08be13e9a61a377a85e2fb63f4c5435d40f8feb3e12eb05905edb8cdea89 | |
| key-threshold: 3 | |
| active-repositories: hackage.haskell.org, head.hackage.ghc.haskell.org:override | |
| EOF | |
| fi | |
| cat >> $CABAL_CONFIG <<EOF | |
| program-default-options | |
| ghc-options: $GHCJOBS +RTS -M3G -RTS | |
| EOF | |
| cat $CABAL_CONFIG | |
| - name: versions | |
| run: | | |
| $HC --version || true | |
| $HC --print-project-git-commit-id || true | |
| $CABAL --version || true | |
| - name: update cabal index | |
| run: | | |
| $CABAL v2-update -v | |
| - name: cache (tools) | |
| uses: actions/cache/restore@v3 | |
| with: | |
| key: ${{ runner.os }}-${{ matrix.compiler }}-tools-8e6139cc | |
| path: ~/.haskell-ci-tools | |
| - name: install cabal-plan | |
| run: | | |
| mkdir -p $HOME/.cabal/bin | |
| curl -sL https://github.com/haskell-hvr/cabal-plan/releases/download/v0.6.2.0/cabal-plan-0.6.2.0-x86_64-linux.xz > cabal-plan.xz | |
| echo 'de73600b1836d3f55e32d80385acc055fd97f60eaa0ab68a755302685f5d81bc cabal-plan.xz' | sha256sum -c - | |
| xz -d < cabal-plan.xz > $HOME/.cabal/bin/cabal-plan | |
| rm -f cabal-plan.xz | |
| chmod a+x $HOME/.cabal/bin/cabal-plan | |
| cabal-plan --version | |
| - name: install hlint | |
| run: | | |
| if [ $((HCNUMVER < 90600)) -ne 0 ] ; then HLINTVER=$(cd /tmp && (${CABAL} v2-install -v $ARG_COMPILER --dry-run hlint --constraint='hlint >=3.5 && <3.6' | perl -ne 'if (/\bhlint-(\d+(\.\d+)*)\b/) { print "$1"; last; }')); echo "HLint version $HLINTVER" ; fi | |
| if [ $((HCNUMVER < 90600)) -ne 0 ] ; then if [ ! -e $HOME/.haskell-ci-tools/hlint-$HLINTVER/hlint ]; then echo "Downloading HLint version $HLINTVER"; mkdir -p $HOME/.haskell-ci-tools; curl --write-out 'Status Code: %{http_code} Redirects: %{num_redirects} Total time: %{time_total} Total Dsize: %{size_download}\n' --silent --location --output $HOME/.haskell-ci-tools/hlint-$HLINTVER.tar.gz "https://github.com/ndmitchell/hlint/releases/download/v$HLINTVER/hlint-$HLINTVER-x86_64-linux.tar.gz"; tar -xzv -f $HOME/.haskell-ci-tools/hlint-$HLINTVER.tar.gz -C $HOME/.haskell-ci-tools; fi ; fi | |
| if [ $((HCNUMVER < 90600)) -ne 0 ] ; then mkdir -p $CABAL_DIR/bin && ln -sf "$HOME/.haskell-ci-tools/hlint-$HLINTVER/hlint" $CABAL_DIR/bin/hlint ; fi | |
| if [ $((HCNUMVER < 90600)) -ne 0 ] ; then hlint --version ; fi | |
| - name: save cache (tools) | |
| uses: actions/cache/save@v3 | |
| if: always() | |
| with: | |
| key: ${{ runner.os }}-${{ matrix.compiler }}-tools-8e6139cc | |
| path: ~/.haskell-ci-tools | |
| - name: checkout | |
| uses: actions/checkout@v3 | |
| with: | |
| path: source | |
| - name: initial cabal.project for sdist | |
| run: | | |
| touch cabal.project | |
| echo "packages: $GITHUB_WORKSPACE/source/./ghengin-dist-macos" >> cabal.project | |
| echo "packages: $GITHUB_WORKSPACE/source/./ghengin" >> cabal.project | |
| echo "packages: $GITHUB_WORKSPACE/source/./ghengin-vulkan" >> cabal.project | |
| echo "packages: $GITHUB_WORKSPACE/source/./ghengin-core" >> cabal.project | |
| echo "packages: $GITHUB_WORKSPACE/source/./ghengin-core-indep" >> cabal.project | |
| echo "packages: $GITHUB_WORKSPACE/source/./linear-utils" >> cabal.project | |
| cat cabal.project | |
| - name: sdist | |
| run: | | |
| mkdir -p sdist | |
| $CABAL sdist all --output-dir $GITHUB_WORKSPACE/sdist | |
| - name: unpack | |
| run: | | |
| mkdir -p unpacked | |
| find sdist -maxdepth 1 -type f -name '*.tar.gz' -exec tar -C $GITHUB_WORKSPACE/unpacked -xzvf {} \; | |
| - name: generate cabal.project | |
| run: | | |
| PKGDIR_ghengin_dist_macos="$(find "$GITHUB_WORKSPACE/unpacked" -maxdepth 1 -type d -regex '.*/ghengin-dist-macos-[0-9.]*')" | |
| echo "PKGDIR_ghengin_dist_macos=${PKGDIR_ghengin_dist_macos}" >> "$GITHUB_ENV" | |
| PKGDIR_ghengin="$(find "$GITHUB_WORKSPACE/unpacked" -maxdepth 1 -type d -regex '.*/ghengin-[0-9.]*')" | |
| echo "PKGDIR_ghengin=${PKGDIR_ghengin}" >> "$GITHUB_ENV" | |
| PKGDIR_ghengin_vulkan="$(find "$GITHUB_WORKSPACE/unpacked" -maxdepth 1 -type d -regex '.*/ghengin-vulkan-[0-9.]*')" | |
| echo "PKGDIR_ghengin_vulkan=${PKGDIR_ghengin_vulkan}" >> "$GITHUB_ENV" | |
| PKGDIR_ghengin_core="$(find "$GITHUB_WORKSPACE/unpacked" -maxdepth 1 -type d -regex '.*/ghengin-core-[0-9.]*')" | |
| echo "PKGDIR_ghengin_core=${PKGDIR_ghengin_core}" >> "$GITHUB_ENV" | |
| PKGDIR_ghengin_core_indep="$(find "$GITHUB_WORKSPACE/unpacked" -maxdepth 1 -type d -regex '.*/ghengin-core-indep-[0-9.]*')" | |
| echo "PKGDIR_ghengin_core_indep=${PKGDIR_ghengin_core_indep}" >> "$GITHUB_ENV" | |
| PKGDIR_linear_utils="$(find "$GITHUB_WORKSPACE/unpacked" -maxdepth 1 -type d -regex '.*/linear-utils-[0-9.]*')" | |
| echo "PKGDIR_linear_utils=${PKGDIR_linear_utils}" >> "$GITHUB_ENV" | |
| rm -f cabal.project cabal.project.local | |
| touch cabal.project | |
| touch cabal.project.local | |
| echo "packages: ${PKGDIR_ghengin_dist_macos}" >> cabal.project | |
| echo "packages: ${PKGDIR_ghengin}" >> cabal.project | |
| echo "packages: ${PKGDIR_ghengin_vulkan}" >> cabal.project | |
| echo "packages: ${PKGDIR_ghengin_core}" >> cabal.project | |
| echo "packages: ${PKGDIR_ghengin_core_indep}" >> cabal.project | |
| echo "packages: ${PKGDIR_linear_utils}" >> cabal.project | |
| echo "package ghengin-dist-macos" >> cabal.project | |
| echo " ghc-options: -Werror=missing-methods" >> cabal.project | |
| echo "package ghengin" >> cabal.project | |
| echo " ghc-options: -Werror=missing-methods" >> cabal.project | |
| echo "package ghengin-vulkan" >> cabal.project | |
| echo " ghc-options: -Werror=missing-methods" >> cabal.project | |
| echo "package ghengin-core" >> cabal.project | |
| echo " ghc-options: -Werror=missing-methods" >> cabal.project | |
| echo "package ghengin-core-indep" >> cabal.project | |
| echo " ghc-options: -Werror=missing-methods" >> cabal.project | |
| echo "package linear-utils" >> cabal.project | |
| echo " ghc-options: -Werror=missing-methods" >> cabal.project | |
| cat >> cabal.project <<EOF | |
| allow-newer: dear-imgui:* | |
| allow-newer: vector-sized:vector | |
| allow-newer: wavefront:base | |
| allow-newer: linear-apecs:* | |
| allow-newer: typelits-witnesses:* | |
| source-repository-package | |
| type: git | |
| location: https://gitlab.com/sheaf/fir.git | |
| source-repository-package | |
| type: git | |
| location: https://gitlab.com/dpwiz/gl-block | |
| source-repository-package | |
| type: git | |
| location: https://github.com/alt-romes/wavefront.git | |
| source-repository-package | |
| type: git | |
| location: https://github.com/haskell-game/dear-imgui.hs.git | |
| source-repository-package | |
| type: git | |
| location: https://github.com/alt-romes/reference-counting.git | |
| source-repository-package | |
| type: git | |
| location: https://github.com/alt-romes/linear-apecs.git | |
| subdir: linear-apecs | |
| source-repository-package | |
| type: git | |
| location: https://github.com/alt-romes/typelits-witnesses.git | |
| source-repository-package | |
| type: git | |
| location: https://github.com/sheaf/packages | |
| tag: 8a69e7bc8873c04d5b671271c2dbdf759f405a56 | |
| subdir: haskus-utils-variant | |
| EOF | |
| if $HEADHACKAGE; then | |
| echo "allow-newer: $($HCPKG list --simple-output | sed -E 's/([a-zA-Z-]+)-[0-9.]+/*:\1,/g')" >> cabal.project | |
| fi | |
| $HCPKG list --simple-output --names-only | perl -ne 'for (split /\s+/) { print "constraints: $_ installed\n" unless /^(ghengin|ghengin-core|ghengin-core-indep|ghengin-dist-macos|ghengin-vulkan|linear-utils)$/; }' >> cabal.project.local | |
| cat cabal.project | |
| cat cabal.project.local | |
| - name: dump install plan | |
| run: | | |
| $CABAL v2-build $ARG_COMPILER $ARG_TESTS $ARG_BENCH --dry-run all | |
| cabal-plan | |
| - name: restore cache | |
| uses: actions/cache/restore@v3 | |
| with: | |
| key: ${{ runner.os }}-${{ matrix.compiler }}-${{ github.sha }} | |
| path: ~/.cabal/store | |
| restore-keys: ${{ runner.os }}-${{ matrix.compiler }}- | |
| - name: install dependencies | |
| run: | | |
| $CABAL v2-build $ARG_COMPILER --disable-tests --disable-benchmarks --dependencies-only -j2 all | |
| $CABAL v2-build $ARG_COMPILER $ARG_TESTS $ARG_BENCH --dependencies-only -j2 all | |
| - name: build w/o tests | |
| run: | | |
| $CABAL v2-build $ARG_COMPILER --disable-tests --disable-benchmarks all | |
| - name: build | |
| run: | | |
| $CABAL v2-build $ARG_COMPILER $ARG_TESTS $ARG_BENCH all --write-ghc-environment-files=always | |
| - name: tests | |
| run: | | |
| $CABAL v2-test $ARG_COMPILER $ARG_TESTS $ARG_BENCH all --test-show-details=direct | |
| - name: hlint | |
| run: | | |
| if [ $((HCNUMVER < 90600)) -ne 0 ] ; then (cd ${PKGDIR_ghengin_dist_macos} && hlint -XGHC2021 app) ; fi | |
| if [ $((HCNUMVER < 90600)) -ne 0 ] ; then (cd ${PKGDIR_ghengin} && hlint -XGHC2021 -XUnicodeSyntax -XMultiParamTypeClasses -XNoStarIsType -XRankNTypes -XDataKinds -XPolyKinds -XGADTs -XViewPatterns -XTypeApplications -XTypeFamilies -XExplicitNamespaces -XTypeFamilyDependencies -XTypeOperators -XLambdaCase -XBlockArguments -XRecordWildCards -XUnboxedTuples -XPatternSynonyms -XDisambiguateRecordFields -XDeriveGeneric -XLinearTypes -XQualifiedDo -XQuantifiedConstraints -XNoImplicitPrelude ghengin) ; fi | |
| if [ $((HCNUMVER < 90600)) -ne 0 ] ; then (cd ${PKGDIR_ghengin} && hlint -XGHC2021 -XUnicodeSyntax planets) ; fi | |
| if [ $((HCNUMVER < 90600)) -ne 0 ] ; then (cd ${PKGDIR_ghengin_vulkan} && hlint -XGHC2021 -XUnicodeSyntax -XMultiParamTypeClasses -XNoStarIsType -XRankNTypes -XDataKinds -XPolyKinds -XGADTs -XViewPatterns -XTypeApplications -XTypeFamilies -XExplicitNamespaces -XTypeFamilyDependencies -XTypeOperators -XLambdaCase -XBlockArguments -XRecordWildCards -XUnboxedTuples -XPatternSynonyms -XDisambiguateRecordFields -XDeriveGeneric -XLinearTypes -XQualifiedDo -XQuantifiedConstraints -XNoImplicitPrelude ghengin-vulkan) ; fi | |
| if [ $((HCNUMVER < 90600)) -ne 0 ] ; then (cd ${PKGDIR_ghengin_core} && hlint -XGHC2021 -XUnicodeSyntax -XMultiParamTypeClasses -XNoStarIsType -XRankNTypes -XDataKinds -XPolyKinds -XGADTs -XViewPatterns -XTypeApplications -XTypeFamilies -XExplicitNamespaces -XTypeFamilyDependencies -XTypeOperators -XLambdaCase -XBlockArguments -XRecordWildCards -XUnboxedTuples -XPatternSynonyms -XDisambiguateRecordFields -XDeriveGeneric -XLinearTypes -XQualifiedDo -XQuantifiedConstraints -XNoImplicitPrelude ghengin-core) ; fi | |
| if [ $((HCNUMVER < 90600)) -ne 0 ] ; then (cd ${PKGDIR_ghengin_core_indep} && hlint -XGHC2021 -XUnicodeSyntax -XMultiParamTypeClasses -XNoStarIsType -XRankNTypes -XDataKinds -XPolyKinds -XGADTs -XViewPatterns -XTypeApplications -XTypeFamilies -XExplicitNamespaces -XTypeFamilyDependencies -XTypeOperators -XLambdaCase -XBlockArguments -XRecordWildCards -XUnboxedTuples -XPatternSynonyms -XDisambiguateRecordFields -XDeriveGeneric -XLinearTypes -XQualifiedDo -XQuantifiedConstraints -XNoImplicitPrelude ghengin-core-indep) ; fi | |
| if [ $((HCNUMVER < 90600)) -ne 0 ] ; then (cd ${PKGDIR_linear_utils} && hlint -XGHC2021 -XUnicodeSyntax -XMultiParamTypeClasses -XNoStarIsType -XRankNTypes -XDataKinds -XPolyKinds -XGADTs -XViewPatterns -XTypeApplications -XTypeFamilies -XExplicitNamespaces -XTypeFamilyDependencies -XTypeOperators -XLambdaCase -XBlockArguments -XRecordWildCards -XUnboxedTuples -XPatternSynonyms -XDisambiguateRecordFields -XDeriveGeneric -XLinearTypes -XQualifiedDo -XQuantifiedConstraints -XNoImplicitPrelude linear-utils) ; fi | |
| - name: cabal check | |
| run: | | |
| cd ${PKGDIR_ghengin_dist_macos} || false | |
| ${CABAL} -vnormal check | |
| cd ${PKGDIR_ghengin} || false | |
| ${CABAL} -vnormal check | |
| cd ${PKGDIR_ghengin_vulkan} || false | |
| ${CABAL} -vnormal check | |
| cd ${PKGDIR_ghengin_core} || false | |
| ${CABAL} -vnormal check | |
| cd ${PKGDIR_ghengin_core_indep} || false | |
| ${CABAL} -vnormal check | |
| cd ${PKGDIR_linear_utils} || false | |
| ${CABAL} -vnormal check | |
| - name: haddock | |
| run: | | |
| $CABAL v2-haddock --disable-documentation --haddock-all $ARG_COMPILER --with-haddock $HADDOCK $ARG_TESTS $ARG_BENCH all | |
| - name: unconstrained build | |
| run: | | |
| rm -f cabal.project.local | |
| $CABAL v2-build $ARG_COMPILER --disable-tests --disable-benchmarks all | |
| - name: save cache | |
| uses: actions/cache/save@v3 | |
| if: always() | |
| with: | |
| key: ${{ runner.os }}-${{ matrix.compiler }}-${{ github.sha }} | |
| path: ~/.cabal/store |