Data hosted with ♥ by Pastebin.com - Download Raw - See Original
  1. **** UNSAFE ********************************************************************
  2.  
  3.  
  4. fizzbuzz.hs:31:27: Error: Liquid Type Mismatch
  5. Inferred type
  6. VV : Int | VV == i
  7.  
  8. not a subtype of Required type
  9. VV : Int | VV mod 3 /= 0 && VV mod 5 /= 0
  10.  
  11. In Context
  12. VV : Int | VV == i
  13. i : Int
  14.  
  15.  
  16. fizzbuzz.hs:32:27: Error: Liquid Type Mismatch
  17. Inferred type
  18. VV : Int | VV == i
  19.  
  20. not a subtype of Required type
  21. VV : Int | VV mod 3 /= 0 && VV mod 5 /= 0
  22.  
  23. In Context
  24. VV : Int | VV == i
  25. i : Int
  26.  
  27.  
  28. fizzbuzz.hs:33:26: Error: Liquid Type Mismatch
  29. Inferred type
  30. VV : Int | VV == i
  31.  
  32. not a subtype of Required type
  33. VV : Int | VV mod 3 /= 0 && VV mod 5 /= 0
  34.  
  35. In Context
  36. VV : Int | VV == i
  37. i : Int