tonyg changed the topic of #racket to: The Racket Programming Language -- https://racket-lang.org/ -- https://gather.town/app/wH1EDG3McffLjrs0/racket-users -- http://pasterack.org -- logged at https://libera.irclog.whitequark.org/racket/ -- This is the right place to ask for help with (Dr)Racket. Remember to wait around for an answer!
shawnw has joined #racket
Origin has quit [Ping timeout: 258 seconds]
Origin has joined #racket
skapata has quit [Read error: Connection reset by peer]
Tuplanolla has quit [Ping timeout: 260 seconds]
samth has quit [Server closed connection]
samth has joined #racket
* shawnw works on yet another JSON parser or two for Racket.
dbohdan has quit [Server closed connection]
dbohdan has joined #racket
ec has quit [Remote host closed the connection]
chiselfuse has quit [Remote host closed the connection]
chiselfuse has joined #racket
sudden has quit [Quit: leaving]
sudden has joined #racket
DragonMaus has quit [Quit: No Ping reply in 180 seconds.]
DragonMaus has joined #racket
ec_ has joined #racket
to-hu has joined #racket
makendo has joined #racket
to-hu1 has joined #racket
to-hu1 has quit [Remote host closed the connection]
to-hu1 has joined #racket
skapata has joined #racket
to-hu1 has quit [Remote host closed the connection]
morte has joined #racket
notzmv has quit [Ping timeout: 264 seconds]
notzmv has joined #racket
notzmv has quit [Ping timeout: 264 seconds]
notzmv has joined #racket
<makendo> can unit tests be expressed as a scribble document containing several test cases that look like an interactive session?
to-hu has quit [Ping timeout: 258 seconds]
morte has quit [Read error: Connection reset by peer]
morte has joined #racket
skapata has quit [Ping timeout: 240 seconds]
skapata has joined #racket
<Putonlalla> What is the trick that makes `struct` constructors work as both procedures and match expanders?
morte has quit [Remote host closed the connection]
morte has joined #racket
haskal has quit [Ping timeout: 272 seconds]
haskal has joined #racket
Tuplanolla has joined #racket
migas9 has quit [Remote host closed the connection]
migas9 has joined #racket
<shawnw> prop:match-expander ?
<shawnw> and prop:procedure ?
LuxuryMode has joined #racket
morte has quit [Remote host closed the connection]
lucasta has joined #racket
ratzkewatzke has quit [Server closed connection]
ratzkewatzke has joined #racket
<ashpool> How do I use untyped structs (and functions to work with them) in typed code? Trying to require/typed them as opaque types produces the above error.
<ashpool> The error message begins with: any-wrap/c: Unable to protect opaque value passed as `Any`
<ashpool> Do I have to source-dive and figure out the details of implementation of each type I intend to use?
<shawnw> Use #:struct in require/typed?
<ashpool> Using #:struct leads to another error: only-in: identifier `struct:unweighted-graph' not included in nested require spec
<ashpool> I'm not sure what that means :( The struct is present in the source code and I did my best to assign appropriate types to its fields its fields
<shawnw> After actually looking at that paste, I found https://stackoverflow.com/q/65386334/9952196 -- you're not the only person to have this problem. It's even the same module in the question.
<shawnw> There's also an open issue on github ( https://github.com/racket/typed-racket/issues/959 ) but no activity since it was created years ago.
<ashpool> Thank you! I also had this exact problem with another popular library (rebellion), so I assumed I was doing something wrong rather than it being a library problem
<ashpool> That opaque struct workaround from stackoverflow is... really something