Merge pull request #7 from ncfavier/fix-skolem-trick #37
Ericson2314Annotations
28 warnings
|
GHC 8.4.4 on ubuntu-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
|
GHC 9.2.5 on ubuntu-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
|
GHC 8.10.7 on ubuntu-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
|
GHC 8.6.5 on ubuntu-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
|
GHC 8.8.4 on ubuntu-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
|
GHC 9.0.2 on ubuntu-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
|
GHC 9.4.5 on ubuntu-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
|
GHC 9.0.2 on macos-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
|
GHC 8.10.7 on macos-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
|
GHC 8.6.5 on macos-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
|
GHC 8.4.4 on macos-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
|
GHC 8.8.4 on macos-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
|
GHC 9.6.1 on ubuntu-latest:
test/test.hs#L26
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
|
GHC 9.6.1 on ubuntu-latest:
test/test.hs#L26
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
|
GHC 9.6.1 on ubuntu-latest:
test/test.hs#L39
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
|
GHC 9.6.1 on ubuntu-latest:
test/test.hs#L39
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
|
GHC 9.6.1 on ubuntu-latest:
test/test.hs#L222
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
|
GHC 9.6.1 on ubuntu-latest:
test/test.hs#L222
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
|
GHC 9.6.1 on ubuntu-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
|
GHC 9.2.5 on macos-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
|
GHC 9.4.5 on macos-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|
|
GHC 9.6.1 on macos-latest:
test/test.hs#L26
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
|
GHC 9.6.1 on macos-latest:
test/test.hs#L26
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
|
GHC 9.6.1 on macos-latest:
test/test.hs#L39
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
|
GHC 9.6.1 on macos-latest:
test/test.hs#L39
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
|
GHC 9.6.1 on macos-latest:
test/test.hs#L222
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
|
GHC 9.6.1 on macos-latest:
test/test.hs#L222
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
|
|
GHC 9.6.1 on macos-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
|