PasteRack.org
Paste #
36939
2022-05-10 20:04:45
Fork
as a new paste.
Paste viewed 1396 times.
Tweet
Embed:
<link type="text/css" rel="stylesheet" href="http://pasterack.org/scribble.css"/><link type="text/css" rel="stylesheet" href="http://pasterack.org/racket.css"/><link type="text/css" rel="stylesheet" href="http://fonts.googleapis.com/css?family=Droid+Sans+Mono"/><div style="font-family:'Droid Sans Mono',monospace;background-color:transparent"><ol start="0" style="font-size:70%;color:#A0A0A0"><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><a class="RktModLink" data-pltdoc="x" href="http://docs.racket-lang.org/guide/Module_Syntax.html#%28part._hash-lang%29"><span class="RktMod">#lang</span></a><span class="RktMeta"></span><span class="hspace"> </span><span class="RktMeta"></span><a class="RktModLink" data-pltdoc="x" href="http://docs.racket-lang.org/ts-reference/index.html"><span class="RktSym">typed/racket/base</span></a><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"> </span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:85:66:</span><span class="hspace"> </span><span class="RktCmt">Type</span><span class="hspace"> </span><span class="RktCmt">Checker:</span><span class="hspace"> </span><span class="RktCmt">type</span><span class="hspace"> </span><span class="RktCmt">mismatch;</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">mismatch</span><span class="hspace"> </span><span class="RktCmt">in</span><span class="hspace"> </span><span class="RktCmt">proposition</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">expected:</span><span class="hspace"> </span><span class="RktCmt">((:</span><span class="hspace"> </span><span class="RktCmt">x</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">String))</span><span class="hspace"> </span><span class="RktCmt">|</span><span class="hspace"> </span><span class="RktCmt">(!</span><span class="hspace"> </span><span class="RktCmt">x</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">String)))</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">given:</span><span class="hspace"> </span><span class="RktCmt">((:</span><span class="hspace"> </span><span class="RktCmt">(cdr</span><span class="hspace"> </span><span class="RktCmt">x)</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">String))</span><span class="hspace"> </span><span class="RktCmt">|</span><span class="hspace"> </span><span class="RktCmt">(!</span><span class="hspace"> </span><span class="RktCmt">(cdr</span><span class="hspace"> </span><span class="RktCmt">x)</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">String)))</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">in:</span><span class="hspace"> </span><span class="RktCmt">(list-of-string?</span><span class="hspace"> </span><span class="RktCmt">(cdr</span><span class="hspace"> </span><span class="RktCmt">x))</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:87:21:</span><span class="hspace"> </span><span class="RktCmt">Type</span><span class="hspace"> </span><span class="RktCmt">Checker:</span><span class="hspace"> </span><span class="RktCmt">type</span><span class="hspace"> </span><span class="RktCmt">mismatch;</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">mismatch</span><span class="hspace"> </span><span class="RktCmt">in</span><span class="hspace"> </span><span class="RktCmt">proposition</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">expected:</span><span class="hspace"> </span><span class="RktCmt">((:</span><span class="hspace"> </span><span class="RktCmt">x</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">String))</span><span class="hspace"> </span><span class="RktCmt">|</span><span class="hspace"> </span><span class="RktCmt">(!</span><span class="hspace"> </span><span class="RktCmt">x</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">String)))</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">given:</span><span class="hspace"> </span><span class="RktCmt">(Bot</span><span class="hspace"> </span><span class="RktCmt">|</span><span class="hspace"> </span><span class="RktCmt">Top)</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">in:</span><span class="hspace"> </span><span class="RktCmt">#f</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:93:73:</span><span class="hspace"> </span><span class="RktCmt">Type</span><span class="hspace"> </span><span class="RktCmt">Checker:</span><span class="hspace"> </span><span class="RktCmt">type</span><span class="hspace"> </span><span class="RktCmt">mismatch;</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">mismatch</span><span class="hspace"> </span><span class="RktCmt">in</span><span class="hspace"> </span><span class="RktCmt">proposition</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">expected:</span><span class="hspace"> </span><span class="RktCmt">((:</span><span class="hspace"> </span><span class="RktCmt">x</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">Integer))</span><span class="hspace"> </span><span class="RktCmt">|</span><span class="hspace"> </span><span class="RktCmt">(!</span><span class="hspace"> </span><span class="RktCmt">x</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">Integer)))</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">given:</span><span class="hspace"> </span><span class="RktCmt">((:</span><span class="hspace"> </span><span class="RktCmt">(cdr</span><span class="hspace"> </span><span class="RktCmt">x)</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">Integer))</span><span class="hspace"> </span><span class="RktCmt">|</span><span class="hspace"> </span><span class="RktCmt">(!</span><span class="hspace"> </span><span class="RktCmt">(cdr</span><span class="hspace"> </span><span class="RktCmt">x)</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">Integer)))</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">in:</span><span class="hspace"> </span><span class="RktCmt">(list-of-integer?</span><span class="hspace"> </span><span class="RktCmt">(cdr</span><span class="hspace"> </span><span class="RktCmt">x))</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:95:21:</span><span class="hspace"> </span><span class="RktCmt">Type</span><span class="hspace"> </span><span class="RktCmt">Checker:</span><span class="hspace"> </span><span class="RktCmt">type</span><span class="hspace"> </span><span class="RktCmt">mismatch;</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">mismatch</span><span class="hspace"> </span><span class="RktCmt">in</span><span class="hspace"> </span><span class="RktCmt">proposition</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">expected:</span><span class="hspace"> </span><span class="RktCmt">((:</span><span class="hspace"> </span><span class="RktCmt">x</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">Integer))</span><span class="hspace"> </span><span class="RktCmt">|</span><span class="hspace"> </span><span class="RktCmt">(!</span><span class="hspace"> </span><span class="RktCmt">x</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">Integer)))</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">given:</span><span class="hspace"> </span><span class="RktCmt">(Bot</span><span class="hspace"> </span><span class="RktCmt">|</span><span class="hspace"> </span><span class="RktCmt">Top)</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">in:</span><span class="hspace"> </span><span class="RktCmt">#f</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:93:73:</span><span class="hspace"> </span><span class="RktCmt">Type</span><span class="hspace"> </span><span class="RktCmt">Checker:</span><span class="hspace"> </span><span class="RktCmt">type</span><span class="hspace"> </span><span class="RktCmt">mismatch;</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">mismatch</span><span class="hspace"> </span><span class="RktCmt">in</span><span class="hspace"> </span><span class="RktCmt">proposition</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">expected:</span><span class="hspace"> </span><span class="RktCmt">((:</span><span class="hspace"> </span><span class="RktCmt">x</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">Integer))</span><span class="hspace"> </span><span class="RktCmt">|</span><span class="hspace"> </span><span class="RktCmt">(!</span><span class="hspace"> </span><span class="RktCmt">x</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">Integer)))</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">given:</span><span class="hspace"> </span><span class="RktCmt">((:</span><span class="hspace"> </span><span class="RktCmt">(cdr</span><span class="hspace"> </span><span class="RktCmt">x)</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">Integer))</span><span class="hspace"> </span><span class="RktCmt">|</span><span class="hspace"> </span><span class="RktCmt">(!</span><span class="hspace"> </span><span class="RktCmt">(cdr</span><span class="hspace"> </span><span class="RktCmt">x)</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">Integer)))</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">in:</span><span class="hspace"> </span><span class="RktCmt">(list-of-integer?</span><span class="hspace"> </span><span class="RktCmt">(cdr</span><span class="hspace"> </span><span class="RktCmt">x))</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:95:21:</span><span class="hspace"> </span><span class="RktCmt">Type</span><span class="hspace"> </span><span class="RktCmt">Checker:</span><span class="hspace"> </span><span class="RktCmt">type</span><span class="hspace"> </span><span class="RktCmt">mismatch;</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">mismatch</span><span class="hspace"> </span><span class="RktCmt">in</span><span class="hspace"> </span><span class="RktCmt">proposition</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">expected:</span><span class="hspace"> </span><span class="RktCmt">((:</span><span class="hspace"> </span><span class="RktCmt">x</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">Integer))</span><span class="hspace"> </span><span class="RktCmt">|</span><span class="hspace"> </span><span class="RktCmt">(!</span><span class="hspace"> </span><span class="RktCmt">x</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">Integer)))</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">given:</span><span class="hspace"> </span><span class="RktCmt">(Bot</span><span class="hspace"> </span><span class="RktCmt">|</span><span class="hspace"> </span><span class="RktCmt">Top)</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">in:</span><span class="hspace"> </span><span class="RktCmt">#f</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:85:66:</span><span class="hspace"> </span><span class="RktCmt">Type</span><span class="hspace"> </span><span class="RktCmt">Checker:</span><span class="hspace"> </span><span class="RktCmt">type</span><span class="hspace"> </span><span class="RktCmt">mismatch;</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">mismatch</span><span class="hspace"> </span><span class="RktCmt">in</span><span class="hspace"> </span><span class="RktCmt">proposition</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">expected:</span><span class="hspace"> </span><span class="RktCmt">((:</span><span class="hspace"> </span><span class="RktCmt">x</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">String))</span><span class="hspace"> </span><span class="RktCmt">|</span><span class="hspace"> </span><span class="RktCmt">(!</span><span class="hspace"> </span><span class="RktCmt">x</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">String)))</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">given:</span><span class="hspace"> </span><span class="RktCmt">((:</span><span class="hspace"> </span><span class="RktCmt">(cdr</span><span class="hspace"> </span><span class="RktCmt">x)</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">String))</span><span class="hspace"> </span><span class="RktCmt">|</span><span class="hspace"> </span><span class="RktCmt">(!</span><span class="hspace"> </span><span class="RktCmt">(cdr</span><span class="hspace"> </span><span class="RktCmt">x)</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">String)))</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">in:</span><span class="hspace"> </span><span class="RktCmt">(list-of-string?</span><span class="hspace"> </span><span class="RktCmt">(cdr</span><span class="hspace"> </span><span class="RktCmt">x))</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:87:21:</span><span class="hspace"> </span><span class="RktCmt">Type</span><span class="hspace"> </span><span class="RktCmt">Checker:</span><span class="hspace"> </span><span class="RktCmt">type</span><span class="hspace"> </span><span class="RktCmt">mismatch;</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">mismatch</span><span class="hspace"> </span><span class="RktCmt">in</span><span class="hspace"> </span><span class="RktCmt">proposition</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">expected:</span><span class="hspace"> </span><span class="RktCmt">((:</span><span class="hspace"> </span><span class="RktCmt">x</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">String))</span><span class="hspace"> </span><span class="RktCmt">|</span><span class="hspace"> </span><span class="RktCmt">(!</span><span class="hspace"> </span><span class="RktCmt">x</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">String)))</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">given:</span><span class="hspace"> </span><span class="RktCmt">(Bot</span><span class="hspace"> </span><span class="RktCmt">|</span><span class="hspace"> </span><span class="RktCmt">Top)</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">in:</span><span class="hspace"> </span><span class="RktCmt">#f</span><span class="RktMeta"></span></span></li><li><span style="font-family:'Droid Sans Mono',monospace;font-size:125%"><span class="RktMeta"></span><span class="RktCmt">;</span><span class="hspace"> </span><span class="RktCmt">Type</span><span class="hspace"> </span><span class="RktCmt">Checker:</span><span class="hspace"> </span><span class="RktCmt">Summary:</span><span class="hspace"> </span><span class="RktCmt">4</span><span class="hspace"> </span><span class="RktCmt">errors</span><span class="hspace"> </span><span class="RktCmt">encountered</span><span class="RktMeta"></span></span></li></ol><p>=></p><blockquote><table style="font-size:90%;table-layout:fixed;width:100%;word-wrap:break-word"></table></blockquote></div>
#lang
typed/racket/base
;
c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:85:66:
Type
Checker:
type
mismatch;
;
mismatch
in
proposition
;
expected:
((:
x
(Listof
String))
|
(!
x
(Listof
String)))
;
given:
((:
(cdr
x)
(Listof
String))
|
(!
(cdr
x)
(Listof
String)))
;
in:
(list-of-string?
(cdr
x))
;
c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:87:21:
Type
Checker:
type
mismatch;
;
mismatch
in
proposition
;
expected:
((:
x
(Listof
String))
|
(!
x
(Listof
String)))
;
given:
(Bot
|
Top)
;
in:
#f
;
c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:93:73:
Type
Checker:
type
mismatch;
;
mismatch
in
proposition
;
expected:
((:
x
(Listof
Integer))
|
(!
x
(Listof
Integer)))
;
given:
((:
(cdr
x)
(Listof
Integer))
|
(!
(cdr
x)
(Listof
Integer)))
;
in:
(list-of-integer?
(cdr
x))
;
c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:95:21:
Type
Checker:
type
mismatch;
;
mismatch
in
proposition
;
expected:
((:
x
(Listof
Integer))
|
(!
x
(Listof
Integer)))
;
given:
(Bot
|
Top)
;
in:
#f
;
c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:93:73:
Type
Checker:
type
mismatch;
;
mismatch
in
proposition
;
expected:
((:
x
(Listof
Integer))
|
(!
x
(Listof
Integer)))
;
given:
((:
(cdr
x)
(Listof
Integer))
|
(!
(cdr
x)
(Listof
Integer)))
;
in:
(list-of-integer?
(cdr
x))
;
c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:95:21:
Type
Checker:
type
mismatch;
;
mismatch
in
proposition
;
expected:
((:
x
(Listof
Integer))
|
(!
x
(Listof
Integer)))
;
given:
(Bot
|
Top)
;
in:
#f
;
c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:85:66:
Type
Checker:
type
mismatch;
;
mismatch
in
proposition
;
expected:
((:
x
(Listof
String))
|
(!
x
(Listof
String)))
;
given:
((:
(cdr
x)
(Listof
String))
|
(!
(cdr
x)
(Listof
String)))
;
in:
(list-of-string?
(cdr
x))
;
c:\home\racket-scripts\repos\racket-tiled\tmx.rkt:87:21:
Type
Checker:
type
mismatch;
;
mismatch
in
proposition
;
expected:
((:
x
(Listof
String))
|
(!
x
(Listof
String)))
;
given:
(Bot
|
Top)
;
in:
#f
;
Type
Checker:
Summary:
4
errors
encountered
=>