d-flex flex-column width-full">

Fix Issue 890 by expanding type functions in tiExpl

6be62d6

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Sign in for the full log view

CI on: pull_request 36

Check: code cleanliness

Check: testsuite lint

Build/Test: ubuntu-22.04 / Build: ubuntu-22.04 ghc-9.6.7

Build/Test: ubuntu-22.04 / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-22.04 / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-22.04 / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-22.04 / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-24.04 / Build: ubuntu-24.04 ghc-9.6.7

Build/Test: ubuntu-24.04 / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-24.04 / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-24.04 / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-24.04 / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-24.04-arm / Build: ubuntu-24.04-arm ghc-9.6.7

Build/Test: ubuntu-24.04-arm / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-24.04-arm / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-24.04-arm / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-24.04-arm / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-26.04 / Build: ubuntu-26.04 ghc-9.6.7

Build/Test: ubuntu-26.04 / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-26.04 / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-26.04 / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-26.04 / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-26.04-arm / Build: ubuntu-26.04-arm ghc-9.6.7

Build/Test: ubuntu-26.04-arm / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-26.04-arm / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-26.04-arm / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-26.04-arm / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-14 / Build: macos-14 ghc-9.6.7

Build/Test: macos-14 / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-14 / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-14 / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-14 / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-15 / Build: macos-15 ghc-9.6.7

Build/Test: macos-15 / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-15 / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-15 / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-15 / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-15-intel / Build: macos-15-intel ghc-9.6.7

Build/Test: macos-15-intel / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-15-intel / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-15-intel / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-15-intel / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-26 / Build: macos-26 ghc-9.6.7

Build/Test: macos-26 / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-26 / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-26 / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-26 / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-26-intel / Build: macos-26-intel ghc-9.6.7

Build/Test: macos-26-intel / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-26-intel / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-26-intel / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-26-intel / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.8.4, 2.13.0.0) / Build: ubuntu-24.04 ghc-9.8.4

Build/Test: GHC Ubuntu (9.8.4, 2.13.0.0) / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.8.4, 2.13.0.0) / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.8.4, 2.13.0.0) / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.8.4, 2.13.0.0) / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.10.3) / Build: ubuntu-24.04 ghc-9.10.3

Build/Test: GHC Ubuntu (9.10.3) / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.10.3) / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.10.3) / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.10.3) / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.12.2, 2.13.0.0) / Build: ubuntu-24.04 ghc-9.12.2

Build/Test: GHC Ubuntu (9.12.2, 2.13.0.0) / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.12.2, 2.13.0.0) / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.12.2, 2.13.0.0) / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.12.2, 2.13.0.0) / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.14.1) / Build: ubuntu-24.04 ghc-9.14.1

Build/Test: GHC Ubuntu (9.14.1) / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.14.1) / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.14.1) / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.14.1) / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.8.4, 2.13.0.0) / Build: macos-15 ghc-9.8.4

Build/Test: GHC macOS (9.8.4, 2.13.0.0) / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.8.4, 2.13.0.0) / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.8.4, 2.13.0.0) / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.8.4, 2.13.0.0) / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.10.3) / Build: macos-15 ghc-9.10.3

Build/Test: GHC macOS (9.10.3) / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.10.3) / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.10.3) / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.10.3) / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.12.2, 2.13.0.0) / Build: macos-15 ghc-9.12.2

Build/Test: GHC macOS (9.12.2, 2.13.0.0) / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.12.2, 2.13.0.0) / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.12.2, 2.13.0.0) / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.12.2, 2.13.0.0) / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.14.1) / Build: macos-15 ghc-9.14.1

Build/Test: GHC macOS (9.14.1) / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.14.1) / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.14.1) / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.14.1) / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build doc: ubuntu-22.04

Build doc: ubuntu-24.04

Build doc: ubuntu-24.04-arm

Build doc: ubuntu-26.04

Build doc: ubuntu-26.04-arm

Build doc: macos-14

Build doc: macos-15

Build doc: macos-15-intel

Build doc: macos-26

Build doc: macos-26-intel

Build releasenotes: ubuntu-24.04

CI on: push 36

Check: code cleanliness

Check: testsuite lint

