hadolint / language-docker Goto Github PK

Raised in hadolint/hadolint#169

We cannot parse

FROM myregistry.com:5000/imagename:tag

because we expect only one colon :, but having a port number in registry name is usual for local/private registries.

Extended description

An image name is made up of slash-separated name components, optionally prefixed by a registry hostname. The hostname must comply with standard DNS rules, but may not contain underscores. If a hostname is present, it may optionally be followed by a port number in the format :8080. If not present, the command uses Docker’s public registry located at registry-1.docker.io by default. Name components may contain lowercase letters, digits and separators. A separator is defined as a period, one or two underscores, or one or more dashes. A name component may not start or end with a separator.

A tag name must be valid ASCII and may contain lowercase and uppercase letters, digits, underscores, periods and dashes. A tag name may not start with a period or a dash and may contain a maximum of 128 characters.

https://docs.docker.com/engine/reference/commandline/tag/#extended-description

FROM centos:centos7

RUN yum -y install --setopt=tsflags=nodocs epel-release && \ 
    yum -y update && yum clean all

There is a space after \

$ integration-tests/parseFile Dockerfile.break
Left (TrivialError (SourcePos {sourceName = "Dockerfile.break", sourceLine = Pos 4, sourceColumn = Pos 5} :| []) (Just (Tokens ('y' :| ""))) (fromList [Tokens ('#' :| ""),Label ('A' :| "DD"),Label ('A' :| "RG"),Label ('C' :| "MD"),Label ('C' :| "OPY"),Label ('E' :| "NTRYPOINT"),Label ('E' :| "NV"),Label ('E' :| "XPOSE"),Label ('F' :| "ROM"),Label ('H' :| "EALTHCHECK"),Label ('L' :| "ABEL"),Label ('M' :| "AINTAINER"),Label ('O' :| "NBUILD"),Label ('R' :| "UN"),Label ('S' :| "HELL"),Label ('S' :| "TOPSIGNAL"),Label ('U' :| "SER"),Label ('V' :| "OLUME"),Label ('W' :| "ORKDIR"),Label ('t' :| "he rest of a new line followed by the next instruction"),EndOfInput]))

It wasn't catched in integration tests because error message has changed

[ 5 of 13] Compiling Language.Docker.PrettyPrint ( src/Language/Docker/PrettyPrint.hs, dist/build/Language/Docker/PrettyPrint.o )

src/Language/Docker/PrettyPrint.hs:34:64: error:
    Ambiguous occurrence ‘<>’
    It could refer to either ‘Prelude.<>’,
                             imported from ‘Prelude’ at src/Language/Docker/PrettyPrint.hs:14:1-43
                             (and originally defined in ‘GHC.Base’)
                          or ‘Text.PrettyPrint.<>’,
                             imported from ‘Text.PrettyPrint’ at src/Language/Docker/PrettyPrint.hs:15:1-23
                             (and originally defined in ‘Text.PrettyPrint.HughesPJ’)
   |
34 | prettyPrintImage (Image (Just (Registry reg)) name) = text reg <> char '/' <> text name
   |                                                                ^^

The same failure repeats many, many times, every time <> is used.

Hello,

On 9 March, a new version of dockerfile frontend has been released. This introduced one change to the syntax.

COPY --link and ADD --link allow copying files with increased cache efficiency and rebase images without requiring them to be rebuilt. --link copies files to a separate layer and then uses new LLB MergeOp implementation to chain independent layers together.

Documentation: https://github.com/moby/buildkit/blob/dockerfile/1.4.0/frontend/dockerfile/docs/syntax.md#linked-copies-copy---link-add---link

We need to add support for the following new syntaxes:

COPY --link /source /target
ADD --link /source /target
COPY --link=true /source /target
COPY --link=false /source /target

Best regards,

Intro

bash manpage:

       control operator
              A token that performs a control function.  It is one of the following symbols:
              || & && ; ;; ( ) | |& <newline>

Control operators are important for decisions which are happening later in hadolint https://github.com/hadolint/hadolint/blob/master/src/Hadolint/Rules.hs#L173

This issue has been found through hadolint/hadolint#196

Current state

RUN set -ex; apk add --no-cache curl=7.59.0-r0

is parsed

$ stack repl
> parseString "RUN set -ex; apk add --no-cache ca-certificates=20171114-r0"
Right [InstructionPos {instruction = Run (Arguments ["set","-ex;","apk","add","--no-cache","ca-certificates=20171114-r0"]), sourcename = "<string>", lineNumber = 1}]

where ; is parsed as part of -ex.

I believe it is done here

Desired state

Split RUN arguments using white space and selected control operators.

$ stack repl
> parseString "RUN set -ex; apk add --no-cache ca-certificates=20171114-r0"
Right [InstructionPos {instruction = Run (Arguments ["set","-ex",";","apk","add","--no-cache","ca-certificates=20171114-r0"]), sourcename = "<string>", lineNumber = 1}]

λ> putDockerfileStr $ label [("maintainer","Peter Simons <[email protected]>")]
LABEL maintainer=Peter Simons <[email protected]>

gives a Dockerfile that's syntactically incorrect. I would expect label to quote that value as needed. Is that not how it's supposed to be used? Do I need to quote these values myself?

Hi there,

I have a similar problem to #57 with the prettyPrint for the quoted string.
It is about prettyPrint automatically move the parts after token && to a new line even in a quoted string.
The example code is described as below.

