gistfile1.txt

[6 of 9] Compiling Neuronal.Operations ( Neuronal/Operations.hs, Neuronal/Operations.o )

Neuronal/Operations.hs:42:33:
    Couldn't match expected type `forall n. (Num n) => n'
           against inferred type `Double'
    In the first argument of `OpState', namely `opLinkWeight'
    In the second argument of `($)', namely
        `OpState opLinkWeight opNet'
    In the expression: return $ OpState opLinkWeight opNet

Neuronal/Operations.hs:67:40:
    Cannot match a monotype with `forall n. (Num n) => n'
      Expected type: forall n. (Num n) => n
      Inferred type: a
    In the first argument of `OpState', namely `opLinkWeight'
    In the expression: OpState opLinkWeight opNet

Neuronal/Operations.hs:104:45:
    Inferred type is less polymorphic than expected
      Quantified type variable `tag' is mentioned in the environment:
        diff_error :: [FAD.Dual tag a] -> FAD.Dual tag Double
          (bound at Neuronal/Operations.hs:102:33)
    In the first argument of `FAD.grad', namely `diff_error'
    In the expression: FAD.grad diff_error weights
    In the definition of `diffs': diffs = FAD.grad diff_error weights