I'm not sure how to categorize this admittedly minor bug.
If a file consists of entirely this string "#lang scribble/lp2", with no whitespace at the end of the module path,
then you get a confusing error. The second screenshot shows what I expected (after I added a space to the end of the file).
Seems like it would be really easy to fix.
I'm happy to do it.
I'm not sure how to categorize this admittedly minor bug.
If a file consists of entirely this string
"#lang scribble/lp2"
, with no whitespace at the end of the module path, then you get a confusing error. The second screenshot shows what I expected (after I added a space to the end of the file).Seems like it would be really easy to fix. I'm happy to do it.