Is there any quick workarounds for this issue? I'm really looking forward to it.
Thank you very much!

I am using language-docker-10.4.2.

module Main
  ( main
  ) where

import qualified Data.Either as Either
import qualified Data.Text as T
import qualified Data.Text.IO as T.IO
import qualified Data.Text.Lazy as Lazy
import qualified Language.Docker as Docker
import Prelude (IO, ($))

main :: IO ()
main = T.IO.putStr prettyPrinted
  where
    prettyPrinted = Lazy.toStrict $ Docker.prettyPrint parsed
    parsed = Either.fromRight [] $ Docker.parseText source
    source = T.pack "FROM alpine\nRUN grep -F 'cd dir && ./run.sh ' /opt/Makefile"

It should return

FROM alpine
RUN grep -F 'cd dir && ./run.sh ' /opt/Makefile

However, the actual return is as below, which creates different shell execution result.

FROM alpine
RUN grep -F 'cd dir \
 && ./run.sh ' /opt/Makefile

In a Dockerfile used for multistage build, a stage of image is part of name/tag/sha

> parseString "FROM ubuntu AS ubuntu-build"
Right [InstructionPos (From (UntaggedImage "ubuntu AS ubuntu-build")) "<string>" 1]

> parseString "FROM ubuntu:16.04 as ubuntu-build"
Right [InstructionPos (From (TaggedImage "ubuntu" "16.04 as ubuntu-build")) "<string>" 1]

> parseString "FROM ubuntu@sha256:0ef2e08ed3fabfc44002ccb846c4f2416a2135affc3ce39538834059606f32dd as ubuntu-build"
Right [InstructionPos (From (TaggedImage "ubuntu@sha256" "0ef2e08ed3fabfc44002ccb846c4f2416a2135affc3ce39538834059606f32dd as ubuntu-build")) "<string>" 1]

It would be nice to get a stage name also from parser.

https://docs.docker.com/engine/userguide/eng-image/multistage-build/#name-your-build-stages

RUN --mount=type=cache understands some flags the parser doesn't recognize yet:

ARG debian_version=12
FROM debian:bookworm-slim
RUN --mount=id=debian:${debian_version}-/var/cache/apt,sharing=locked,target=/var/cache/apt,type=cache \

Errors with:
Dockerfile:3:13 unexpected "id=debian:${" expecting "from=", "readonly", "readonly=", "readwrite", "readwrite=", "ro", "ro=", "rw", "rw=", "type=", source=, or target=

The dockerfile syntax 1.4 introduced a few new things notably #81 and heredocs: https://www.docker.com/blog/introduction-to-heredocs-in-dockerfiles/ but also few more things.

We are already swtiching to use both in our Dockerfiles in apache airflow and we had to disable hadolint for that. It would be great to get support for it :)

Hey,
I am trying to build hadolint on my gentoo system, but I can not manage to build,
language-docker-5.0.1, here the error I get

[ 1 of 11] Compiling Paths_language_docker ( dist/build/autogen/Paths_language_docker.hs, dist/build/Paths_language_docker.o )
[ 2 of 11] Compiling Language.Docker.Syntax ( src/Language/Docker/Syntax.hs, dist/build/Language/Docker/Syntax.o )
[ 3 of 11] Compiling Language.Docker.Syntax.Lift ( src/Language/Docker/Syntax/Lift.hs, dist/build/Language/Docker/Syntax/Lift.o )
[ 4 of 11] Compiling Language.Docker.PrettyPrint ( src/Language/Docker/PrettyPrint.hs, dist/build/Language/Docker/PrettyPrint.o )

src/Language/Docker/PrettyPrint.hs:93:25: error:
    Not in scope: ‘fail’
    Perhaps you want to add ‘fail’ to the import list in the import of
    ‘Prelude’ (src/Language/Docker/PrettyPrint.hs:(15,1)-(17,18)).
[ 5 of 11] Compiling Language.Docker.Normalize ( src/Language/Docker/Normalize.hs, dist/build/Language/Docker/Normalize.o )
[ 6 of 11] Compiling Language.Docker.Lexer ( src/Language/Docker/Lexer.hs, dist/build/Language/Docker/Lexer.o )
[ 7 of 11] Compiling Language.Docker.Parser ( src/Language/Docker/Parser.hs, dist/build/Language/Docker/Parser.o )

src/Language/Docker/Parser.hs:402:17: warning: [-Wmissing-monadfail-instances]
    • No instance for (Control.Monad.Fail.MonadFail
                         (ParsecT String () Data.Functor.Identity.Identity))
        arising from the failable pattern ‘Cmd checkCommand’
        (this will become an error in a future GHC release)
    • In a stmt of a 'do' block: Cmd checkCommand <- cmd
      In the expression:
        do { Cmd checkCommand <- cmd;
             let interval = listToMaybe intervals;
             let timeout = listToMaybe timeouts;
             let startPeriod = listToMaybe startPeriods;
             .... }
      In a case alternative:
          _ -> do { Cmd checkCommand <- cmd;
                    let interval = ...;
                    let timeout = ...;
                    .... }
[ 8 of 11] Compiling Language.Docker.EDSL.Types ( src/Language/Docker/EDSL/Types.hs, dist/build/Language/Docker/EDSL/Types.o )

I use ghc version 8.0.2 should I try a newer version ?

