PasteRack.org
Paste # 36939
2022-05-10 20:04:45

Fork as a new paste.

Paste viewed 1312 times.


Embed:

  1. #lang typed/racket/base
  2.  
  3. ; c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:85:66: Type Checker: type mismatch;
  4. ;  mismatch in proposition
  5. ;   expected: ((: x (Listof String)) | (! x (Listof String)))
  6. ;   given: ((: (cdr x) (Listof String)) | (! (cdr x) (Listof String)))
  7. ;   in: (list-of-string? (cdr x))
  8. ; c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:87:21: Type Checker: type mismatch;
  9. ;  mismatch in proposition
  10. ;   expected: ((: x (Listof String)) | (! x (Listof String)))
  11. ;   given: (Bot | Top)
  12. ;   in: #f
  13. ; c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:93:73: Type Checker: type mismatch;
  14. ;  mismatch in proposition
  15. ;   expected: ((: x (Listof Integer)) | (! x (Listof Integer)))
  16. ;   given: ((: (cdr x) (Listof Integer)) | (! (cdr x) (Listof Integer)))
  17. ;   in: (list-of-integer? (cdr x))
  18. ; c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:95:21: Type Checker: type mismatch;
  19. ;  mismatch in proposition
  20. ;   expected: ((: x (Listof Integer)) | (! x (Listof Integer)))
  21. ;   given: (Bot | Top)
  22. ;   in: #f
  23. ; c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:93:73: Type Checker: type mismatch;
  24. ;  mismatch in proposition
  25. ;   expected: ((: x (Listof Integer)) | (! x (Listof Integer)))
  26. ;   given: ((: (cdr x) (Listof Integer)) | (! (cdr x) (Listof Integer)))
  27. ;   in: (list-of-integer? (cdr x))
  28. ; c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:95:21: Type Checker: type mismatch;
  29. ;  mismatch in proposition
  30. ;   expected: ((: x (Listof Integer)) | (! x (Listof Integer)))
  31. ;   given: (Bot | Top)
  32. ;   in: #f
  33. ; c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:85:66: Type Checker: type mismatch;
  34. ;  mismatch in proposition
  35. ;   expected: ((: x (Listof String)) | (! x (Listof String)))
  36. ;   given: ((: (cdr x) (Listof String)) | (! (cdr x) (Listof String)))
  37. ;   in: (list-of-string? (cdr x))
  38. ; c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:87:21: Type Checker: type mismatch;
  39. ;  mismatch in proposition
  40. ;   expected: ((: x (Listof String)) | (! x (Listof String)))
  41. ;   given: (Bot | Top)
  42. ;   in: #f
  43. ; Type Checker: Summary: 4 errors encountered

=>