In typed racket, parsing a string list gives me a JSExpr, which is a union. I need to pass it to functions that operate on string lists, but can't figure out how to please the type checker. Maybe with occurrence typing? But I don't know how to assert "this is a list of strings".
-- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
