Closed gitshub closed 10 years ago
Good catch! I will reopen this issues and try to fix the docs.
Thanks Dan. I am not experienced with github and after typing in a new issue, I hit the "close" button to say that the submission was complete. But apparently this instead means the "the issue is solved", so I won't do that next time. On 03/22/14, Dannotifications@github.com wrote: Good catch! I will reopen this issues and try to fix the docs.—Reply to this email directly or view it on GitHub.
Fixed now
Usage page ( http://paste.hskll.org/about ) "rendering example" works fine if click "paste link", since that gives correct first line of code: "module DiaTest where". However if a user tries to cut and paste the code shown on page, which contains "module DiaTest" (without the "where") into a blank text box, it fails. Suggest you make the web page code the same as the code "paste link" uses.
Might also be nice (for newbies) to put a sentence to the effect of "Click the blue PASTE button to see the result" on the usage page.