Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-01-17

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

All times shown according to UTC.

Time Nick Message
10:37 ThreeOfEight JCaesar: huh?
10:37 ThreeOfEight cannot reproduce
10:38 ThreeOfEight can you give me a minimal (non-)working example?
10:54 JCaesar Minimal: No, I fear I cannot.
13:03 ThreeOfEight so to get this straight: if you enable show_types, find_consts fails to find constants that it found before?
14:39 JCaesar No, that's two separate problems.
18:00 ThreeOfEight cano you not just do bisection?
18:00 ThreeOfEight i.e. find out at which point in your theory find_consts stops finding something?
18:00 ThreeOfEight anyway, the [[show_types]] issue is probably something you should post on the mailing list
18:16 larsrh not sure if someone will take care of problems with [[show_types]] – it's "old style" anyway
20:19 JCaesar And it's somewhat magical, since it relates to what sledgehammer finds.
20:19 JCaesar I guess I'll just ignore that bug for now…
22:57 mbrcknl joined #isabelle

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