Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-08-28

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

All times shown according to UTC.

Time Nick Message
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/
02:06 user1_ joined #isabelle
03:01 user1_ joined #isabelle
03:22 user1__ joined #isabelle
03:33 kini joined #isabelle
04:50 aindilis2 joined #isabelle
10:40 silver joined #isabelle
11:03 JCaesar I think I found a bug in my BDD library. http://liftm.de/Pics/bddbug.png
11:03 JCaesar larsrh: Should I report this to anyone, just in case it doesn't get forgotten in case I forget?
11:12 JCaesar Maybe it's just a but in the printing function…
11:43 JCaesar no, something more worrying. :(
11:47 ThreeOfEight JCaesar: well, tell Peter about it, I suppose?
11:57 JCaesar meh
11:57 JCaesar I was just using the wrong function…
11:57 JCaesar I had explicitly commented not to use it, and I still exported it instead of the right one…
12:01 JCaesar works. *sigh*
12:02 JCaesar Is there a way to prevent a function that is implicitly code exported to be actually used?
12:03 JCaesar It's an unsafe part of the API and I wanted to forbid anyone from using it…
12:33 ThreeOfEight JCaesar: I'm afraid not
12:33 ThreeOfEight you'd probably have to write a wrapper module around it in the target language
12:33 ThreeOfEight well
12:35 ThreeOfEight you could perhaps unfold the code equations to prevent the internal function from being exported in the first place, but that may not be possible depending on the structure of your functions
12:35 ThreeOfEight I think larsrh had a plan about adding functionality to export functions as public or private etc., but I don't know if that ever got off the ground
20:13 larsrh ThreeOfEight: no, that wasn't me
20:14 larsrh (I know, that's surprising, but it's true)
20:34 ThreeOfEight larsrh: reallly?
20:34 ThreeOfEight I could have sworn it was though
22:22 chuchuco1ny ThreeOfEight: I paid honestly to do that. did not deliver
22:28 {AS} joined #isabelle
22:28 andromeda-galaxy joined #isabelle
22:31 kyagrd joined #isabelle
22:41 aindilis2 joined #isabelle
23:33 kyagrd joined #isabelle
23:33 {AS} joined #isabelle

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