Change git:// url to https:// in macaw-refinement.cabal. #916

Annotations

32 warnings

The import of ‘Control.Applicative’ is redundant

The import of ‘+, <=’

• No explicit implementation for

Unhandled instruction definitions for ISA: 18

In the use of ‘head’

The import of ‘Data.String’ is redundant

The qualified import of ‘Data.BitVector.Sized’ is redundant

The qualified import of ‘Data.ByteString.Lazy’ is redundant

Pattern match is redundant

Orphan family instance:

Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’

Pattern match(es) are non-exhaustive

• No explicit implementation for

Module ‘Text.PrettyPrint.ANSI.Leijen’ is deprecated:

In the use of type constructor or class ‘Doc’

In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘empty’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of type constructor or class ‘Doc’

In the use of ‘text’ (imported from Text.PrettyPrint.ANSI.Leijen):

In the use of ‘<+>’ (imported from Text.PrettyPrint.ANSI.Leijen):