Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-05-04

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

All times shown according to UTC.

Time Nick Message
00:41 fracting joined #isabelle
01:01 logicmoo joined #isabelle
01:47 ilbot3 joined #isabelle
01:47 Topic for #isabelle is now Official channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html || Now with logging: http://irclog.perlgeek.de/isabelle/
07:11 JCaesar joined #isabelle
10:19 silver joined #isabelle
10:21 silver joined #isabelle
10:22 logicmoo joined #isabelle
12:42 Damaki joined #isabelle
14:46 logicmoo joined #isabelle
14:56 logicmoo joined #isabelle
15:07 logicmoo joined #isabelle
15:12 Damaki joined #isabelle
16:30 chuchucorny is still someone online who can help me with the haskell problem in my generated code? I'm just too stupid for haskell
16:32 chuchucorny here is my problem: http://pastebin.com/ZHYLCT9r (I don't want to flood the chan)
16:43 chuchucorny (with haskell language extension FlexibleInstances, it seems to work but hits is quite hacky. Any better suggestions?)
17:45 logicmoo joined #isabelle
17:59 dmiles_afk joined #isabelle
18:00 dmiles_afk joined #isabelle
18:22 ammerbauer chuchucorny: http://pastebin.com/raw/3UiN19i1
18:24 int-e ammerbauer: You're right, but I suspect that's the version that requires FlexibleInstances.
18:24 int-e In any case I have no better idea.
18:28 int-e And there's nothing wrong with that extension from a Haskell perspective. But is there a sane way to get Isabelle to put it into a file's preamble? (I have not rtfm)
18:32 int-e though I guess you can just invoke the compiler with -XFlexibleInstances ... that's probably the easiest way
18:32 dmiles joined #isabelle
18:59 chuchucorny okay, thx
19:00 chuchucorny my show instances ar ina separate hs file, so FlexibleInstances will do for that file
19:00 chuchucorny thanks
19:02 chuchucorny cannot type, initiating home time
22:31 silver_ joined #isabelle

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