Merge pull request #57 from docopt/add-ci

DigitalBrains1 · web-flow · commit 6bd2fee6c4fe · 2024-02-24T17:39:52.000+01:00
Add CI
diff --git a/.ci/all_check.py b/.ci/all_check.py
@@ -0,0 +1,32 @@
+#!/usr/bin/env python3
+"""
+Makes sure:
+ * All jobs are listed in the 'all' job
+ * Only existing tests are listed
+"""
+
+import sys
+import yaml
+
+CI_PATH = '.github/workflows/ci.yaml'
+ALL_TEST = 'all'
+
+
+def main():
+    ci_yaml_fp = open(CI_PATH, 'r')
+    ci_yaml_parsed = yaml.load(ci_yaml_fp, Loader=yaml.FullLoader)
+
+    all_jobs = set(ci_yaml_parsed['jobs'].keys()) - {ALL_TEST}
+    all_needs = set(ci_yaml_parsed['jobs'][ALL_TEST]['needs'])
+
+    if all_jobs - all_needs:
+        sys.exit(f'Not all jobs mentioned in {ALL_TEST}.needs: '
+                 f'{all_jobs - all_needs}')
+
+    if all_needs - all_jobs:
+        sys.exit(f'Non-existing jobs found in {ALL_TEST}.needs: '
+                 f'{all_needs - all_jobs}')
+
+
+if __name__ == '__main__':
+    main()
diff --git a/.ci/cabal.project.local b/.ci/cabal.project.local
@@ -0,0 +1,2 @@
+package docopt
+  ghc-options: -Werror
diff --git a/.ci/cabal.project.local-lower b/.ci/cabal.project.local-lower
@@ -0,0 +1,8 @@
+package docopt
+  ghc-options: -Werror
+
+prefer-oldest: True
+
+constraints:
+  aeson >= 1.4.4.0,
+  contravariant >= 1.5.2
diff --git a/.ci/cabal.project.local-upper b/.ci/cabal.project.local-upper
@@ -0,0 +1,37 @@
+package docopt
+  ghc-options: -Werror
+
+repository head.hackage.ghc.haskell.org
+   url: https://ghc.gitlab.haskell.org/head.hackage/
+   secure: True
+   key-threshold: 3
+   root-keys:
+       7541f32a4ccca4f97aea3b22f5e593ba2c0267546016b992dfadcd2fe944e55d
+       26021a13b401500c8eb2761ca95c61f2d625bfef951b939a8124ed12ecf07329
+       f76d08be13e9a61a377a85e2fb63f4c5435d40f8feb3e12eb05905edb8cdea89
+
+active-repositories: hackage.haskell.org, head.hackage.ghc.haskell.org
+
+-- HEAD.hackage standard allow-newer packages
+allow-newer:
+  Cabal,
+  base,
+  binary,
+  bytestring,
+  deepseq,
+  ghc,
+  ghc-bignum,
+  ghc-prim,
+  integer-gmp,
+  template-haskell,
+  text,
+  time
+
+-- Boot packages
+constraints:
+  base installed,
+  ghc installed,
+  ghc-bignum installed,
+  ghc-prim installed,
+  integer-gmp installed,
+  template-haskell installed
diff --git a/.ci/stack-8.10.yaml b/.ci/stack-8.10.yaml
@@ -0,0 +1,3 @@
+resolver: lts-18.28
+ghc-options:
+  "$locals": -Werror -Wall -Wcompat -Wno-name-shadowing
diff --git a/.ci/stack-8.8.yaml b/.ci/stack-8.8.yaml
@@ -0,0 +1,3 @@
+resolver: lts-16.31
+ghc-options:
+  "$locals": -Werror -Wall -Wcompat -Wno-name-shadowing
diff --git a/.ci/stack-9.0.yaml b/.ci/stack-9.0.yaml
@@ -0,0 +1,3 @@
+resolver: lts-19.33
+ghc-options:
+  "$locals": -Werror -Wall -Wcompat -Wno-name-shadowing
diff --git a/.ci/stack-9.2.yaml b/.ci/stack-9.2.yaml
@@ -0,0 +1,3 @@
+resolver: lts-20.26
+ghc-options:
+  "$locals": -Werror -Wall -Wcompat -Wno-name-shadowing
diff --git a/.ci/stack-9.4.yaml b/.ci/stack-9.4.yaml
@@ -0,0 +1,3 @@
+resolver: lts-21.14
+ghc-options:
+  "$locals": -Werror -Wall -Wcompat -Wno-name-shadowing
diff --git a/.ci/stack-9.6.yaml b/.ci/stack-9.6.yaml
@@ -0,0 +1,3 @@
+resolver: lts-22.11
+ghc-options:
+  "$locals": -Werror -Wall -Wcompat -Wno-name-shadowing
diff --git a/.ci/stack-9.8.yaml b/.ci/stack-9.8.yaml
@@ -0,0 +1,3 @@
+resolver: nightly-2024-02-24
+ghc-options:
+  "$locals": -Werror -Wall -Wcompat -Wno-name-shadowing
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -0,0 +1,208 @@
+name: CI
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+
+concurrency:
+  group: ${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
+jobs:
+  # Stack
+  stack:
+    name: Stack / GHC ${{ matrix.ghc }}
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        # TODO: "8.0", "8.2", "8.4", "8.6"
+        ghc: ["8.8", "8.10", "9.0", "9.2", "9.4", "9.6", "9.8"]
+      fail-fast: false
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          show-progress: false
+
+      - name: Setup Haskell
+        uses: haskell-actions/setup@v2
+        id: setup-haskell
+        with:
+          enable-stack: true
+          stack-no-global: true
+
+      - name: General Setup
+        run: |
+          cp .ci/stack-${{ matrix.ghc }}.yaml stack.yaml
+          # Print out some information for debugging purposes
+          ghc --version
+          stack --version
+          cat stack.yaml
+
+      - name: Restore cached dependencies
+        uses: actions/cache/restore@v4
+        id: cache
+        with:
+          path: ${{ steps.setup-haskell.outputs.stack-root }}/snapshots
+          key:
+            ${{ runner.os }}-stack-${{ matrix.ghc }}-${{
+            hashFiles('prettyprinter-interp.cabal', 'stack.yaml') }}
+          restore-keys: ${{ runner.os }}-stack-${{ matrix.ghc }}-
+
+      - name: Install dependencies
+        run: stack build --test --only-dependencies
+
+      # Cache dependencies already at this point, so that we do not have to
+      # rebuild them should the subsequent steps fail
+      - name: Save cached dependencies
+        uses: actions/cache/save@v4
+        # Trying to save over an existing cache gives distracting
+        # "Warning: Cache save failed." since they are immutable
+        if: steps.cache.outputs.cache-hit != 'true'
+        with:
+          path: ${{ steps.setup-haskell.outputs.stack-root }}/snapshots
+          key: ${{ steps.cache.outputs.cache-primary-key }}
+
+      - name: Build
+        run : stack build
+
+      - name: Test
+        run : stack test
+
+  # Cabal
+  cabal:
+    name: Cabal / GHC ${{ matrix.ghc }} ${{ matrix.project-variant }}
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        ghc:
+          - "8.0.2"
+          - "8.2.2"
+          - "8.4.4"
+          - "8.6.5"
+          - "8.8.4"
+          - "8.10.7"
+          - "9.0.2"
+          - "9.0.2"
+          - "9.2.8"
+          - "9.4.7"
+          - "9.6.3"
+          - "9.8.1"
+        project-variant: [""]
+        include:
+          - ghc: 8.0.2
+            project-variant: -lower
+          - ghc: 9.8.1
+            project-variant: -upper
+
+      fail-fast: false
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          show-progress: false
+
+      - name: Setup Haskell
+        uses: haskell-actions/setup@v2
+        id: setup-haskell
+        with:
+          ghc-version: ${{ matrix.ghc }}
+          cabal-update: false
+
+      - name: General Setup
+        run: |
+          cp .ci/cabal.project.local${{ matrix.project-variant}} \
+            cabal.project.local
+          # Print out some information for debugging purposes
+          ghc --version
+          cabal --version
+          cat cabal.project.local
+
+      - name: Setup CI
+        # This generates dist-newstyle/cache/plan.json with hashes for all
+        # dependencies, for cache invalidation.
+        run: |
+          cabal v2-update
+          cabal v2-build all --enable-tests --dry-run
+
+      - name: Restore cached dependencies
+        uses: actions/cache/restore@v4
+        id: cache
+        env:
+          key:
+            ${{ runner.os }}-ghc-${{ matrix.ghc }}-cabal-${{
+            steps.setup-haskell.outputs.cabal-version }}${{
+            matrix.project-variant }}
+        with:
+          path: ${{ steps.setup-haskell.outputs.cabal-store }}
+          key:
+            ${{ env.key }}-${{ hashFiles('cabal.project.local',
+            'dist-newstyle/cache/plan.json') }}
+          restore-keys: ${{ env.key }}-
+
+      - name: Install dependencies
+        run: cabal v2-build all --enable-tests --only-dependencies
+
+      # Cache dependencies already at this point, so that we do not have to
+      # rebuild them should the subsequent steps fail
+      - name: Save cached dependencies
+        uses: actions/cache/save@v4
+        # Trying to save over an existing cache gives distracting
+        # "Warning: Cache save failed." since they are immutable
+        if: steps.cache.outputs.cache-hit != 'true'
+        with:
+          path: ${{ steps.setup-haskell.outputs.cabal-store }}
+          key: ${{ steps.cache.outputs.cache-primary-key }}
+
+      - name: Build
+        run: cabal v2-build all --enable-tests
+
+      - name: Test
+        run: cabal v2-test --enable-tests --test-show-details=direct
+
+  # Mechanism copied from https://github.com/clash-lang/clash-compiler/
+  all:
+    name: All jobs finished
+    if: ${{ !cancelled() }}
+    needs:
+      - stack
+      - cabal
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          show-progress: false
+
+      - name: Check dependencies for failures
+        run: |
+          # Test all dependencies for success/failure
+          set -x
+          # True if at least one dependency succeeded
+          success="${{ contains(needs.*.result, 'success') }}"
+          # True if at least one dependency failed
+          fail="${{ contains(needs.*.result, 'failure') }}"
+          set +x
+
+          # Test whether success/fail variables contain sane values
+          if [[ "${success}" != "true" && "${success}" != "false" ]]; then exit 1; fi
+          if [[ "${fail}"    != "true" && "${fail}"    != "false" ]]; then exit 1; fi
+
+          # We want to fail if one or more dependencies fail. For safety, we introduce
+          # a second check: if no dependencies succeeded something weird is going on.
+          if [[ "${fail}" == "true" || "${success}" == "false" ]]; then
+            echo "One or more dependency failed, or no dependency succeeded."
+            exit 1
+          fi
+
+      # Currently, ubuntu-latest already has it installed, but keep it around in
+      # case they ever change that
+      #
+      # - name: Install dependencies
+      #   run: |
+      #     sudo apt-get update
+      #     sudo apt-get -y install python3-yaml
+
+      - name: Check that the 'all' job depends on all other jobs
+        run: .ci/all_check.py
diff --git a/.gitignore b/.gitignore
@@ -5,6 +5,11 @@
 dist
 .cabal-sandbox
 cabal.sandbox.config
+dist-newstyle/
+/cabal.project.local
+
+# GHC config
+.ghc.environment.*
 
 # Haskell compiled files
 *.hi
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -0,0 +1,21 @@
+{
+  "files.exclude": {
+    "**/*.dyn_hi": true,
+    "**/*.dyn_o": true,
+    "**/*.hi": true,
+    "**/*.o": true,
+    "**/*.o-boot": true,
+    "**/*.hi-boot": true,
+    "**/dist-newstyle": true,
+    "**/.stack-work": true,
+    "**/.ghc.environment.*": true,
+  },
+  "files.insertFinalNewline": true,
+  "files.trimFinalNewlines": true,
+  "files.trimTrailingWhitespace": true,
+  "editor.rulers": [
+    80,
+    90
+  ],
+  "editor.tabSize": 4
+}
diff --git a/System/Console/Docopt/OptParse.hs b/System/Console/Docopt/OptParse.hs
diff --git a/System/Console/Docopt/ParseUtils.hs b/System/Console/Docopt/ParseUtils.hs
diff --git a/System/Console/Docopt/UsageParse.hs b/System/Console/Docopt/UsageParse.hs
diff --git a/docopt.cabal b/docopt.cabal
diff --git a/test/LangAgnosticTests.hs b/test/LangAgnosticTests.hs

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+package docopt`
	`2`	`+ ghc-options: -Werror`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+resolver: lts-18.28`
	`2`	`+ghc-options:`
	`3`	`+ "$locals": -Werror -Wall -Wcompat -Wno-name-shadowing`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+resolver: lts-16.31`
	`2`	`+ghc-options:`
	`3`	`+ "$locals": -Werror -Wall -Wcompat -Wno-name-shadowing`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+resolver: lts-19.33`
	`2`	`+ghc-options:`
	`3`	`+ "$locals": -Werror -Wall -Wcompat -Wno-name-shadowing`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+resolver: lts-20.26`
	`2`	`+ghc-options:`
	`3`	`+ "$locals": -Werror -Wall -Wcompat -Wno-name-shadowing`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+resolver: lts-21.14`
	`2`	`+ghc-options:`
	`3`	`+ "$locals": -Werror -Wall -Wcompat -Wno-name-shadowing`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+resolver: lts-22.11`
	`2`	`+ghc-options:`
	`3`	`+ "$locals": -Werror -Wall -Wcompat -Wno-name-shadowing`