小编sgi*_*lis的帖子

我正在尝试从Haskell源代码构建静态链接二进制文件,并将此二进制文件复制到最小的Docker镜像,以便我的生产映像尽可能小.

作为一个测试用例,我正在使用一个hello world程序:

main = print "Hello world"

除了我添加的test.cabal文件cabal init外,该文件是默认生成的

ghc-options: -static -optc-static -optl-static -optl-threaded

建立我运行

$ docker run -it -v $(pwd):/src haskell:7.10 /bin/bash
# cd src
# cabal build

构建提供以下错误:

opt/ghc/7.10.1/lib/ghc-7.10.1/rts/libHSrts.a(Linker.o): In function `internal_dlopen': (.text+0x727): warning: Using 'dlopen' in statically linked applications requires at runtime the shared libraries from the glibc version used for linking

根据我的理解,这意味着我需要确保我有正确版本的glibc才能执行二进制文件.执行二进制文件在同一容器中工作正常:

# ./dist/build/test/test
"Hello world"

它也按预期静态链接:

# ldd ./dist/build/test/test
not a dynamic executable

为了创建我的最小图像,我创建了一个Dockerfile(该libc.so.6文件是从haskell:7.10图像中复制的):

FROM scratch …

我在为以下代码找到合适的类型约束时遇到问题

{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE FlexibleContexts #-}
import GHC.Generics

data Value = One | Two deriving Generic

class Class a where
    cname :: a -> String -> Bool
    default cname :: (Generic a, GClass (Rep a))
               => a -> String -> Bool
    cname = gname . from

class GClass f where
    gname :: f a -> String -> Bool

instance GClass (f :+: g) where
    gname (L1 x) s | …