Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

many build errors maybe resulting from different hprotoc version? #17

Open
silky opened this issue Jan 4, 2016 · 2 comments
Open

many build errors maybe resulting from different hprotoc version? #17

silky opened this issue Jan 4, 2016 · 2 comments

Comments

@silky
Copy link

silky commented Jan 4, 2016

when i build, with stack, i get

04:21 PM noon ∈ dnngraph@master>stack build
caffegraph-0.1.0.2: build
Preprocessing library caffegraph-0.1.0.2...
[65 of 79] Compiling NN.DSL           ( NN/DSL.hs, .stack-work/dist/x86_64-linux/Cabal-1.22.4.0/build/NN/DSL.o )

/home/noon/dev/dnngraph/NN/DSL.hs:74:13:
    Couldn't match type ‘Maybe Utf8’ with ‘s -> Identity t’
    Expected type: ASetter s t a68 (Maybe Utf8)
      Actual type: LayerParameter -> Maybe Utf8
    Relevant bindings include
      ty :: LayerTy -> s -> t (bound at NN/DSL.hs:74:1)
    In the first argument of ‘(?~)’, namely ‘LP.type'’
    In the expression: LP.type' ?~ s (asCaffe type'')

/home/noon/dev/dnngraph/NN/DSL.hs:77:23:
    Found hole ‘_type'’ with type: LayerParameter -> Maybe Utf8
    Relevant bindings include
      l :: LayerParameter (bound at NN/DSL.hs:77:9)
      layerTy :: LayerParameter -> LayerTy (bound at NN/DSL.hs:77:1)
    In the expression: LP._type'
    In the first argument of ‘fromJust’, namely ‘(LP._type' l)’
    In the first argument of ‘(&)’, namely ‘fromJust (LP._type' l)’

/home/noon/dev/dnngraph/NN/DSL.hs:79:18:
    Couldn't match type ‘Seq NetStateRule’ with ‘s -> Identity t’
    Expected type: ASetter s t (Seq a49) (Seq a49)
      Actual type: LayerParameter -> Seq NetStateRule
    Relevant bindings include
      phase' :: b -> s -> t (bound at NN/DSL.hs:79:1)
    In the first argument of ‘(<>~)’, namely ‘include’
    In the expression: include <>~ singleton (def & phase ?~ phase'')

/home/noon/dev/dnngraph/NN/DSL.hs:79:50:
    Couldn't match type ‘Maybe Phase’ with ‘a50 -> Identity a49’
    Expected type: ASetter a50 a49 a51 (Maybe b)
      Actual type: NetStateRule -> Maybe Phase
    In the first argument of ‘(?~)’, namely ‘phase’
    In the second argument of ‘(&)’, namely ‘phase ?~ phase''’

/home/noon/dev/dnngraph/NN/DSL.hs:81:12:
    Couldn't match type ‘Seq ParamSpec’ with ‘s -> Identity t’
    Expected type: ASetter s t a48 (Seq a)
      Actual type: LayerParameter -> Seq ParamSpec
    Relevant bindings include
      param' :: [a] -> s -> t (bound at NN/DSL.hs:81:1)
    In the first argument of ‘(.~)’, namely ‘param’
    In the expression: param .~ fromList v

/home/noon/dev/dnngraph/NN/DSL.hs:85:25:
    Couldn't match type ‘Maybe DataParameter’ with ‘s -> Identity t’
    Expected type: p23 (Maybe a53) (f23 (Maybe b23)) -> s -> Identity t
      Actual type: LayerParameter -> Maybe DataParameter
    Relevant bindings include
      source' :: String -> s -> t (bound at NN/DSL.hs:85:1)
    In the first argument of ‘setF’, namely ‘data_param’
    In the expression: setF data_param source (s source'')

/home/noon/dev/dnngraph/NN/DSL.hs:85:36:
    Couldn't match type ‘Maybe’ with ‘p23 a53’
    Expected type: (a52 -> Identity (Maybe Utf8)) -> p23 a53 (f23 b23)
      Actual type: DataParameter -> Maybe Utf8
    In the second argument of ‘setF’, namely ‘source’
    In the expression: setF data_param source (s source'')

/home/noon/dev/dnngraph/NN/DSL.hs:86:18:
    Couldn't match type ‘Maybe TransformationParameter’
                   with ‘s -> Identity t’
    Expected type: p0 (Maybe a3) (f0 (Maybe b0)) -> s -> Identity t
      Actual type: LayerParameter -> Maybe TransformationParameter
    Relevant bindings include
      cropSize' :: a -> s -> t (bound at NN/DSL.hs:86:1)
    In the first argument of ‘setF’, namely ‘transform_param’
    In the expression: setF transform_param TP.crop_size

/home/noon/dev/dnngraph/NN/DSL.hs:86:34:
    Couldn't match type ‘Maybe’ with ‘p0 a3’
    Expected type: (a2 -> Identity (Maybe a)) -> p0 a3 (f0 b0)
      Actual type: TransformationParameter -> Maybe Word32
    In the second argument of ‘setF’, namely ‘TP.crop_size’
    In the expression: setF transform_param TP.crop_size

/home/noon/dev/dnngraph/NN/DSL.hs:87:29:
    Couldn't match type ‘Maybe TransformationParameter’
                   with ‘s -> Identity t’
    Expected type: p24 (Maybe a55) (f24 (Maybe b24)) -> s -> Identity t
      Actual type: LayerParameter -> Maybe TransformationParameter
    Relevant bindings include
      meanFile' :: String -> s -> t (bound at NN/DSL.hs:87:1)
    In the first argument of ‘setF’, namely ‘transform_param’
    In the expression: setF transform_param TP.mean_file (s meanFile'')

/home/noon/dev/dnngraph/NN/DSL.hs:87:45:
    Couldn't match type ‘Maybe’ with ‘p24 a55’
    Expected type: (a54 -> Identity (Maybe Utf8)) -> p24 a55 (f24 b24)
      Actual type: TransformationParameter -> Maybe Utf8
    In the second argument of ‘setF’, namely ‘TP.mean_file’
    In the expression: setF transform_param TP.mean_file (s meanFile'')

/home/noon/dev/dnngraph/NN/DSL.hs:88:16:
    Couldn't match type ‘Maybe TransformationParameter’
                   with ‘s -> Identity t’
    Expected type: p1 (Maybe a5) (f1 (Maybe b1)) -> s -> Identity t
      Actual type: LayerParameter -> Maybe TransformationParameter
    Relevant bindings include
      mirror' :: a -> s -> t (bound at NN/DSL.hs:88:1)
    In the first argument of ‘setF’, namely ‘transform_param’
    In the expression: setF transform_param TP.mirror

/home/noon/dev/dnngraph/NN/DSL.hs:88:32:
    Couldn't match type ‘Maybe’ with ‘p1 a5’
    Expected type: (a4 -> Identity (Maybe a)) -> p1 a5 (f1 b1)
      Actual type: TransformationParameter -> Maybe Bool
    In the second argument of ‘setF’, namely ‘TP.mirror’
    In the expression: setF transform_param TP.mirror

/home/noon/dev/dnngraph/NN/DSL.hs:89:19:
    Couldn't match type ‘Maybe DataParameter’ with ‘s -> Identity t’
    Expected type: p2 (Maybe a7) (f2 (Maybe b2)) -> s -> Identity t
      Actual type: LayerParameter -> Maybe DataParameter
    Relevant bindings include
      batchSize' :: a -> s -> t (bound at NN/DSL.hs:89:1)
    In the first argument of ‘setF’, namely ‘data_param’
    In the expression: setF data_param batch_size

/home/noon/dev/dnngraph/NN/DSL.hs:89:30:
    Couldn't match type ‘Maybe’ with ‘p2 a7’
    Expected type: (a6 -> Identity (Maybe a)) -> p2 a7 (f2 b2)
      Actual type: DataParameter -> Maybe Word32
    In the second argument of ‘setF’, namely ‘batch_size’
    In the expression: setF data_param batch_size

/home/noon/dev/dnngraph/NN/DSL.hs:90:18:
    Couldn't match type ‘Maybe DataParameter’ with ‘s -> Identity t’
    Expected type: p3 (Maybe a9) (f3 (Maybe b3)) -> s -> Identity t
      Actual type: LayerParameter -> Maybe DataParameter
    Relevant bindings include
      backend' :: a -> s -> t (bound at NN/DSL.hs:90:1)
    In the first argument of ‘setF’, namely ‘data_param’
    In the expression: setF data_param backend

/home/noon/dev/dnngraph/NN/DSL.hs:90:29:
    Couldn't match type ‘Maybe’ with ‘p3 a9’
    Expected type: (a8 -> Identity (Maybe a)) -> p3 a9 (f3 b3)
      Actual type: DataParameter -> Maybe Gen.Caffe.DataParameter.DB.DB
    In the second argument of ‘setF’, namely ‘backend’
    In the expression: setF data_param backend

/home/noon/dev/dnngraph/NN/DSL.hs:93:16:
    Couldn't match type ‘Maybe ConvolutionParameter’
                   with ‘s -> Identity t’
    Expected type: p (Maybe a91) (f (Maybe b)) -> s -> Identity t
      Actual type: LayerParameter -> Maybe ConvolutionParameter
    Relevant bindings include
      setConv :: ((a -> Identity (Maybe a92)) -> p a91 (f b))
                 -> a92 -> s -> t
        (bound at NN/DSL.hs:93:1)
    In the first argument of ‘setF’, namely ‘convolution_param’
    In the expression: setF convolution_param

/home/noon/dev/dnngraph/NN/DSL.hs:94:23:
    Couldn't match type ‘Maybe’ with ‘p4 a11’
    Expected type: (a10 -> Identity (Maybe a)) -> p4 a11 (f4 b4)
      Actual type: ConvolutionParameter -> Maybe Word32
    In the first argument of ‘setConv’, namely ‘CP.num_output’
    In the expression: setConv CP.num_output

/home/noon/dev/dnngraph/NN/DSL.hs:95:22:
    Couldn't match type ‘Maybe’ with ‘p5 a13’
    Expected type: (a12 -> Identity (Maybe a)) -> p5 a13 (f5 b5)
      Actual type: ConvolutionParameter -> Maybe Word32
    In the first argument of ‘setConv’, namely ‘CP.num_input’
    In the expression: setConv CP.num_input

/home/noon/dev/dnngraph/NN/DSL.hs:96:24:
    Couldn't match type ‘Maybe’ with ‘p6 a15’
    Expected type: (a14 -> Identity (Maybe a)) -> p6 a15 (f6 b6)
      Actual type: ConvolutionParameter -> Maybe Word32
    In the first argument of ‘setConv’, namely ‘CP.kernel_size’
    In the expression: setConv CP.kernel_size

/home/noon/dev/dnngraph/NN/DSL.hs:97:17:
    Couldn't match type ‘Maybe’ with ‘p7 a17’
    Expected type: (a16 -> Identity (Maybe a)) -> p7 a17 (f7 b7)
      Actual type: ConvolutionParameter -> Maybe Word32
    In the first argument of ‘setConv’, namely ‘CP.pad’
    In the expression: setConv CP.pad

/home/noon/dev/dnngraph/NN/DSL.hs:98:19:
    Couldn't match type ‘Maybe’ with ‘p8 a19’
    Expected type: (a18 -> Identity (Maybe a)) -> p8 a19 (f8 b8)
      Actual type: ConvolutionParameter -> Maybe Word32
    In the first argument of ‘setConv’, namely ‘group’
    In the expression: setConv group

/home/noon/dev/dnngraph/NN/DSL.hs:99:20:
    Couldn't match type ‘Maybe’ with ‘p9 a21’
    Expected type: (a20 -> Identity (Maybe a)) -> p9 a21 (f9 b9)
      Actual type: ConvolutionParameter -> Maybe Word32
    In the first argument of ‘setConv’, namely ‘CP.stride’
    In the expression: setConv CP.stride

/home/noon/dev/dnngraph/NN/DSL.hs:100:24:
    Couldn't match type ‘Maybe’ with ‘p10 a23’
    Expected type: (a22 -> Identity (Maybe a)) -> p10 a23 (f10 b10)
      Actual type: ConvolutionParameter -> Maybe FillerParameter
    In the first argument of ‘setConv’, namely ‘CP.bias_filler’
    In the expression: setConv CP.bias_filler

/home/noon/dev/dnngraph/NN/DSL.hs:101:26:
    Couldn't match type ‘Maybe’ with ‘p11 a25’
    Expected type: (a24 -> Identity (Maybe a)) -> p11 a25 (f11 b11)
      Actual type: ConvolutionParameter -> Maybe FillerParameter
    In the first argument of ‘setConv’, namely ‘CP.weight_filler’
    In the expression: setConv CP.weight_filler

/home/noon/dev/dnngraph/NN/DSL.hs:104:16:
    Couldn't match type ‘Maybe PoolingParameter’ with ‘s -> Identity t’
    Expected type: p (Maybe a91) (f (Maybe b)) -> s -> Identity t
      Actual type: LayerParameter -> Maybe PoolingParameter
    Relevant bindings include
      setPool :: ((a -> Identity (Maybe a92)) -> p a91 (f b))
                 -> a92 -> s -> t
        (bound at NN/DSL.hs:104:1)
    In the first argument of ‘setF’, namely ‘pooling_param’
    In the expression: setF pooling_param

/home/noon/dev/dnngraph/NN/DSL.hs:105:17:
    Couldn't match type ‘Maybe’ with ‘p12 a27’
    Expected type: (a26 -> Identity (Maybe a)) -> p12 a27 (f12 b12)
      Actual type: PoolingParameter -> Maybe PoolMethod
    In the first argument of ‘setPool’, namely ‘pool’
    In the expression: setPool pool

/home/noon/dev/dnngraph/NN/DSL.hs:106:18:
    Couldn't match type ‘Maybe’ with ‘p13 a29’
    Expected type: (a28 -> Identity (Maybe a)) -> p13 a29 (f13 b13)
      Actual type: PoolingParameter -> Maybe Word32
    In the first argument of ‘setPool’, namely ‘PP.kernel_size’
    In the expression: setPool PP.kernel_size

/home/noon/dev/dnngraph/NN/DSL.hs:107:20:
    Couldn't match type ‘Maybe’ with ‘p14 a31’
    Expected type: (a30 -> Identity (Maybe a)) -> p14 a31 (f14 b14)
      Actual type: PoolingParameter -> Maybe Word32
    In the first argument of ‘setPool’, namely ‘PP.stride’
    In the expression: setPool PP.stride

/home/noon/dev/dnngraph/NN/DSL.hs:108:17:
    Couldn't match type ‘Maybe’ with ‘p15 a33’
    Expected type: (a32 -> Identity (Maybe a)) -> p15 a33 (f15 b15)
      Actual type: PoolingParameter -> Maybe Word32
    In the first argument of ‘setPool’, namely ‘PP.pad’
    In the expression: setPool PP.pad

/home/noon/dev/dnngraph/NN/DSL.hs:111:14:
    Couldn't match type ‘Maybe InnerProductParameter’
                   with ‘s -> Identity t’
    Expected type: p (Maybe a91) (f (Maybe b)) -> s -> Identity t
      Actual type: LayerParameter -> Maybe InnerProductParameter
    Relevant bindings include
      setIP :: ((a -> Identity (Maybe a92)) -> p a91 (f b))
               -> a92 -> s -> t
        (bound at NN/DSL.hs:111:1)
    In the first argument of ‘setF’, namely ‘inner_product_param’
    In the expression: setF inner_product_param

/home/noon/dev/dnngraph/NN/DSL.hs:112:25:
    Couldn't match type ‘Maybe’ with ‘p16 a35’
    Expected type: (a34 -> Identity (Maybe a)) -> p16 a35 (f16 b16)
      Actual type: InnerProductParameter -> Maybe FillerParameter
    In the first argument of ‘setIP’, namely ‘IP.weight_filler’
    In the expression: setIP IP.weight_filler

/home/noon/dev/dnngraph/NN/DSL.hs:113:21:
    Couldn't match type ‘Maybe’ with ‘p17 a37’
    Expected type: (a36 -> Identity (Maybe a)) -> p17 a37 (f17 b17)
      Actual type: InnerProductParameter -> Maybe Word32
    In the first argument of ‘setIP’, namely ‘IP.num_input’
    In the expression: setIP IP.num_input

/home/noon/dev/dnngraph/NN/DSL.hs:114:22:
    Couldn't match type ‘Maybe’ with ‘p18 a39’
    Expected type: (a38 -> Identity (Maybe a)) -> p18 a39 (f18 b18)
      Actual type: InnerProductParameter -> Maybe Word32
    In the first argument of ‘setIP’, namely ‘IP.num_output’
    In the expression: setIP IP.num_output

/home/noon/dev/dnngraph/NN/DSL.hs:115:23:
    Couldn't match type ‘Maybe’ with ‘p19 a41’
    Expected type: (a40 -> Identity (Maybe a)) -> p19 a41 (f19 b19)
      Actual type: InnerProductParameter -> Maybe FillerParameter
    In the first argument of ‘setIP’, namely ‘IP.bias_filler’
    In the expression: setIP IP.bias_filler

/home/noon/dev/dnngraph/NN/DSL.hs:118:15:
    Couldn't match type ‘Maybe LRNParameter’ with ‘s -> Identity t’
    Expected type: p (Maybe a91) (f (Maybe b)) -> s -> Identity t
      Actual type: LayerParameter -> Maybe LRNParameter
    Relevant bindings include
      setLRN :: ((a -> Identity (Maybe a92)) -> p a91 (f b))
                -> a92 -> s -> t
        (bound at NN/DSL.hs:118:1)
    In the first argument of ‘setF’, namely ‘lrn_param’
    In the expression: setF lrn_param

/home/noon/dev/dnngraph/NN/DSL.hs:119:21:
    Couldn't match type ‘Maybe’ with ‘p20 a43’
    Expected type: (a42 -> Identity (Maybe a)) -> p20 a43 (f20 b20)
      Actual type: LRNParameter -> Maybe Word32
    In the first argument of ‘setLRN’, namely ‘local_size’
    In the expression: setLRN local_size

/home/noon/dev/dnngraph/NN/DSL.hs:120:20:
    Couldn't match type ‘Maybe’ with ‘p21 a45’
    Expected type: (a44 -> Identity (Maybe a)) -> p21 a45 (f21 b21)
      Actual type: LRNParameter -> Maybe Float
    In the first argument of ‘setLRN’, namely ‘alpha’
    In the expression: setLRN alpha

/home/noon/dev/dnngraph/NN/DSL.hs:121:19:
    Couldn't match type ‘Maybe’ with ‘p22 a47’
    Expected type: (a46 -> Identity (Maybe a)) -> p22 a47 (f22 b22)
      Actual type: LRNParameter -> Maybe Float
    In the first argument of ‘setLRN’, namely ‘beta’
    In the expression: setLRN beta

/home/noon/dev/dnngraph/NN/DSL.hs:124:25:
    Couldn't match type ‘Maybe Utf8’ with ‘a57 -> Identity a56’
    Expected type: ASetter a57 a56 a58 (Maybe Utf8)
      Actual type: FillerParameter -> Maybe Utf8
    In the first argument of ‘(?~)’, namely ‘FP.type'’
    In the second argument of ‘(&)’, namely ‘FP.type' ?~ s "constant"’

/home/noon/dev/dnngraph/NN/DSL.hs:124:52:
    Couldn't match type ‘Maybe Float’ with ‘a56 -> Identity b’
    Expected type: ASetter a56 b a59 (Maybe b34)
      Actual type: FillerParameter -> Maybe Float
    Relevant bindings include
      constant :: b34 -> b (bound at NN/DSL.hs:124:1)
    In the first argument of ‘(?~)’, namely ‘value’
    In the second argument of ‘(&)’, namely ‘value ?~ value'’

/home/noon/dev/dnngraph/NN/DSL.hs:125:23:
    Couldn't match type ‘Maybe Utf8’ with ‘a61 -> Identity a60’
    Expected type: ASetter a61 a60 a62 (Maybe Utf8)
      Actual type: FillerParameter -> Maybe Utf8
    In the first argument of ‘(?~)’, namely ‘FP.type'’
    In the second argument of ‘(&)’, namely ‘FP.type' ?~ s "gaussian"’

/home/noon/dev/dnngraph/NN/DSL.hs:125:50:
    Couldn't match type ‘Maybe Float’ with ‘a60 -> Identity b’
    Expected type: ASetter a60 b a63 (Maybe b34)
      Actual type: FillerParameter -> Maybe Float
    Relevant bindings include
      gaussian :: b34 -> b (bound at NN/DSL.hs:125:1)
    In the first argument of ‘(?~)’, namely ‘std’
    In the second argument of ‘(&)’, namely ‘std ?~ std'’

/home/noon/dev/dnngraph/NN/DSL.hs:126:21:
    Couldn't match type ‘Maybe Utf8’ with ‘a65 -> Identity a64’
    Expected type: ASetter a65 a64 a66 (Maybe Utf8)
      Actual type: FillerParameter -> Maybe Utf8
    In the first argument of ‘(?~)’, namely ‘FP.type'’
    In the second argument of ‘(&)’, namely ‘FP.type' ?~ s "xavier"’

/home/noon/dev/dnngraph/NN/DSL.hs:126:46:
    Couldn't match type ‘Maybe Float’ with ‘a64 -> Identity b’
    Expected type: ASetter a64 b a67 (Maybe b34)
      Actual type: FillerParameter -> Maybe Float
    Relevant bindings include
      xavier :: b34 -> b (bound at NN/DSL.hs:126:1)
    In the first argument of ‘(?~)’, namely ‘std’
    In the second argument of ‘(&)’, namely ‘std ?~ std'’

/home/noon/dev/dnngraph/NN/DSL.hs:130:18:
    Couldn't match type ‘Maybe Float’ with ‘s -> Identity t’
    Expected type: ASetter s t a1 (Maybe b)
      Actual type: ParamSpec -> Maybe Float
    Relevant bindings include
      lrMult' :: b -> s -> t (bound at NN/DSL.hs:130:1)
    In the first argument of ‘(?~)’, namely ‘lr_mult’
    In the expression: lr_mult ?~ value'

/home/noon/dev/dnngraph/NN/DSL.hs:131:21:
    Couldn't match type ‘Maybe Float’ with ‘s -> Identity t’
    Expected type: ASetter s t a0 (Maybe b)
      Actual type: ParamSpec -> Maybe Float
    Relevant bindings include
      decayMult' :: b -> s -> t (bound at NN/DSL.hs:131:1)
    In the first argument of ‘(?~)’, namely ‘decay_mult’
    In the expression: decay_mult ?~ value'

/home/noon/dev/dnngraph/NN/DSL.hs:134:49:
    Couldn't match type ‘Maybe AccuracyParameter’
                   with ‘a69 -> Identity b’
    Expected type: ASetter a69 b a70 (Maybe b25)
      Actual type: LayerParameter -> Maybe AccuracyParameter
    Relevant bindings include
      accuracy :: b34 -> b (bound at NN/DSL.hs:134:1)
    In the first argument of ‘(?~)’, namely ‘accuracy_param’
    In the second argument of ‘(&)’, namely
      ‘accuracy_param ?~ (def & top_k ?~ k')’

/home/noon/dev/dnngraph/NN/DSL.hs:134:74:
    Couldn't match type ‘Maybe Word32’ with ‘a71 -> Identity b25’
    Expected type: ASetter a71 b25 a72 (Maybe b34)
      Actual type: AccuracyParameter -> Maybe Word32
    In the first argument of ‘(?~)’, namely ‘top_k’
    In the second argument of ‘(&)’, namely ‘top_k ?~ k'’

/home/noon/dev/dnngraph/NN/DSL.hs:135:11:
    No instance for (Default s1) arising from a use of ‘def’
    The type variable ‘s1’ is ambiguous
    Note: there are several potential instances:
      instance Default (Maybe a)
        -- Defined in ‘Text.ProtocolBuffers.Basic’
      instance Default Int32 -- Defined in ‘Text.ProtocolBuffers.Basic’
      instance Default Int64 -- Defined in ‘Text.ProtocolBuffers.Basic’
      ...plus 58 others
    In the first argument of ‘(&)’, namely ‘def’
    In the expression: def & ty SoftmaxWithLoss
    In an equation for ‘softmax’: softmax = def & ty SoftmaxWithLoss

/home/noon/dev/dnngraph/NN/DSL.hs:136:36:
    Couldn't match type ‘Maybe DropoutParameter’
                   with ‘a73 -> Identity b’
    Expected type: ASetter a73 b a74 (Maybe b26)
      Actual type: LayerParameter -> Maybe DropoutParameter
    Relevant bindings include
      dropout :: b34 -> b (bound at NN/DSL.hs:136:1)
    In the first argument of ‘(?~)’, namely ‘dropout_param’
    In the second argument of ‘(&)’, namely
      ‘dropout_param ?~ (def & dropout_ratio ?~ ratio)’

/home/noon/dev/dnngraph/NN/DSL.hs:136:60:
    Couldn't match type ‘Maybe Float’ with ‘a75 -> Identity b26’
    Expected type: ASetter a75 b26 a76 (Maybe b34)
      Actual type: DropoutParameter -> Maybe Float
    In the first argument of ‘(?~)’, namely ‘dropout_ratio’
    In the second argument of ‘(&)’, namely ‘dropout_ratio ?~ ratio’

/home/noon/dev/dnngraph/NN/DSL.hs:137:8:
    No instance for (Default s3) arising from a use of ‘def’
    The type variable ‘s3’ is ambiguous
    Note: there are several potential instances:
      instance Default (Maybe a)
        -- Defined in ‘Text.ProtocolBuffers.Basic’
      instance Default Int32 -- Defined in ‘Text.ProtocolBuffers.Basic’
      instance Default Int64 -- Defined in ‘Text.ProtocolBuffers.Basic’
      ...plus 58 others
    In the first argument of ‘(&)’, namely ‘def’
    In the expression: def & ty ReLU
    In an equation for ‘relu’: relu = def & ty ReLU

/home/noon/dev/dnngraph/NN/DSL.hs:138:24:
    Couldn't match type ‘Maybe ConvolutionParameter’
                   with ‘a77 -> Identity b’
    Expected type: ASetter a77 b a78 (Maybe b27)
      Actual type: LayerParameter -> Maybe ConvolutionParameter
    Relevant bindings include conv :: b (bound at NN/DSL.hs:138:1)
    In the first argument of ‘(?~)’, namely ‘convolution_param’
    In the second argument of ‘(&)’, namely ‘convolution_param ?~ def’

/home/noon/dev/dnngraph/NN/DSL.hs:139:22:
    Couldn't match type ‘Maybe InnerProductParameter’
                   with ‘a79 -> Identity s6’
    Expected type: ASetter a79 s6 a80 (Maybe b28)
      Actual type: LayerParameter -> Maybe InnerProductParameter
    In the first argument of ‘(?~)’, namely ‘inner_product_param’
    In the second argument of ‘(&)’, namely
      ‘inner_product_param ?~ def’

/home/noon/dev/dnngraph/NN/DSL.hs:140:25:
    Couldn't match type ‘Maybe TransformationParameter’
                   with ‘a82 -> Identity a81’
    Expected type: ASetter a82 a81 a83 (Maybe b29)
      Actual type: LayerParameter -> Maybe TransformationParameter
    In the first argument of ‘(?~)’, namely ‘transform_param’
    In the second argument of ‘(&)’, namely ‘transform_param ?~ def’

/home/noon/dev/dnngraph/NN/DSL.hs:140:50:
    Couldn't match type ‘Maybe DataParameter’ with ‘a81 -> Identity b’
    Expected type: ASetter a81 b a84 (Maybe b30)
      Actual type: LayerParameter -> Maybe DataParameter
    Relevant bindings include data' :: b (bound at NN/DSL.hs:140:1)
    In the first argument of ‘(?~)’, namely ‘data_param’
    In the second argument of ‘(&)’, namely ‘data_param ?~ def’

/home/noon/dev/dnngraph/NN/DSL.hs:141:27:
    Couldn't match type ‘Maybe PoolingParameter’
                   with ‘a85 -> Identity s9’
    Expected type: ASetter a85 s9 a86 (Maybe b31)
      Actual type: LayerParameter -> Maybe PoolingParameter
    In the first argument of ‘(?~)’, namely ‘pooling_param’
    In the second argument of ‘(&)’, namely ‘pooling_param ?~ def’

/home/noon/dev/dnngraph/NN/DSL.hs:142:27:
    Couldn't match type ‘Maybe PoolingParameter’
                   with ‘a87 -> Identity s11’
    Expected type: ASetter a87 s11 a88 (Maybe b32)
      Actual type: LayerParameter -> Maybe PoolingParameter
    In the first argument of ‘(?~)’, namely ‘pooling_param’
    In the second argument of ‘(&)’, namely ‘pooling_param ?~ def’

/home/noon/dev/dnngraph/NN/DSL.hs:143:22:
    Couldn't match type ‘Maybe LRNParameter’ with ‘a89 -> Identity b’
    Expected type: ASetter a89 b a90 (Maybe b33)
      Actual type: LayerParameter -> Maybe LRNParameter
    Relevant bindings include lrn :: b (bound at NN/DSL.hs:143:1)
    In the first argument of ‘(?~)’, namely ‘lrn_param’
    In the second argument of ‘(&)’, namely ‘lrn_param ?~ def’

/home/noon/dev/dnngraph/NN/DSL.hs:144:11:
    No instance for (Default s13) arising from a use of ‘def’
    The type variable ‘s13’ is ambiguous
    Note: there are several potential instances:
      instance Default (Maybe a)
        -- Defined in ‘Text.ProtocolBuffers.Basic’
      instance Default Int32 -- Defined in ‘Text.ProtocolBuffers.Basic’
      instance Default Int64 -- Defined in ‘Text.ProtocolBuffers.Basic’
      ...plus 58 others
    In the first argument of ‘(&)’, namely ‘def’
    In the expression: def & ty Concat
    In an equation for ‘concat'’: concat' = def & ty Concat

--  While building package caffegraph-0.1.0.2 using:
      /home/noon/.stack/setup-exe-cache/setup-Simple-Cabal-1.22.4.0-x86_64-linux-ghc-7.10.2 --builddir=.stack-work/dist/x86_64-linux/Cabal-1.22.4.0/ build lib:caffegraph --ghc-options " -ddump-hi -ddump-to-file"
    Process exited with code: ExitFailure 1

these seem like something is fundamentally a bit wrong.

i'm not sure if this is because the build environment isn't properly specified; or because the project is in need of some refactoring?
@kenkit
Copy link

kenkit commented Jan 18, 2017

I'm getting the same.
`Preprocessing library caffegraph-0.1.0.2...
[59 of 79] Compiling NN.Backend.Torch.Lua ( NN/Backend/Torch/Lua.hs, dist/build/NN/Backend/Torch/Lua.o )

NN/Backend/Torch/Lua.hs:13:22:
Couldn't match type ‘[Char]’ with ‘Data.Text.Internal.Text’
Expected type: Word32 -> Data.Text.Internal.Text
Actual type: Word32 -> String
In the second argument of ‘(.)’, namely ‘show’
In the expression: Number . show

NN/Backend/Torch/Lua.hs:16:27:
Couldn't match type ‘[Char]’ with ‘Data.Text.Internal.Text’
Expected type: Data.Text.Internal.Text
Actual type: String
In the first argument of ‘String’, namely ‘s'’
In the expression: String s'

NN/Backend/Torch/Lua.hs:19:22:
Couldn't match type ‘[Char]’ with ‘Data.Text.Internal.Text’
Expected type: Float -> Data.Text.Internal.Text
Actual type: Float -> String
In the second argument of ‘(.)’, namely ‘show’
In the expression: Number . show

NN/Backend/Torch/Lua.hs:30:27:
Couldn't match expected type ‘Name’ with actual type ‘[Char]’
In the first argument of ‘funCall’, namely ‘"require"’
In the expression: funCall "require" [toLua $ L module']
In an equation for ‘require’:
require module' = funCall "require" [toLua $ L module']

NN/Backend/Torch/Lua.hs:30:48:
Couldn't match type ‘Name’ with ‘[Char]’
Expected type: String
Actual type: Name
In the first argument of ‘L’, namely ‘module'’
In the second argument of ‘($)’, namely ‘L module'’
cabal: Error: some packages failed to install:
caffegraph-0.1.0.2 failed during the building phase. The exception was:
ExitFailure 1
cosmo@cosmo-T101MT:/media/cosmo/DATA/ai/ajtulloch-dnngraph-152f457$
`

@leopiney
Copy link

leopiney commented Sep 4, 2018

Did someone found a solution to this? I'm having the same issue.

Versions I have:

hprotoc 2.1.6
Stack 1.7.1 x86_64
Cabal-2.2.0.1
GHC 8.4.3

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@silky @kenkit @leopiney