I am trying to get our hadolint/hadolint working with the latest LTS stack. Unfortunately, build is failing for this repo with the latest stack 15.1 which is using ghc 8.8.2 and I am getting this error:

/home/zemanlx/git/language-docker/src/Language/Docker/Syntax/Lift.hs:18:10: error:
    Duplicate instance declarations:
      instance Lift Text.Text
        -- Defined at src/Language/Docker/Syntax/Lift.hs:18:10
      instance Lift Text.Text -- Defined in ‘Data.Text’
   |
18 | instance Lift Text.Text where
   |          ^^^^^^^^^^^^^^

I bet it is something that can be solved somehow trivially but I do not know how. If I can get hint @lorenzo I am happy to make PR for it.

First of all, thanks for this helpful library.

The Dockerfile

FROM alpine
RUN echo 'a    b'

is pretty printed by prettyPrint as

FROM alpine
RUN echo 'a b'

I'd expect a quoted string to be left unchanged instead of reduced to 'a b'.

This happens not only with RUN instructions (in shell form), but also with health check commands.

A minimal code example is

module Main
  ( main
  ) where

import qualified Data.Either as Either
import qualified Data.Text as T
import qualified Data.Text.IO as T.IO
import qualified Data.Text.Lazy as Lazy
import qualified Language.Docker as Docker
import Prelude (IO, ($))

main :: IO ()
main = T.IO.putStr prettyPrinted
  where
    prettyPrinted = Lazy.toStrict $ Docker.prettyPrint parsed
    parsed = Either.fromRight [] $ Docker.parseText source
    source = T.pack "FROM alpine\nRUN echo 'a    b'\n"

I'm using version 9.1.1 of the library (via LTS Haskell 16.18).

Seems like parser is not able to parse correctly Windows dockerfiles using #escape=<here should be backtick symbol> See hadolint/hadolint#371

Current state

> parseString "EXPOSE 80/tcp 53/udp"
Right [InstructionPos (Expose (PortStr "80/tcp 53/udp")) "<string>" 1]
> parseString "EXPOSE 80 53/udp"
Right [InstructionPos (Expose (PortStr "80 53/udp")) "<string>" 1]
> parseString "EXPOSE 80 53"
Right [InstructionPos (Expose (Ports [80,53])) "<string>" 1]

This means that I have to parse it again when I get string to get ports and protocols. I would like to get it beck from parser as pairs portnumber/protocol where default protocol is tcp.

https://docs.docker.com/engine/reference/builder/#expose

Proposed state

> parseString "EXPOSE 80/tcp 53/udp"
Right [InstructionPos (Expose (Ports [(80,"tcp"), (53,"udp")])) "<string>" 1]
> parseString "EXPOSE 80 53/udp"
Right [InstructionPos (Expose (Ports [(80,"tcp"), (53,"udp")])) "<string>" 1]
> parseString "EXPOSE 80 53"
Right [InstructionPos (Expose (Ports [(80,"tcp"), (53,"tcp")])) "<string>" 1]

https://github.com/hadolint/language-docker/blob/master/src/Language/Docker/Parser.hs#L268

port :: Parser Port
port =
    (try portVariable <?> "a variable") <|> -- There a many valid representations of ports
    (try portRange <?> "a port range") <|>
    (try portWithProtocol <?> "a port with its protocol (udp/tcp)") <|>
    (try portInt <?> "a valid port number")

Please could you add support for parsing "portRangeWithProtocol" e.g.
EXPOSE 1000-2000/udp

Many thanks ~

e.g.

FROM node AS builder
…

There is a definition for DigestedImage but it is not used. I always get it as TaggedImage

> parseString "FROM ubuntu@sha256:0ef2e08ed3fabfc44002ccb846c4f2416a2135affc3ce39538834059606f32dd"
Right [InstructionPos (From (TaggedImage "ubuntu@sha256" "0ef2e08ed3fabfc44002ccb846c4f2416a2135affc3ce39538834059606f32dd")) "<string>" 1]

I tried to parse https://github.com/peti/opensuse-docker/blob/master/tw-haskell-dev/Dockerfile and got the following error:

../opensuse-docker/tw-haskell-dev/Dockerfile:18:2:
unexpected '&'
expecting '#', ADD, ARG, CMD, COPY, ENTRYPOINT, ENV, EXPOSE, FROM, HEALTHCHECK, LABEL, MAINTAINER, ONBUILD, RUN, SHELL, STOPSIGNAL, USER, VOLUME, WORKDIR, end of input, or the rest of a new line followed by the next instruction

Curiously enough, docker parses and handles that Dockerfile just fine, so I reckon this is more likely to be an issue in the parser than an actual error in the file?

When parsing a Dockerfile with an ENV instruction containing a \ in the value of an environment variable, this is not escaped correctly:

ENV DOCKER_PASSWORD="aaa\aaa"

is parsed to

[InstructionPos {instruction = Env [("DOCKER_PASSWORD","aaa\\aaa")], sourcename = "./test.dockerfile", lineNumber = 1}]

This shows two \\ in the parsed value while I would expect there to be none as the \ is here used to (uselessly) escape the a.

The following result is surprising:

λ> putDockerfileStr (from "opensuse/tumbleweed")
FROM tumbleweed

That doesn't feel like the outcome one would reasonably expect?

Trying to build 4.0.1 here with ghc 8.0.1, and seeing this issue:

