Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-01-31

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
12:28 dmiles_afk joined #isabelle
12:28 relrod joined #isabelle
12:28 ammbauX joined #isabelle
12:28 Guest98671 joined #isabelle
12:28 ski joined #isabelle
12:28 tokenrove joined #isabelle
12:28 tautologico joined #isabelle
12:28 mbrcknl joined #isabelle
12:28 ThreeOfEight joined #isabelle
12:28 ChanServ joined #isabelle
12:29 tangentstorm joined #isabelle
12:29 barrucadu joined #isabelle
12:30 int-e joined #isabelle
12:30 kini joined #isabelle
12:30 mal``` joined #isabelle
12:30 kyagrd joined #isabelle
12:30 wagle joined #isabelle
12:30 lispy joined #isabelle
12:31 JCaesar joined #isabelle
12:34 larsrh joined #isabelle
15:03 mal`` joined #isabelle
18:09 ammbauer joined #isabelle
20:26 JCaesar I've got a problem with a code_unfold, it causes an ML ecception. Is there some way to debug that? Because I don't see anything problematic with it… http://pastebin.com/tPPtzZQE
20:28 JCaesar hmm. Wait. Is it posible that that _sel causes the exception, if it can't actually select that constructor?
21:30 ThreeOfEight An ML exception? Shouldn't be.
21:32 ThreeOfEight JCaesar: You can trace that with "declare [[ML_exception_trace]]"
21:45 JCaesar not when declaring the lemma. When using something with that equation.
22:22 JCaesar ThreeOfEight: That trace https://bpaste.net/show/5c648f1a23e2 isn't of much se, is it?
23:21 JCaesar Hmm, looks like it was actually a problem with that _sel …
23:21 JCaesar pah.

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary