<samth>
tonyg: also, it's not possible to submit a bug report using the hosting service you have
ec has joined #racket
badkins has quit [Remote host closed the connection]
skapata has joined #racket
skapata has joined #racket
skapata has quit [Changing host]
badkins has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
<tonyg>
samth: thanks, i'm looking into it. re git.syndicate-lang.org, i haven't decided what kind of logins to allow yet. for now it's "contact me and I'll make an account for you" but that doesn't work for bug reports. hmm.
tfb has quit [Quit: died]
morte_ has quit [Remote host closed the connection]
morte_ has joined #racket
<tonyg>
man I'm almost unhappy enough with how the package server's database updates itself to do something about it
rmoe_ has joined #racket
rmoe has quit [Ping timeout: 240 seconds]
morte_ has quit [Ping timeout: 246 seconds]
lagooned has joined #racket
morte_ has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Remote host closed the connection]
TeddyDD_ has joined #racket
TeddyDD has quit [Ping timeout: 240 seconds]
TeddyDD_ has quit [Remote host closed the connection]
gproto23 has quit [Remote host closed the connection]
morte_` has quit [Ping timeout: 258 seconds]
X-Scale` has joined #racket
X-Scale has quit [Ping timeout: 258 seconds]
X-Scale` is now known as X-Scale
user1579 has joined #racket
<user1579>
so when I use typed interfaces from typed-racket-more in a typed program (like, for example, the typed interface to the webserver package), are run-time checks still being generated at the boundary between the typed interface and the actual webserver package?
<user1579>
(and if so, is there any way to stop it from doing that, other than by modifying the typed interface to use typed/require/unsafe or something?)