./setup build
Building language-docker-4.0.1...
Preprocessing library language-docker-4.0.1...
[ 1 of 11] Compiling Paths_language_docker ( dist/build/autogen/Paths_language_docker.hs, dist/build/Paths_language_docker.o )
[ 2 of 11] Compiling Language.Docker.Syntax ( src/Language/Docker/Syntax.hs, dist/build/Language/Docker/Syntax.o )
[ 3 of 11] Compiling Language.Docker.Syntax.Lift ( src/Language/Docker/Syntax/Lift.hs, dist/build/Language/Docker/Syntax/Lift.o )
[ 4 of 11] Compiling Language.Docker.PrettyPrint ( src/Language/Docker/PrettyPrint.hs, dist/build/Language/Docker/PrettyPrint.o )

src/Language/Docker/PrettyPrint.hs:91:25: error:
    Not in scope: ‘fail’
    Perhaps you want to add ‘fail’ to the import list in the import of
    ‘Prelude’ (src/Language/Docker/PrettyPrint.hs:(15,1)-(17,18)).
[ 5 of 11] Compiling Language.Docker.Normalize ( src/Language/Docker/Normalize.hs, dist/build/Language/Docker/Normalize.o )
[ 6 of 11] Compiling Language.Docker.Lexer ( src/Language/Docker/Lexer.hs, dist/build/Language/Docker/Lexer.o )
[ 7 of 11] Compiling Language.Docker.Parser ( src/Language/Docker/Parser.hs, dist/build/Language/Docker/Parser.o )
[ 8 of 11] Compiling Language.Docker.EDSL.Types ( src/Language/Docker/EDSL/Types.hs, dist/build/Language/Docker/EDSL/Types.o )

Tests can't be executed from the hackage sdist due to missing the following files:

• test/fixtures/Dockerfile.bom.utf32be
• test/fixtures/Dockerfile.bom.utf32le
• test/fixtures/Dockerfile.bom.utf16be
• test/fixtures/Dockerfile.bom.utf16le
• test/fixtures/Dockerfile.bom.utf8

https://docs.docker.com/engine/reference/builder/#entrypoint

ENTRYPOINT ["yarn", "start", "--"] vs ENTRYPOINT yarn start --

How can I generate the exec form?

Currently, language-docker-0.3.6.0 does not build GHC 8.10.1. This issue aims to document the underlying issues.

1. The first issue you run into is this error:

   [ 7 of 10] Compiling Language.Docker.Syntax.Lift ( src/Language/Docker/Syntax/Lift.hs, interpreted )
   
   src/Language/Docker/Syntax/Lift.hs:16:1: error:
       Illegal kind signature: ‘a_a8rK’
         Perhaps you intended to use KindSignatures
       In an instance declaration
      |
   16 | deriveLift ''Fixed
      | ^^^^^^^^^^^^^^^^^^
   
   src/Language/Docker/Syntax/Lift.hs:16:1: error:
       Unexpected kind variable ‘k_a8rJ’
       Perhaps you intended to use PolyKinds
       In an instance declaration
      |
   16 | deriveLift ''Fixed
      | ^^^^^^^^^^^^^^^^^^
   

   This is because Fixed is poly-kinded as of base-4.14. A simple fix is to enable PolyKinds at the top of Language.Docker.Syntax.Lift.

