Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- cons e sl = SL ((len sl) + 1) ((cons::l a) e (list sl))
- 01.hs:46:35: error:
- • Couldn't match type ‘a2’ with ‘l0 a0 -> l0 a0’
- ‘a2’ is a rigid type variable bound by
- an expression type signature:
- forall (l3 :: * -> *) a2. l3 a2
- at 01.hs:46:41
- Expected type: l3 a2
- Actual type: a0 -> l0 a0 -> l0 a0
- • In the expression: cons :: l a
- In the second argument of ‘SL’, namely
- ‘((cons :: l a) e (list sl))’
- In the expression: SL ((len sl) + 1) ((cons :: l a) e (list sl))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement