Advertisement
Guest User

Untitled

a guest
Jan 23rd, 2019
75
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.56 KB | None | 0 0
  1. cons e sl = SL ((len sl) + 1) ((cons::l a) e (list sl))
  2. 01.hs:46:35: error:
  3. • Couldn't match type ‘a2’ with ‘l0 a0 -> l0 a0’
  4. ‘a2’ is a rigid type variable bound by
  5. an expression type signature:
  6. forall (l3 :: * -> *) a2. l3 a2
  7. at 01.hs:46:41
  8. Expected type: l3 a2
  9. Actual type: a0 -> l0 a0 -> l0 a0
  10. • In the expression: cons :: l a
  11. In the second argument of ‘SL’, namely
  12. ‘((cons :: l a) e (list sl))’
  13. In the expression: SL ((len sl) + 1) ((cons :: l a) e (list sl))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement