PasteRack.org
Paste #
63704
2020-04-30 16:54:52
Fork
as a new paste.
Paste viewed 318 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%"><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">Polymorphic</span><span class="hspace"> </span><span class="RktCmt">function</span><span class="hspace"> </span><span class="RktCmt">`map'</span><span class="hspace"> </span><span class="RktCmt">could</span><span class="hspace"> </span><span class="RktCmt">not</span><span class="hspace"> </span><span class="RktCmt">be</span><span class="hspace"> </span><span class="RktCmt">applied</span><span class="hspace"> </span><span class="RktCmt">to</span><span class="hspace"> </span><span class="RktCmt">arguments:</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">Types:</span><span class="hspace"> </span><span class="RktCmt">(-></span><span class="hspace"> </span><span class="RktCmt">a</span><span class="hspace"> </span><span class="RktCmt">b</span><span class="hspace"> </span><span class="RktCmt">...</span><span class="hspace"> </span><span class="RktCmt">b</span><span class="hspace"> </span><span class="RktCmt">c)</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">a)</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">b)</span><span class="hspace"> </span><span class="RktCmt">...</span><span class="hspace"> </span><span class="RktCmt">b</span><span class="hspace"> </span><span class="RktCmt">-></span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">c)</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">(-></span><span class="hspace"> </span><span class="RktCmt">a</span><span class="hspace"> </span><span class="RktCmt">c)</span><span class="hspace"> </span><span class="RktCmt">(Pairof</span><span class="hspace"> </span><span class="RktCmt">a</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">a))</span><span class="hspace"> </span><span class="RktCmt">-></span><span class="hspace"> </span><span class="RktCmt">(Pairof</span><span class="hspace"> </span><span class="RktCmt">c</span><span class="hspace"> </span><span class="RktCmt">(Listof</span><span class="hspace"> </span><span class="RktCmt">c))</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">Arguments:</span><span class="hspace"> </span><span class="RktCmt">(-></span><span class="hspace"> </span><span class="RktCmt">Nothing</span><span class="hspace"> </span><span class="RktCmt">Any)</span><span class="hspace"> </span><span class="RktCmt">EventStream</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">result:</span><span class="hspace"> </span><span class="RktCmt">Any</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>
debug message
;
Type
Checker:
Polymorphic
function
`map'
could
not
be
applied
to
arguments:
;
Types:
(->
a
b
...
b
c)
(Listof
a)
(Listof
b)
...
b
->
(Listof
c)
;
(->
a
c)
(Pairof
a
(Listof
a))
->
(Pairof
c
(Listof
c))
;
Arguments:
(->
Nothing
Any)
EventStream
;
Expected
result:
Any
=>