Please help resolve these type errors (working with a hasher)

Sophia Smart Contract Development
1

Hello,

I am getting these errors

Cannot unify unit
         and list(int)

Cannot unify int
         and unit

Cannot unify list(int)
         and unit

Cannot unify (int, 'a, list('a)) => list('a)
         and (int, int) => unit

Cannot unify (int, 'b, list('b)) => list('b)
         and (int, int) => unit

Cannot unify (int, 'c, list('c)) => list('c)
         and (int) => unit

or at aestudio

type_error: Cannot unify unit and list(int)
At: Line 228, column 5

from this file

(this file only have one function defined) and as you observed the errors are type based from lines like

let _t2 = List.insert_at(i, _t*_t, t2)

&

let _t4 = List.insert_at(i,List.get(i, t2) * List.get(i, t2), t4)

Thank you.

2

It is fixed, Sorry the types of let was required

2 Likes