2. The next issue involves a missing Lift Text instance:

   [ 7 of 10] Compiling Language.Docker.Syntax.Lift ( src/Language/Docker/Syntax/Lift.hs, interpreted )
   
   src/Language/Docker/Syntax/Lift.hs:23:1: error:
       • No instance for (Lift Data.Text.Internal.Text)
           arising from a use of ‘lift’
       • In the second argument of ‘Language.Haskell.TH.Lib.Internal.appE’, namely
           ‘(lift x0_akQJ)’
         In the expression:
           (Language.Haskell.TH.Lib.Internal.appE
              (Language.Haskell.TH.Lib.Internal.conE
                 ((Language.Haskell.TH.Syntax.Name
                     (Language.Haskell.TH.Syntax.mkOccName "PortStr"))
                    (((Language.Haskell.TH.Syntax.NameG
                         Language.Haskell.TH.Syntax.DataName)
                        (Language.Haskell.TH.Syntax.mkPkgName
                           "language-docker-8.1.0-inplace"))
                       (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
             (lift x0_akQJ)
         In a case alternative:
             PortStr x0_akQJ
               -> (Language.Haskell.TH.Lib.Internal.appE
                     (Language.Haskell.TH.Lib.Internal.conE
                        ((Language.Haskell.TH.Syntax.Name
                            (Language.Haskell.TH.Syntax.mkOccName "PortStr"))
                           (((Language.Haskell.TH.Syntax.NameG
                                Language.Haskell.TH.Syntax.DataName)
                               (Language.Haskell.TH.Syntax.mkPkgName
                                  "language-docker-8.1.0-inplace"))
                              (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
                    (lift x0_akQJ)
      |
   23 | deriveLift ''Port
      | ^^^^^^^^^^^^^^^^^
   
   src/Language/Docker/Syntax/Lift.hs:27:1: error:
       • No instance for (Lift Data.Text.Internal.Text)
           arising from a use of ‘lift’
       • In the second argument of ‘Language.Haskell.TH.Lib.Internal.appE’, namely
           ‘(lift x0_akSf)’
         In the expression:
           (Language.Haskell.TH.Lib.Internal.appE
              (Language.Haskell.TH.Lib.Internal.conE
                 ((Language.Haskell.TH.Syntax.Name
                     (Language.Haskell.TH.Syntax.mkOccName "Registry"))
                    (((Language.Haskell.TH.Syntax.NameG
                         Language.Haskell.TH.Syntax.DataName)
                        (Language.Haskell.TH.Syntax.mkPkgName
                           "language-docker-8.1.0-inplace"))
                       (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
             (lift x0_akSf)
         In a case alternative:
             Registry x0_akSf
               -> (Language.Haskell.TH.Lib.Internal.appE
                     (Language.Haskell.TH.Lib.Internal.conE
                        ((Language.Haskell.TH.Syntax.Name
                            (Language.Haskell.TH.Syntax.mkOccName "Registry"))
                           (((Language.Haskell.TH.Syntax.NameG
                                Language.Haskell.TH.Syntax.DataName)
                               (Language.Haskell.TH.Syntax.mkPkgName
                                  "language-docker-8.1.0-inplace"))
                              (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
                    (lift x0_akSf)
      |
   27 | deriveLift ''Registry
      | ^^^^^^^^^^^^^^^^^^^^^
   
   src/Language/Docker/Syntax/Lift.hs:29:1: error:
       • No instance for (Lift Data.Text.Internal.Text)
           arising from a use of ‘lift’
       • In the second argument of ‘Language.Haskell.TH.Lib.Internal.appE’, namely
           ‘(lift x1_akSS)’
         In the expression:
           (Language.Haskell.TH.Lib.Internal.appE
              ((Language.Haskell.TH.Lib.Internal.appE
                  (Language.Haskell.TH.Lib.Internal.conE
                     ((Language.Haskell.TH.Syntax.Name
                         (Language.Haskell.TH.Syntax.mkOccName "Image"))
                        (((Language.Haskell.TH.Syntax.NameG
                             Language.Haskell.TH.Syntax.DataName)
                            (Language.Haskell.TH.Syntax.mkPkgName
                               "language-docker-8.1.0-inplace"))
                           (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
                 (lift x0_akSR)))
             (lift x1_akSS)
         In a case alternative:
             Image x0_akSR x1_akSS
               -> (Language.Haskell.TH.Lib.Internal.appE
                     ((Language.Haskell.TH.Lib.Internal.appE
                         (Language.Haskell.TH.Lib.Internal.conE
                            ((Language.Haskell.TH.Syntax.Name
                                (Language.Haskell.TH.Syntax.mkOccName "Image"))
                               (((Language.Haskell.TH.Syntax.NameG
                                    Language.Haskell.TH.Syntax.DataName)
                                   (Language.Haskell.TH.Syntax.mkPkgName
                                      "language-docker-8.1.0-inplace"))
                                  (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
                        (lift x0_akSR)))
                    (lift x1_akSS)
      |
   29 | deriveLift ''Image
      | ^^^^^^^^^^^^^^^^^^
   
   src/Language/Docker/Syntax/Lift.hs:31:1: error:
       • No instance for (Lift Data.Text.Internal.Text)
           arising from a use of ‘lift’
       • In the second argument of ‘Language.Haskell.TH.Lib.Internal.appE’, namely
           ‘(lift x0_akTx)’
         In the expression:
           (Language.Haskell.TH.Lib.Internal.appE
              (Language.Haskell.TH.Lib.Internal.conE
                 ((Language.Haskell.TH.Syntax.Name
                     (Language.Haskell.TH.Syntax.mkOccName "ImageAlias"))
                    (((Language.Haskell.TH.Syntax.NameG
                         Language.Haskell.TH.Syntax.DataName)
                        (Language.Haskell.TH.Syntax.mkPkgName
                           "language-docker-8.1.0-inplace"))
                       (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
             (lift x0_akTx)
         In a case alternative:
             ImageAlias x0_akTx
               -> (Language.Haskell.TH.Lib.Internal.appE
                     (Language.Haskell.TH.Lib.Internal.conE
                        ((Language.Haskell.TH.Syntax.Name
                            (Language.Haskell.TH.Syntax.mkOccName "ImageAlias"))
                           (((Language.Haskell.TH.Syntax.NameG
                                Language.Haskell.TH.Syntax.DataName)
                               (Language.Haskell.TH.Syntax.mkPkgName
                                  "language-docker-8.1.0-inplace"))
                              (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
                    (lift x0_akTx)
      |
   31 | deriveLift ''ImageAlias
      | ^^^^^^^^^^^^^^^^^^^^^^^
   
   src/Language/Docker/Syntax/Lift.hs:33:1: error:
       • No instance for (Lift Data.Text.Internal.Text)
           arising from a use of ‘lift’
       • In the second argument of ‘Language.Haskell.TH.Lib.Internal.appE’, namely
           ‘(lift x0_akU9)’
         In the expression:
           (Language.Haskell.TH.Lib.Internal.appE
              (Language.Haskell.TH.Lib.Internal.conE
                 ((Language.Haskell.TH.Syntax.Name
                     (Language.Haskell.TH.Syntax.mkOccName "Tag"))
                    (((Language.Haskell.TH.Syntax.NameG
                         Language.Haskell.TH.Syntax.DataName)
                        (Language.Haskell.TH.Syntax.mkPkgName
                           "language-docker-8.1.0-inplace"))
                       (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
             (lift x0_akU9)
         In a case alternative:
             Tag x0_akU9
               -> (Language.Haskell.TH.Lib.Internal.appE
                     (Language.Haskell.TH.Lib.Internal.conE
                        ((Language.Haskell.TH.Syntax.Name
                            (Language.Haskell.TH.Syntax.mkOccName "Tag"))
                           (((Language.Haskell.TH.Syntax.NameG
                                Language.Haskell.TH.Syntax.DataName)
                               (Language.Haskell.TH.Syntax.mkPkgName
                                  "language-docker-8.1.0-inplace"))
                              (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
                    (lift x0_akU9)
      |
   33 | deriveLift ''Tag
      | ^^^^^^^^^^^^^^^^
   
   src/Language/Docker/Syntax/Lift.hs:35:1: error:
       • No instance for (Lift Data.Text.Internal.Text)
           arising from a use of ‘lift’
       • In the second argument of ‘Language.Haskell.TH.Lib.Internal.appE’, namely
           ‘(lift x0_akUL)’
         In the expression:
           (Language.Haskell.TH.Lib.Internal.appE
              (Language.Haskell.TH.Lib.Internal.conE
                 ((Language.Haskell.TH.Syntax.Name
                     (Language.Haskell.TH.Syntax.mkOccName "Digest"))
                    (((Language.Haskell.TH.Syntax.NameG
                         Language.Haskell.TH.Syntax.DataName)
                        (Language.Haskell.TH.Syntax.mkPkgName
                           "language-docker-8.1.0-inplace"))
                       (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
             (lift x0_akUL)
         In a case alternative:
             Digest x0_akUL
               -> (Language.Haskell.TH.Lib.Internal.appE
                     (Language.Haskell.TH.Lib.Internal.conE
                        ((Language.Haskell.TH.Syntax.Name
                            (Language.Haskell.TH.Syntax.mkOccName "Digest"))
                           (((Language.Haskell.TH.Syntax.NameG
                                Language.Haskell.TH.Syntax.DataName)
                               (Language.Haskell.TH.Syntax.mkPkgName
                                  "language-docker-8.1.0-inplace"))
                              (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
                    (lift x0_akUL)
      |
   35 | deriveLift ''Digest
      | ^^^^^^^^^^^^^^^^^^^
   
   src/Language/Docker/Syntax/Lift.hs:37:1: error:
       • No instance for (Lift Data.Text.Internal.Text)
           arising from a use of ‘lift’
       • In the second argument of ‘Language.Haskell.TH.Lib.Internal.appE’, namely
           ‘(lift x4_akVr)’
         In the expression:
           (Language.Haskell.TH.Lib.Internal.appE
              ((Language.Haskell.TH.Lib.Internal.appE
                  ((Language.Haskell.TH.Lib.Internal.appE
                      ((Language.Haskell.TH.Lib.Internal.appE
                          ((Language.Haskell.TH.Lib.Internal.appE
                              (Language.Haskell.TH.Lib.Internal.conE
                                 ((Language.Haskell.TH.Syntax.Name
                                     (Language.Haskell.TH.Syntax.mkOccName "BaseImage"))
                                    (((Language.Haskell.TH.Syntax.NameG
                                         Language.Haskell.TH.Syntax.DataName)
                                        (Language.Haskell.TH.Syntax.mkPkgName
                                           "language-docker-8.1.0-inplace"))
                                       (Language.Haskell.TH.Syntax.mkModName
                                          "Language.Docker.Syntax")))))
                             (lift x0_akVn)))
                         (lift x1_akVo)))
                     (lift x2_akVp)))
                 (lift x3_akVq)))
             (lift x4_akVr)
         In a case alternative:
             BaseImage x0_akVn x1_akVo x2_akVp x3_akVq x4_akVr
               -> (Language.Haskell.TH.Lib.Internal.appE
                     ((Language.Haskell.TH.Lib.Internal.appE
                         ((Language.Haskell.TH.Lib.Internal.appE
                             ((Language.Haskell.TH.Lib.Internal.appE
                                 ((Language.Haskell.TH.Lib.Internal.appE
                                     (Language.Haskell.TH.Lib.Internal.conE
                                        ((Language.Haskell.TH.Syntax.Name
                                            (Language.Haskell.TH.Syntax.mkOccName "BaseImage"))
                                           (((Language.Haskell.TH.Syntax.NameG
                                                Language.Haskell.TH.Syntax.DataName)
                                               (Language.Haskell.TH.Syntax.mkPkgName
                                                  "language-docker-8.1.0-inplace"))
                                              (Language.Haskell.TH.Syntax.mkModName
                                                 "Language.Docker.Syntax")))))
                                    (lift x0_akVn)))
                                (lift x1_akVo)))
                            (lift x2_akVp)))
                        (lift x3_akVq)))
                    (lift x4_akVr)
      |
   37 | deriveLift ''BaseImage
      | ^^^^^^^^^^^^^^^^^^^^^^
   
   src/Language/Docker/Syntax/Lift.hs:41:1: error:
       • Could not deduce (Lift Data.Text.Internal.Text)
           arising from a use of ‘lift’
         from the context: Lift args
           bound by the instance declaration
           at src/Language/Docker/Syntax/Lift.hs:41:1-24
       • In the second argument of ‘Language.Haskell.TH.Lib.Internal.appE’, namely
           ‘(lift x0_akYg)’
         In the expression:
           (Language.Haskell.TH.Lib.Internal.appE
              (Language.Haskell.TH.Lib.Internal.conE
                 ((Language.Haskell.TH.Syntax.Name
                     (Language.Haskell.TH.Syntax.mkOccName "User"))
                    (((Language.Haskell.TH.Syntax.NameG
                         Language.Haskell.TH.Syntax.DataName)
                        (Language.Haskell.TH.Syntax.mkPkgName
                           "language-docker-8.1.0-inplace"))
                       (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
             (lift x0_akYg)
         In a case alternative:
             User x0_akYg
               -> (Language.Haskell.TH.Lib.Internal.appE
                     (Language.Haskell.TH.Lib.Internal.conE
                        ((Language.Haskell.TH.Syntax.Name
                            (Language.Haskell.TH.Syntax.mkOccName "User"))
                           (((Language.Haskell.TH.Syntax.NameG
                                Language.Haskell.TH.Syntax.DataName)
                               (Language.Haskell.TH.Syntax.mkPkgName
                                  "language-docker-8.1.0-inplace"))
                              (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
                    (lift x0_akYg)
      |
   41 | deriveLift ''Instruction
      | ^^^^^^^^^^^^^^^^^^^^^^^^
   
   src/Language/Docker/Syntax/Lift.hs:43:1: error:
       • Could not deduce (Lift Filename) arising from a use of ‘lift’
         from the context: Lift args
           bound by the instance declaration
           at src/Language/Docker/Syntax/Lift.hs:43:1-27
       • In the second argument of ‘Language.Haskell.TH.Lib.Internal.appE’, namely
           ‘(lift x1_al0d)’
         In the first argument of ‘Language.Haskell.TH.Lib.Internal.appE’, namely
           ‘((Language.Haskell.TH.Lib.Internal.appE
                ((Language.Haskell.TH.Lib.Internal.appE
                    (Language.Haskell.TH.Lib.Internal.conE
                       ((Language.Haskell.TH.Syntax.Name
                           (Language.Haskell.TH.Syntax.mkOccName "InstructionPos"))
                          (((Language.Haskell.TH.Syntax.NameG
                               Language.Haskell.TH.Syntax.DataName)
                              (Language.Haskell.TH.Syntax.mkPkgName
                                 "language-docker-8.1.0-inplace"))
                             (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
                   (lift x0_al0c)))
               (lift x1_al0d))’
         In the expression:
           (Language.Haskell.TH.Lib.Internal.appE
              ((Language.Haskell.TH.Lib.Internal.appE
                  ((Language.Haskell.TH.Lib.Internal.appE
                      (Language.Haskell.TH.Lib.Internal.conE
                         ((Language.Haskell.TH.Syntax.Name
                             (Language.Haskell.TH.Syntax.mkOccName "InstructionPos"))
                            (((Language.Haskell.TH.Syntax.NameG
                                 Language.Haskell.TH.Syntax.DataName)
                                (Language.Haskell.TH.Syntax.mkPkgName
                                   "language-docker-8.1.0-inplace"))
                               (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
                     (lift x0_al0c)))
                 (lift x1_al0d)))
             (lift x2_al0e)
      |
   43 | deriveLift ''InstructionPos
      | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
   
   src/Language/Docker/Syntax/Lift.hs:45:1: error:
       • No instance for (Lift Data.Text.Internal.Text)
           arising from a use of ‘lift’
       • In the second argument of ‘Language.Haskell.TH.Lib.Internal.appE’, namely
           ‘(lift x0_al12)’
         In the expression:
           (Language.Haskell.TH.Lib.Internal.appE
              (Language.Haskell.TH.Lib.Internal.conE
                 ((Language.Haskell.TH.Syntax.Name
                     (Language.Haskell.TH.Syntax.mkOccName "SourcePath"))
                    (((Language.Haskell.TH.Syntax.NameG
                         Language.Haskell.TH.Syntax.DataName)
                        (Language.Haskell.TH.Syntax.mkPkgName
                           "language-docker-8.1.0-inplace"))
                       (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
             (lift x0_al12)
         In a case alternative:
             SourcePath x0_al12
               -> (Language.Haskell.TH.Lib.Internal.appE
                     (Language.Haskell.TH.Lib.Internal.conE
                        ((Language.Haskell.TH.Syntax.Name
                            (Language.Haskell.TH.Syntax.mkOccName "SourcePath"))
                           (((Language.Haskell.TH.Syntax.NameG
                                Language.Haskell.TH.Syntax.DataName)
                               (Language.Haskell.TH.Syntax.mkPkgName
                                  "language-docker-8.1.0-inplace"))
                              (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
                    (lift x0_al12)
      |
   45 | deriveLift ''SourcePath
      | ^^^^^^^^^^^^^^^^^^^^^^^
   
   src/Language/Docker/Syntax/Lift.hs:47:1: error:
       • No instance for (Lift Data.Text.Internal.Text)
           arising from a use of ‘lift’
       • In the second argument of ‘Language.Haskell.TH.Lib.Internal.appE’, namely
           ‘(lift x0_al1E)’
         In the expression:
           (Language.Haskell.TH.Lib.Internal.appE
              (Language.Haskell.TH.Lib.Internal.conE
                 ((Language.Haskell.TH.Syntax.Name
                     (Language.Haskell.TH.Syntax.mkOccName "TargetPath"))
                    (((Language.Haskell.TH.Syntax.NameG
                         Language.Haskell.TH.Syntax.DataName)
                        (Language.Haskell.TH.Syntax.mkPkgName
                           "language-docker-8.1.0-inplace"))
                       (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
             (lift x0_al1E)
         In a case alternative:
             TargetPath x0_al1E
               -> (Language.Haskell.TH.Lib.Internal.appE
                     (Language.Haskell.TH.Lib.Internal.conE
                        ((Language.Haskell.TH.Syntax.Name
                            (Language.Haskell.TH.Syntax.mkOccName "TargetPath"))
                           (((Language.Haskell.TH.Syntax.NameG
                                Language.Haskell.TH.Syntax.DataName)
                               (Language.Haskell.TH.Syntax.mkPkgName
                                  "language-docker-8.1.0-inplace"))
                              (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
                    (lift x0_al1E)
      |
   47 | deriveLift ''TargetPath
      | ^^^^^^^^^^^^^^^^^^^^^^^
   
   src/Language/Docker/Syntax/Lift.hs:49:1: error:
       • No instance for (Lift Data.Text.Internal.Text)
           arising from a use of ‘lift’
       • In the second argument of ‘Language.Haskell.TH.Lib.Internal.appE’, namely
           ‘(lift x0_al2g)’
         In the expression:
           (Language.Haskell.TH.Lib.Internal.appE
              (Language.Haskell.TH.Lib.Internal.conE
                 ((Language.Haskell.TH.Syntax.Name
                     (Language.Haskell.TH.Syntax.mkOccName "Chown"))
                    (((Language.Haskell.TH.Syntax.NameG
                         Language.Haskell.TH.Syntax.DataName)
                        (Language.Haskell.TH.Syntax.mkPkgName
                           "language-docker-8.1.0-inplace"))
                       (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
             (lift x0_al2g)
         In a case alternative:
             Chown x0_al2g
               -> (Language.Haskell.TH.Lib.Internal.appE
                     (Language.Haskell.TH.Lib.Internal.conE
                        ((Language.Haskell.TH.Syntax.Name
                            (Language.Haskell.TH.Syntax.mkOccName "Chown"))
                           (((Language.Haskell.TH.Syntax.NameG
                                Language.Haskell.TH.Syntax.DataName)
                               (Language.Haskell.TH.Syntax.mkPkgName
                                  "language-docker-8.1.0-inplace"))
                              (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
                    (lift x0_al2g)
      |
   49 | deriveLift ''Chown
      | ^^^^^^^^^^^^^^^^^^
   
   src/Language/Docker/Syntax/Lift.hs:51:1: error:
       • No instance for (Lift Data.Text.Internal.Text)
           arising from a use of ‘lift’
       • In the second argument of ‘Language.Haskell.TH.Lib.Internal.appE’, namely
           ‘(lift x0_al2S)’
         In the expression:
           (Language.Haskell.TH.Lib.Internal.appE
              (Language.Haskell.TH.Lib.Internal.conE
                 ((Language.Haskell.TH.Syntax.Name
                     (Language.Haskell.TH.Syntax.mkOccName "CopySource"))
                    (((Language.Haskell.TH.Syntax.NameG
                         Language.Haskell.TH.Syntax.DataName)
                        (Language.Haskell.TH.Syntax.mkPkgName
                           "language-docker-8.1.0-inplace"))
                       (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
             (lift x0_al2S)
         In a case alternative:
             CopySource x0_al2S
               -> (Language.Haskell.TH.Lib.Internal.appE
                     (Language.Haskell.TH.Lib.Internal.conE
                        ((Language.Haskell.TH.Syntax.Name
                            (Language.Haskell.TH.Syntax.mkOccName "CopySource"))
                           (((Language.Haskell.TH.Syntax.NameG
                                Language.Haskell.TH.Syntax.DataName)
                               (Language.Haskell.TH.Syntax.mkPkgName
                                  "language-docker-8.1.0-inplace"))
                              (Language.Haskell.TH.Syntax.mkModName "Language.Docker.Syntax")))))
                    (lift x0_al2S)
      |
   51 | deriveLift ''CopySource
      | ^^^^^^^^^^^^^^^^^^^^^^^
   

   #50 incorrectly attempted to fix this by limiting the build plan to only GHC 8.8 or later. However, that is insufficient, as GHC 8.10.1 bundles text-1.2.3.2, which does not define a Lift Text instance. (See here for more discussion on this.)

   I think the best way to solve this problem would be to depend on th-lift-instances, which backports the Lift Text instance to older versions of text. Since language-dockerfile already depends on this library, this doesn't seem like that radical of a change. If we did this, then language-docker could even theoretically support older versions of GHC again, although I will leave that choice to the maintainers of this library.

As can be seen at

• https://matrix.hackage.haskell.org/package/language-docker@1550016454

there were a few issues due to inaccurate and/or missing version bounds which affect reverse dependencies of language-docker. I've already manually fixed up those up for you via Hackage metadata revision, see e.g.

• https://hackage.haskell.org/package/language-docker-8.0.0/revisions/

and you can review the resulting report at

• https://matrix.hackage.haskell.org/package/language-docker@1550184710

Going forward, we need your help! Please help us ensure a good user experience for users of Hackage/Cabal by the use of the PVP mandated lower&upper bounds in order to reduce the penalty on the Hackage infrastructure as well as to avoid unnecessary extra work for you as well as for us Hackage Trustees!