So I try to run the snippet code from "Overview section" but apparently there is a bug?

Question

muyangwu opened this issue 7 years ago · comments

Agree.

Ranjit Jhala · Answer 1 · Thu Apr 06 2017 07:13:11 GMT+0800 (China Standard Time)

Odd! thanks for pointing it out!

Ranjit Jhala · Answer 2 · Thu Apr 06 2017 12:38:15 GMT+0800 (China Standard Time)

Hmm. I cannot reproduce this -- in particular, I copy pasted the text from the README
into the editor pane:

and it seems to work. Can you click the "PERMALINK" button and send me the link of
your code that fails?

Thanks!

Alvin Wu · Answer 3 · Thu Apr 06 2017 12:41:36 GMT+0800 (China Standard Time)

http://goto.ucsd.edu:8095/index.html#?demo=permalink%2F1491453496_2058.lc
here is the link.
But the interesting thing is, I copy and paste code from the README section and it wont compile. But your link actually works.

Ranjit Jhala · Answer 4 · Thu Apr 06 2017 13:05:45 GMT+0800 (China Standard Time)

Wierd! I think there's some funky invisible character getting pasted in...!

On Wed, Apr 5, 2017 at 9:41 PM, A1vin)Wu ***@***.***> wrote: http://goto.ucsd.edu:8095/index.html#?demo=permalink%2F1491453496_2058.lc here is the link. But the interesting thing is, I copy and paste code from the README section and it wont compile. But your link actually works. — You are receiving this because you commented. Reply to this email directly, view it on GitHub <#3 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/ABkuOLzQfmhap23rw7vdZFeBoBDnCuDgks5rtG0AgaJpZM4M07JF> .

-- - Ranjit.