j
k
j a
j l
Daan Leijen wrote:
Ah, I read it too fast -- I assume that you also removed the strictness on the branches (instead of just the key), i.e. you changed: !k a !(Map k a) !(Map k a)" to k a (Map k a) (Map k a) Right?
Ah, I read it too fast -- I assume that you also removed the strictness on the branches (instead of just the key), i.e. you changed:
!k a !(Map k a) !(Map k a)"
to
k a (Map k a) (Map k a)
Right?
Yes, right.
Back to the thread
Back to the list
