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?
when i build, with stack, i get
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?