Build/Test: ubuntu-22.04 / Build: ubuntu-22.04 ghc-9.6.7

Build/Test: ubuntu-22.04 / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-22.04 / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-22.04 / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-22.04 / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-24.04 / Build: ubuntu-24.04 ghc-9.6.7

Build/Test: ubuntu-24.04 / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-24.04 / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-24.04 / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-24.04 / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-24.04-arm / Build: ubuntu-24.04-arm ghc-9.6.7

Build/Test: ubuntu-24.04-arm / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-24.04-arm / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-24.04-arm / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-24.04-arm / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-26.04 / Build: ubuntu-26.04 ghc-9.6.7

Build/Test: ubuntu-26.04 / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-26.04 / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-26.04 / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-26.04 / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-26.04-arm / Build: ubuntu-26.04-arm ghc-9.6.7

Build/Test: ubuntu-26.04-arm / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-26.04-arm / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-26.04-arm / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: ubuntu-26.04-arm / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-14 / Build: macos-14 ghc-9.6.7

Build/Test: macos-14 / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-14 / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-14 / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-14 / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-15 / Build: macos-15 ghc-9.6.7

Build/Test: macos-15 / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-15 / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-15 / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-15 / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-15-intel / Build: macos-15-intel ghc-9.6.7

Build/Test: macos-15-intel / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-15-intel / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-15-intel / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-15-intel / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-26 / Build: macos-26 ghc-9.6.7

Build/Test: macos-26 / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-26 / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-26 / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-26 / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-26-intel / Build: macos-26-intel ghc-9.6.7

Build/Test: macos-26-intel / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-26-intel / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-26-intel / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: macos-26-intel / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.8.4, 2.13.0.0) / Build: ubuntu-24.04 ghc-9.8.4

Build/Test: GHC Ubuntu (9.8.4, 2.13.0.0) / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.8.4, 2.13.0.0) / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.8.4, 2.13.0.0) / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.8.4, 2.13.0.0) / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.10.3) / Build: ubuntu-24.04 ghc-9.10.3

Build/Test: GHC Ubuntu (9.10.3) / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.10.3) / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.10.3) / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.10.3) / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.12.2, 2.13.0.0) / Build: ubuntu-24.04 ghc-9.12.2

Build/Test: GHC Ubuntu (9.12.2, 2.13.0.0) / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.12.2, 2.13.0.0) / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.12.2, 2.13.0.0) / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.12.2, 2.13.0.0) / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.14.1) / Build: ubuntu-24.04 ghc-9.14.1

Build/Test: GHC Ubuntu (9.14.1) / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.14.1) / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.14.1) / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC Ubuntu (9.14.1) / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.8.4, 2.13.0.0) / Build: macos-15 ghc-9.8.4

Build/Test: GHC macOS (9.8.4, 2.13.0.0) / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.8.4, 2.13.0.0) / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.8.4, 2.13.0.0) / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.8.4, 2.13.0.0) / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.10.3) / Build: macos-15 ghc-9.10.3

Build/Test: GHC macOS (9.10.3) / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.10.3) / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.10.3) / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.10.3) / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.12.2, 2.13.0.0) / Build: macos-15 ghc-9.12.2

Build/Test: GHC macOS (9.12.2, 2.13.0.0) / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.12.2, 2.13.0.0) / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.12.2, 2.13.0.0) / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.12.2, 2.13.0.0) / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.14.1) / Build: macos-15 ghc-9.14.1

Build/Test: GHC macOS (9.14.1) / Test ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.14.1) / Test Toooba ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.14.1) / Test bsc-contrib ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build/Test: GHC macOS (9.14.1) / Test bdw ${{ inputs.os }} ghc-${{ inputs.ghc_version }}

Build doc: ubuntu-22.04

Build doc: ubuntu-24.04

Build doc: ubuntu-24.04-arm

Build doc: ubuntu-26.04

Build doc: ubuntu-26.04-arm

Build doc: macos-14

Build doc: macos-15

Build doc: macos-15-intel

Build doc: macos-26

Build doc: macos-26-intel

Build releasenotes: ubuntu-24.04

Check: testsuite lint

succeeded Jul 11, 2026 in 8s

Loading

Re-running jobs...