Skip to content

fix(ase): integer?/c contract was not defined correctly #500

fix(ase): integer?/c contract was not defined correctly

fix(ase): integer?/c contract was not defined correctly #500

Triggered via push December 27, 2024 18:40
Status Success
Total duration 3m 17s
Artifacts

domain-ci.yaml

on: push
Fit to window
Zoom out
Zoom in

Annotations

19 warnings
build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build
The import of ‘Domain’ is redundant
build
Module ‘Domain’ does not export ‘Bottom’
build
The import of ‘Lattice.ConstantPropagationLattice’ is redundant
build
The import of ‘Test.QuickCheck’ is redundant
build
The import of ‘Test.Hspec’ is redundant
build
Defined but not used: ‘pairs’
build
Defined but not used: ‘triples’
build
Defined but not used: ‘errBot’
build
Top-level binding with no type signature:
build
The export item ‘module Syntax.Erlang.AST’ is missing an export list
build
Defined but not used: ‘raise’
build
Defined but not used: ‘name’
build
Defined but not used: ‘fields’
build
Module ‘Control.Monad.Error’ is deprecated:
build
The export item ‘module Data.Finite’ is missing an export list
build
The export item ‘module Data.TypeLevel.HList’ is missing an export list
build
The import of ‘GHC.Base’ is redundant
build
‘PyLoc’ is exported by ‘module Syntax.Python’ and ‘PyLoc’