ucsd-progsys/liquidhaskell-tutorial

Why does this zipWith from Chapter 7 fails?

hafizhmakmur opened this issue · 3 comments

I'm trying the codes from Chapter 7 in this code and somehow here all the zip functions fail. Is there anything missing that would make these functions safe?

Additional Note: I also have to comment out the DotProd function because it uses a different zipWith with the one that is written later in the code hence it will fail since built-in zipWith doesn't need its parameters to have the same size.

Thank you very much for your response! I was very confused because the webpage somehow compiles nicely when I just copied some code and it fails. Also I have checked the .lhs file and there's no {-@ size :: [a] -> Nat @-} so I'm quite confused why it's deemed safe? Once again, thank you very much!