< 1427933225 979139 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ACTION pokes Lymia in the connection < 1427933289 64917 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boilymia < 1427933343 931299 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :along with boilognese, boilamia. < 1427933381 570629 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what about some boilabaisse < 1427933431 131013 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :alexandrelrod < 1427933466 228345 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :what's an elrod? < 1427933518 317011 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :relrod: You may be more qualified to answer that than I am. < 1427933626 977398 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :http://www.globalsino.com/EM/image1/3911.gif ??? < 1427933680 204970 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah that must be the machine cern used to find the force < 1427933837 210938 :relrod!~relrod@redhat/relrod PRIVMSG #esoteric :ACTION looks up < 1427933893 797965 :relrod!~relrod@redhat/relrod PRIVMSG #esoteric :what did I do :( < 1427933899 138045 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :AH! < 1427933913 63195 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :somebody named relrod. < 1427933931 270116 :relrod!~relrod@redhat/relrod PRIVMSG #esoteric :ACTION puts bucket over head. Where?! < 1427933933 93431 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :relrod: Apparently you were instrumental in finding the force? < 1427933936 241885 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :relrod: uhm. hello? what are your approximate coördinates and body weigh? < 1427934000 630840 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION checks relrod's lilaxity, just because. < 1427934020 384646 :relrod!~relrod@redhat/relrod PRIVMSG #esoteric :boily: 39.111748, -76.775635; -4 lbs. < 1427934060 514007 :oren!~oren@65.94.97.99 QUIT :Quit: Lost terminal < 1427934062 28033 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION determines it to be zero on account of the redhat cloak. < 1427934102 639533 :relrod!~relrod@redhat/relrod PRIVMSG #esoteric :stalker ;) < 1427934124 186047 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You never answered the question about elrods. < 1427934162 992336 :relrod!~relrod@redhat/relrod PRIVMSG #esoteric :shachaf: what's a shachaf? :P < 1427934172 510188 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a seagull hth < 1427934173 358516 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :relrod: i am not a stalker and i _totally_ didn't find your picture on github. < 1427934192 445835 :relrod!~relrod@redhat/relrod PRIVMSG #esoteric :oerjan: onoes < 1427934217 640348 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: did you find my picture on github twh < 1427934224 142556 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf can confirm i'm not a stalker hth < 1427934235 960431 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: you've linked your picture many times < 1427934267 361198 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i http://dl.dropboxusercontent.com/u/13786158/portraits/shachaf.png < 1427934335 42 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :as proof that i'm not a stalker, this is totally the first time i check out shachaf's github account. unless i've forgotten. < 1427934370 391855 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: it's called "cloning" in the git nomenclature hth < 1427934475 450429 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think we are confusing denotations again. < 1427934485 201185 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan: strangely, you're not in the Wisdom Conspirators. < 1427934486 301798 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :relrod: so how 'bout that bug #9858 < 1427934507 674943 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't think i've ever used git directly, anyway. < 1427934525 365301 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait, relrod is related to #9858? < 1427934549 966369 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :what's 9858? < 1427934592 801692 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i am tending to believe that that typeRep confusion you found is harmless, because there is no function to cast without comparing actual kinds or embedding in another type. < 1427934611 684171 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which i assume was your and int-e's conclusion too < 1427934613 406324 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's what I'm tending to believe also. < 1427934631 291725 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But not to the point where I'd trust an unsandboxed -XSafe GHC. < 1427934651 876374 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think we stopped doing that anyway. < 1427934658 658703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pretty sure int-e did. < 1427934673 869703 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Remote host closed the connection < 1427934703 258094 :GibVent!~GeekDude@unaffiliated/g33kdude NICK :GeekDude < 1427934715 840022 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure. < 1427934742 960137 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :of course all it would take is one function which _doesn't_ compare kinds, but there seems to be little reason to define one. except perhaps to fake kind equality testing... < 1427934769 367308 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There could be some serialization thing. < 1427934776 439537 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know. < 1427934776 817920 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1427934983 769638 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: building NetHack 4 on Windows < 1427934994 722028 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: wait what's the Wisdom Conspirators < 1427935024 140905 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: do you really expect an answer, given that you're not among them < 1427935062 295581 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan: I can't remember if you didn't not have a github account. if you don't, could you please point me to it? < 1427935065 809946 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: http://ghc.haskell.org/trac/ghc/ticket/9858 the bug we found that helped hold up ghc release for a month. and which shachaf just discovered hasn't been entirely fixed < 1427935079 832139 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oooooh. that. < 1427935089 594483 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(actually we didn't find it, just probed the consequences) < 1427935097 975840 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well, i found it < 1427935101 657142 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but someone else found it first < 1427935115 312739 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: i have no github account, i'm pretty sure i just said i haven't used git < 1427935187 282629 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://ghc.haskell.org/trac/ghc/ticket/7258 < 1427935189 946142 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :therefore the reason for you perfectly logical prolonged absence from the List. < 1427935194 823922 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :spj is so jolly < 1427935235 490432 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bah i didn't get goldfire's reply on Cc: < 1427935277 284624 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wonder whether there are any other places where this * ~ Constraint thing is exposed? < 1427935486 208653 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:SuperJedi22414]]4 10 02http://esolangs.org/w/index.php?diff=42267&oldid=42229 5* 03SuperJedi224 5* (+56) 10 < 1427935507 622344 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't think that's what's happening, just made a comment < 1427935526 39587 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's true but not really relevant to constructing TypeReps < 1427935552 596457 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: It's pretty strange that () :: Constraint's TypeRep is "ghc-prim GHC.Tuple ()" < 1427935647 175284 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :they totally need to expose those Constraint entities somewhere people can get them even unapplied, like (,) < 1427935657 399124 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1427935664 213078 :relrod!~relrod@redhat/relrod PRIVMSG #esoteric :shachaf: what about #9858 :( it's not my fault, I swear < 1427935666 275173 :relrod!~relrod@redhat/relrod PRIVMSG #esoteric :ACTION clicks link < 1427935687 87833 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1427935695 931350 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :relrod: I didn't think any of these things were your fault, but you seem very defensive for some reason. < 1427935704 677969 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe it is your fault? < 1427935728 786530 :relrod!~relrod@redhat/relrod PRIVMSG #esoteric :shachaf: you act like I know enough about GHC internals to be able to have an impact here. :P < 1427935741 183938 :relrod!~relrod@redhat/relrod PRIVMSG #esoteric :ACTION really, really should learn more about how GHC actually works :/ < 1427935742 759702 :Lymee!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1427935744 817840 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I thought you were all about GHC? < 1427935769 317019 :relrod!~relrod@redhat/relrod PRIVMSG #esoteric :shachaf: Naw. I do Haskell Infra stuff, but haven't gotten into GHC stuff yet. < 1427935770 324463 :relrod!~relrod@redhat/relrod PRIVMSG #esoteric :I want to < 1427935770 811666 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 256 seconds < 1427935807 565878 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, I don't know how GHC works either. < 1427935868 595156 :relrod!~relrod@redhat/relrod PRIVMSG #esoteric :shachaf: Lately I'm on a type theory thing. Trying to work with people in the math department at my school and have them let me do an Individual Study in type theory. < 1427935887 257589 :relrod!~relrod@redhat/relrod PRIVMSG #esoteric :Because I think it would be a lot of fun < 1427935900 86386 :relrod!~relrod@redhat/relrod PRIVMSG #esoteric :And I'm going to learn it anyway, so why not get some credit for it ;) < 1427936395 319679 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Quit: mihow < 1427936480 100810 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? relrod < 1427936496 466996 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :relrod? ¯\(°​_o)/¯ < 1427936554 635090 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`learn A relrod is a machine useful for finding the Force. < 1427936564 221015 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'relrod': A relrod is a machine useful for finding the Force. < 1427936732 504281 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427936780 855887 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1427936800 552087 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Client Quit < 1427937408 391413 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: more Windows builds < 1427937987 140223 :Lymee!~lymia@inportb/loli/cirno-chan NICK :Lymia < 1427938205 574733 :boily!~alexandre@96.127.201.149 QUIT :Quit: NAUTICAL CHICKEN < 1427938283 576092 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1427938297 851319 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1427938672 528593 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427938813 966004 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1427938832 723121 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427939335 632441 :Lymee!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1427939340 821489 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 256 seconds < 1427939540 775714 :variable!~variable@freebsd/developer/variable NICK :function < 1427940083 216828 :Decim!~hhs@74-61-60-199.war.clearwire-wmx.net QUIT :Ping timeout: 250 seconds < 1427940425 645812 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: you've been til'ed http://www.reddit.com/r/haskelltil/comments/313n72/the_numdecimals_extension_lets_you_write_integers/ < 1427940457 91566 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: wasn't that dmwit < 1427940484 890141 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait was it the binary one you did? < 1427940498 177263 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess I did implement this. < 1427940502 422430 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :dmwit was the one who asked for it. < 1427940536 929291 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :also what's this subreddit thing < 1427940581 187059 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i guess if you actually log in following the small ones isn't so painful < 1427940800 341980 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it was advertised on haskell recently < 1427940814 358824 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's only my second smallest < 1427940821 272855 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(guess which is the smallest one) < 1427940839 697596 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also it's the large ones which are painful hth < 1427940870 435011 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION doesn't actually use the front page, which means it would probably be painful if he had more subreddits than fit in the menu < 1427940887 167516 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tdnhaa < 1427940894 587961 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which part < 1427940900 184584 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1427940943 841581 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't want to use the front page because then the largest ones that i almost never visit would swamp the small ones which i follow closely. i think. < 1427940982 937386 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the part preceding the hth < 1427941002 893574 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :another thing that isn't helpful is 35s roundtrip latency to 8.8.8.8 < 1427941010 892416 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1427941030 899281 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, the painful part is having a lot of them, since then I have to click them all. < 1427941039 469694 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If everyone puts everything in the main one then there's no problem. < 1427941044 778878 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Except that the main one is getting noisy.) < 1427941052 426937 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(has gotten) < 1427941067 874449 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you can make subreddit combinations, i hear < 1427941080 717886 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's true. /r/haskell+haskelltil < 1427941108 349771 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427941132 436242 :ais523!~ais523@unaffiliated/ais523 QUIT :Disconnected by services < 1427941133 870464 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1427941137 906874 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(the smallest one is /r/esolangs hth) < 1427941163 731049 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :ACTION rubs eyes < 1427941165 138397 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :holy shit < 1427941174 433281 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :shachaf is tweeting, stop the press < 1427941175 544931 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: whoa whoa whoa < 1427941178 541176 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :don't be like that :'( < 1427941183 137060 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :copumpkin: hm? < 1427941183 170295 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i was hoping to keep it quiet < 1427941188 784659 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :oh < 1427941190 396558 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I mean < 1427941196 685595 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :fahcahs is not tweeting < 1427941201 714187 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Ping timeout: 265 seconds < 1427941203 404320 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :err, I flipped it too much < 1427941209 127833 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :anyway, disregard everything < 1427941228 909994 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :twitter used to email me from n-funpuns=...@postmaster.twitter.com < 1427941310 301180 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: Do you know how Twitter lists work? < 1427941325 47483 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :they forgot about that feature < 1427941325 511934 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Such a mess. < 1427941335 609854 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I use that feature instead of the "follow" feature. < 1427941337 718233 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :they added it years ago and have been progressively de-emphasizing < 1427941340 24901 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So my followee list isn't public. < 1427941346 285706 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It only sort of works. < 1427941372 943761 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :oh interesting < 1427941392 712163 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :you actively mark it as not public? or just have 0 and it shows up that way? < 1427941410 617481 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's separate from the following feature. < 1427941424 404045 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I made a list and I look at that list instead of the front page. < 1427941443 39819 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :ah < 1427941460 660468 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I want to follow conversations including ones where people reply to me, and it doesn't seem to work very well for that. I managed to add myself to the list but it still doesn't do it. < 1427941464 656890 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh well. < 1427942523 227910 :nys!~nysnamovo@blk-215-85-138.eastlink.ca QUIT :Quit: quit < 1427942944 316311 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: it was inevitable that someone would reinvent feather in haskell https://mail.haskell.org/pipermail/haskell-cafe/2015-April/118905.html < 1427942995 742232 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1427942998 296230 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it is clearly a terrible idea for me to follow this link < 1427943000 268613 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ACTION does so anyway < 1427943023 289364 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*MWAHAHAi mean, not at all. < 1427943038 86968 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"Bearing in mind our model of a space-time continuum of hackage dependences, the solution emerges — enforce immutability, but allow retroactive mutation." oh good, they came to the same conclusion as me without necessarily being able to implement it < 1427943046 813982 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? feather < 1427943047 832089 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :feather? ¯\(°​_o)/¯ < 1427943084 463720 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? ais523 < 1427943085 498104 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Agent “Iä” Smith is an alien with a strange allergy to avian body covering, which he is trying to retroactively prevent from ever evolving. On the 3rd of March, he's lawful good. < 1427943098 157285 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wait, how does shachaf not know what feather is < 1427943108 508240 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and why isn't it in the wisdomdb, I thought it was < 1427943117 828942 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think he's just checking what current wisdom on feather is < 1427943126 96522 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I've seen it mentioned but I don't remember if I ever knew what it is. < 1427943132 939828 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Unless it's a thing where the joke is that no one says what it is. < 1427943147 365853 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :http://esolangs.org/wiki/Feather < 1427943154 228598 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the joke /became/ that but it wasn't the original joke < 1427943243 687234 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the esolangs page is quite a good description < 1427943250 456512 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :both the idea of the language itself, and why everyone avoids talking about it < 1427943306 629401 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Speaking of which, Broken Age Act 2 will come out this month. < 1427943365 627889 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :gah, now I'm on the verge of thinking about Feather again < 1427943369 233339 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`quote Feather < 1427943370 195528 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :865) -!- ais523 has parted #esoteric ("someone is going to mention Feather, I know it"). \ 866) i don't even know anything about feather and i'm getting sick of the time travel jokes \ 896) in Smalltalk, as in Feather, in order to do I/O, you must first create the universe ais523, it seems quite capable of I/O... GUI is a fo < 1427943384 561632 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net PRIVMSG #esoteric :Programming language based on the principles of metacybernetics. < 1427943388 503559 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Who are the time travelers? < 1427943533 844530 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in Feather, everything is immutable, but you can retroactively change what an object was when it was created < 1427943563 909246 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or to think about it another way, you have a "clone" operation, and the result of the clone has a method that lets you retroactively change what the clone function returned < 1427943570 634564 :function!~variable@freebsd/developer/variable PRIVMSG #esoteric :ACTION looks at ais523  < 1427943577 458258 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this much is easy to implement, it's basically a wrapper around call/cc < 1427943589 826370 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then things start getting confusing very quickly < 1427943598 490322 :function!~variable@freebsd/developer/variable PART #esoteric :"/dev/null is full" < 1427943601 794518 :function!~variable@freebsd/developer/variable JOIN :#esoteric < 1427943695 636275 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` echo -ne '#!/bin/sh\ngrep -P -i -n "$1" quotes | cut -d ':' -f 1 | xargs\n' > bin/quotenums; chmod +x bin/quotenums < 1427943698 60493 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1427943699 873253 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quotenums feather < 1427943700 868719 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :865 866 896 897 < 1427943717 129441 :idris-bot!~ircslave@dslb-084-062-106-110.084.062.pools.vodafone-ip.de QUIT :Quit: Terminated < 1427944575 759744 :idris-bot!~ircslave@dslb-084-062-106-110.084.062.pools.vodafone-ip.de JOIN :#esoteric < 1427944958 272986 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Retroactively going to bed 1 1/2 hour ago, maybe. < 1427946670 935589 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Ping timeout: 272 seconds < 1427947205 398864 :function!~variable@freebsd/developer/variable QUIT :Quit: 1 found in /dev/zero < 1427947221 145436 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1427947439 33537 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Remote host closed the connection < 1427948035 56313 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427948143 446599 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 245 seconds < 1427948385 344368 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1427948733 689795 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1427948859 430911 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Remote host closed the connection < 1427949716 410317 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427949738 66157 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1427949772 652923 :g2watson!~g2watson@wolf.cdf.toronto.edu JOIN :#esoteric < 1427949801 357405 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1427949891 316916 :MDude!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net NICK :MDream < 1427949917 636301 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Idunnowhy9000 5* 10New user account < 1427950092 290283 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 264 seconds < 1427950602 152161 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1427951003 991353 :v4s!v4s@we.are.on.the.internet.plzdonthack.us QUIT :Ping timeout: 265 seconds < 1427951014 124258 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net JOIN :#esoteric < 1427951064 6234 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :My laptop currently is in pieces in front of me, as i try to fix whatever's wrong without making things worse < 1427951085 720715 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :I think im failing but no way to know until i put it back together < 1427951093 105714 :v4s!v4s@we.are.on.the.internet.plzdonthack.us JOIN :#esoteric < 1427951525 927685 :Lymee!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 265 seconds < 1427951764 347319 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1427951791 553062 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1427954404 612289 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net PRIVMSG #esoteric :Does this thick black cable look damaged? http://i.imgur.com/ZqNmL4t.jpg < 1427954850 512253 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1427954863 457533 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427955146 411198 :infinitymaster!~infinitym@c-67-201-231-197.reshall.wwu.edu JOIN :#esoteric < 1427955516 410886 :infinitymaster!~infinitym@c-67-201-231-197.reshall.wwu.edu PRIVMSG #esoteric :folks < 1427955553 765051 :infinitymaster!~infinitym@c-67-201-231-197.reshall.wwu.edu PRIVMSG #esoteric :!zjoust Iron_Will_and_a_Clear_Conscience >(-)*16>(+)*15(>+>-)*3>([(-)*15[+]]>)*21 < 1427955554 374031 :zemhill_!bfjoust@selene.zem.fi PRIVMSG #esoteric :infinitymaster.Iron_Will_and_a_Clear_Conscience: points -3.45, score 16.57, rank 39/47 (-4) < 1427955580 825027 :infinitymaster!~infinitym@c-67-201-231-197.reshall.wwu.edu PRIVMSG #esoteric :gross < 1427955703 792287 :infinitymaster!~infinitym@c-67-201-231-197.reshall.wwu.edu QUIT :Quit: Leaving... < 1427956784 670385 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Maybe you need to take a step back here < 1427956805 323175 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Remote host closed the connection < 1427957264 277065 :zadock!~zadock@81.180.210.87 QUIT :Quit: Leaving < 1427959019 172558 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net QUIT :Read error: Connection reset by peer < 1427959106 738262 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1427959867 884365 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1427960085 968370 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Remote host closed the connection < 1427960103 58239 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1427960186 221900 :zadock!~zadock@muscalu.tuiasi.ro JOIN :#esoteric < 1427960348 224919 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 248 seconds < 1427960362 270703 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1427960819 106813 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net QUIT :Read error: Connection reset by peer < 1427960903 358247 :f|`-`|f!~rikc@108-65-78-116.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1427960904 121769 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net QUIT :Remote host closed the connection < 1427960919 895990 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net JOIN :#esoteric < 1427961333 326037 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Ping timeout: 255 seconds < 1427962058 764180 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :http://news.slashdot.org/story/15/04/02/0227211/uk-forces-microsoft-to-adopt-open-document-standards < 1427962061 824029 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :neat < 1427963797 306318 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427963918 557659 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 245 seconds < 1427963952 72985 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1427964167 595469 :AnotherTest!~turingcom@d51A4C6F4.access.telenet.be JOIN :#esoteric < 1427965201 48337 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1427965213 644737 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427965398 946640 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Is there a browser that runs in x11? < 1427965687 459772 :stuntaneous!~stuntaneo@124-149-60-156.dyn.iinet.net.au JOIN :#esoteric < 1427966513 448801 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1427966513 486573 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1427966559 755011 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1427969042 300423 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 265 seconds < 1427974286 633922 :hailer!~hailer@196.45.146.225 JOIN :#esoteric < 1427974870 168419 :AnotherTest!~turingcom@d51A4C6F4.access.telenet.be QUIT :Remote host closed the connection < 1427975089 503120 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427975312 743500 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net QUIT :Remote host closed the connection < 1427975327 507772 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net JOIN :#esoteric < 1427975668 334067 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 244 seconds < 1427975728 658263 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427975827 525869 :MDream!~fyrc@c-71-58-118-227.hsd1.pa.comcast.net NICK :MDude < 1427975840 193636 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1427976033 865688 :stuntaneous_e!~stuntaneo@124-168-2-203.dyn.iinet.net.au JOIN :#esoteric < 1427976060 267828 :stuntaneous!~stuntaneo@124-149-60-156.dyn.iinet.net.au QUIT :Ping timeout: 265 seconds < 1427976226 455577 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1427976412 165699 :gamemanj!~gamemanj@cpc8-aztw23-2-0-cust128.aztw.cable.virginm.net JOIN :#esoteric < 1427976444 621624 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 264 seconds < 1427976772 421626 :gamemanj!~gamemanj@cpc8-aztw23-2-0-cust128.aztw.cable.virginm.net QUIT :Read error: Connection reset by peer < 1427976775 837434 :stuntaneous_e!~stuntaneo@124-168-2-203.dyn.iinet.net.au QUIT :Ping timeout: 264 seconds < 1427976991 384464 :GeekDude!~GeekDude@c-73-31-240-150.hsd1.wv.comcast.net JOIN :#esoteric < 1427976996 81483 :GeekDude!~GeekDude@c-73-31-240-150.hsd1.wv.comcast.net QUIT :Changing host < 1427976996 82690 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1427978347 636181 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1427978583 389534 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 265 seconds < 1427979712 559631 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1427980281 155419 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1427980319 215911 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you know how ia64 (also known as itanium) is a different cpu architecture from x86_64 (also known as intel-64 or amd64 or x64)? these names will confuse some more newbies in the future. < 1427980384 678856 :SgeoPhone!~androirc@ool-44c2a85f.dyn.optonline.net QUIT :Quit: AndroIRC - Android IRC Client ( http://www.androirc.com ) < 1427980395 515501 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so anyway, now we have another similar set of confusing architecture names: http://hurrdurr.org hosts the Hurr Durr kernels, also know as Linux, not to be confused with Hurd which is a different kernel. < 1427980404 226571 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::k Dict < 1427980406 908030 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Not in scope: type constructor or class ‘Dict’ < 1427980440 968689 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aren't you about a day late < 1427980450 380061 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes, I am < 1427980455 702561 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but hurrdurr.org is still alive < 1427980460 904237 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :but... but... x86 has more bits than x64 < 1427980464 946633 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :64 only has 64 < 1427980468 109773 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :x86 has way more < 1427980468 110453 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it's just that kernel.org no longer redirects to it < 1427980473 782235 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :namely 86 bits < 1427980542 863257 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Which lets me count to 77371252455336267181195263 < 1427980654 220881 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :mroman: yes, there's a quote about that in http://www.scottaaronson.com/blog/?p=1558 < 1427980739 930754 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh interesting, in 7.8 the () constraint wasn't Typeable, it seems. < 1427980751 753296 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :[ <:2x^86 < 1427980752 308765 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :b_jonas: 77371252455336267181195263 < 1427980760 721338 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and you cannot derive it, of course < 1427980815 523433 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :put it in a Maybe then < 1427980821 268620 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or add a dummy constraint < 1427980826 395052 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh damn i cannot define Dict in lambdabot because int-e refuses to import Constraint < 1427980880 681257 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: not useable for what i'm actually trying to do, which is to expand shachaf's discovery from yesterday to an exploit < 1427980914 115243 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh < 1427980934 43892 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :isn't that why int-e refuses to import Constraint though? < 1427980939 240486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unfortunately i'm too lazy to install 7.10 until the Haskell Platform gets out < 1427980955 267300 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: no. < 1427980982 815888 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :he gave up trying to get around our previous exploits with that kind of restrictions, and made a proper sandbox. < 1427981012 449064 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um sure, and? < 1427981016 813400 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the reason he refuses is that Constraint is in GHC.Exts, an Unsafe module. < 1427981025 35885 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :he might want to use both for security < 1427981029 565748 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which means he'll have to jump through some hoops. < 1427981042 314625 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: but Constraint is _supposed_ to be safe. < 1427981072 607437 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sure, but int-e suspects it's not safe even if it's supposed to be < 1427981097 631421 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: i don't think he suspects Constraint, in itself, is safe. he'd have to ban _everything_. < 1427981102 122819 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*unsafe < 1427981131 48439 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :except, of course, in this case i need it to test whether there is an exploit. < 1427981166 14034 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i tried to use 7.8 as far as possible to test, but it doesn't even _have_ the Typeable instances i need < 1427981208 763212 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm < 1427981221 20979 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :isn't there a different online haskell interpreter somewhere? < 1427981360 180727 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t Proxy :: (Proxy (() => ())) < 1427981361 235785 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Proxy () < 1427981364 775109 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hmph < 1427981379 752748 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it is quite possible it isn't possible to actually construct the () => () type < 1427981431 244431 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm it's probably not considered monomorphic. < 1427981451 975229 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in which case it won't show up as Typeable < 1427981473 879703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you can make an argument with the type, but not define instances for it. < 1427981489 153357 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: ^ < 1427981512 478363 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net QUIT :Ping timeout: 265 seconds < 1427981615 771304 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but _if_ you could, and if goldfire's ghc trac comment about * and Constraint being identified in core is actually relevant and creeps into the form of Typeable instances... < 1427981626 827079 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, isn't the constraint () trivially true? < 1427981662 240476 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: well sure. i was trying to construct (() => ()) as an actual _type_ with a Typeable instances distinct from () < 1427981680 338668 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in order to check whether it had the same TypeRep as () -> () < 1427981708 793043 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which could have allowed an exploit. < 1427981708 844391 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::t Proxy :: Proxy (Eq Int => Int) < 1427981710 10490 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Illegal polymorphic or qualified type: Eq Int => Int < 1427981710 114764 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you intended to use ImpredicativeTypes < 1427981710 115377 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In an expression type signature: Proxy (Eq Int => Int) < 1427981720 669516 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1427981800 119019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: it cannot contain actual class names or anything _officially_ polykinded. < 1427981836 113257 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :() :: * and () :: Constraint have the same TypeRep, but the problem is constructing something with the _same_ kind < 1427981845 276388 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::t Proxy :: Proxy (((),()) => Int) < 1427981846 531187 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Illegal polymorphic or qualified type: ((), ()) => Int < 1427981846 584751 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you intended to use ImpredicativeTypes < 1427981846 585402 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In an expression type signature: Proxy (((), ()) => Int) < 1427981867 791880 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you cannot define any helper types, they would be polykinded. < 1427981934 855006 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but => is the same as -> in core, which might or might not be relevant. i'm starting to think it isn't, because => doesn't construct a monomorphic type. < 1427981979 316028 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so has no chance of ending up in a Typeable argument. < 1427982129 846840 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm maybe it does. in 7.8 with ImpredicativeTypes enabled, typeRep (Proxy :: Proxy (((),()) => ())) < 1427982142 940235 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :gets close enough to complain about a lacking instance. < 1427982164 591004 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(having just () got removed) < 1427982204 596563 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ACTION helped < 1427982254 320622 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i just need 7.10 without stupid restrictions to test this :( < 1427982293 209722 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :MinGHC or not MinGHC, that's the question. < 1427982296 547422 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :tanebvented is the word. < 1427982339 997720 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mroman, this was just a tanebhelped < 1427982411 783790 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1427982422 592844 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :gah 11 minutes to download something i only want to test something < 1427982435 790537 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nope. < 1427982507 132850 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION is not patient < 1427982552 243473 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so basically, i need a ghc 7.10 with ImpredicativeTypes and Data.Typeable enabled. < 1427982584 838930 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and that's just to test if the TypeReps _are_ the same, which they most likely aren't. < 1427982627 245606 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why isn't shachaf awake :( < 1427982642 708717 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(pesky americans) < 1427982740 328745 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@ask shachaf Can you test (you need ImpredicativeTypes) whether typeRep (Proxy :: Proxy (((),()) => ())) == typeRep (Proxy :: Proxy (((),()) -> ())) < 1427982740 416016 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1427982789 496394 :ProofTechnique!~ptech@65-183-137-193-dhcp.burlingtontelecom.net JOIN :#esoteric < 1427982831 429362 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> typeRep (Proxy :: Proxy (((),()) -> ())) < 1427982832 613756 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ((),()) -> () < 1427982897 672141 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: oh and thanks < 1427982903 563088 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::) < 1427983126 129966 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :huh safe haskell still allows some FFI < 1427983143 749283 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :safeFFI < 1427983164 182866 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :under the "everything's still allowed in IO" principle < 1427983213 440152 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nothing about ImpredicativeTypes, anyway. < 1427983375 604772 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@ask int-e Why aren't ImpredicativeTypes enabled, anyway. < 1427983375 642200 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1427983446 287213 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e seems conspicuously absent. maybe germans have easter holidays too < 1427983499 563734 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: hey, you don't happen to have GHC 7.10 by any chance < 1427983509 200912 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, just got it installed somewhere < 1427983528 436157 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :then you could test what i asked shachaf < 1427983602 756576 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if it compiles but they _aren't_ equal, the printout of typeRep (Proxy :: Proxy (((),()) => ())) would also be interesting. < 1427983655 403565 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :They are not equal < 1427983681 100175 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> typeOf (Proxy :: Proxy (((),()) => ())) < 1427983682 331230 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Proxy * (() -> () -> ()) < 1427983683 957802 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Illegal polymorphic or qualified type: ((), ()) ⇒ () < 1427983683 958505 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you intended to use ImpredicativeTypes < 1427983683 958574 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : In an expression type signature: Proxy (((), ()) ⇒ ()) < 1427983688 581580 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Sorry, lambdabot < 1427983725 811416 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> typeOf (Proxy :: Proxy (((),()) -> ())) < 1427983725 850168 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Proxy * (((),()) -> ()) < 1427983727 534294 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Proxy * (((),()) -> ()) < 1427983731 830797 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Again, sorry lambdabot < 1427983749 113502 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, is that right? < 1427983795 894366 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :@type typeOf < 1427983796 934970 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Typeable a => a -> TypeRep < 1427983806 488875 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :> typeOf (5,()) < 1427983808 641103 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : (Integer,()) < 1427983824 126454 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :> typeOf (5,()) == typeOf (3,()) < 1427983825 566937 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : True < 1427983830 334510 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: @tell shachaf I cannot get either lambdabot or 7.8 to accept the re < 1427983838 863188 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1427983869 705628 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: @ask shachaf Can you test (you need ImpredicativeTypes) whether typeRep (Proxy :: Proxy (((),()) => ())) == typeRep (Proxy :: Proxy (((),()) -> ())) < 1427983875 205581 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :@type typeRe < 1427983876 178088 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘typeRe’ < 1427983876 178759 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1427983876 178811 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ‘typeRep’ (imported from Data.Typeable), < 1427983876 301519 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :@type typeRep < 1427983877 431447 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :forall (k :: BOX) (proxy :: k -> *) (a :: k). Typeable a => proxy a -> TypeRep < 1427983882 450924 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, yeah, they are different < 1427983888 4392 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :The constraints are uncurried < 1427983907 890415 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Which means that < 1427983910 247808 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what does typeRep (Proxy :: Proxy (((),()) => ())) look like < 1427983911 332992 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Prelude Data.Typeable> typeOf (Proxy :: Proxy (((),()) => ())) == typeOf (Proxy :: Proxy (() -> () -> ())) < 1427983911 487841 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :True < 1427983912 821394 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :@typeRep (5,()) < 1427983912 909143 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Unknown command, try @list < 1427983917 183946 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :> typeRep (5,()) < 1427983918 511897 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : () < 1427983966 421985 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: what is the result of typeRep (Proxy :: Proxy (((),()) => ())) < 1427983985 231496 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Proxy * (() -> () -> ()) < 1427984002 85728 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :"() -> () -> ()" rather < 1427984037 914489 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh. < 1427984043 936943 :barrucadu!~barrucadu@fsf/member/barrucadu PRIVMSG #esoteric :oldl maybe < 1427984045 783108 :barrucadu!~barrucadu@fsf/member/barrucadu PRIVMSG #esoteric :Oops < 1427984052 875026 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in that case, please compare with actual () -> () -> () < 1427984086 882727 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh, that does look promising < 1427984087 579166 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1427984092 934310 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, True < 1427984098 820502 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay! < 1427984207 247434 :hailer!~hailer@196.45.146.225 QUIT :Ping timeout: 246 seconds < 1427984351 810783 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh duh i failed to read some of your lines :P < 1427984360 885183 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: could you try out http://oerjan.nvg.org/haskell/TypeableExploits/TFs5.hs ? < 1427984419 72713 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric : Illegal tuple constraint: () (Use ConstraintKinds to permit this) < 1427984460 624328 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, with ConstraintKinds it compiles < 1427984544 591251 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And uc (100 :: Int) :: Char gets 'd' < 1427984564 994847 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh < 1427984701 746609 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i fixed that, including your and shachaf's real name < 1427984706 828581 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :to the ghc trac -> < 1427984790 692051 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::) < 1427984803 953596 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh, could you add Safe too, on principle. < 1427984840 644825 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Still works < 1427984847 869115 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"good" < 1427984875 974938 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :There's a single warning (duplicate constraint ()) but other than that it's all good < 1427984936 339872 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: no holidays, just a combination of getting up late and staying away from the computer < 1427984978 955870 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Nobody likes ImpredicativeTypes < 1427985041 556870 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you think :) < 1427985048 732824 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :And I'm in Austria, even tomorrow is not a proper holiday... < 1427985076 406428 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(i.e. Good Fridat) But Easter Monday is. < 1427985091 614109 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah. < 1427985107 512284 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :norway has the highest density of easter holidays in the world, i think < 1427985127 150608 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(today, tomorrow, Easter and Easter Monday) < 1427985129 682368 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( Dear empty review form, please inspire me... [a different one from yesterday] ) < 1427985158 207840 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Easter Sunday is also a holiday, but a rather useless one. < 1427985183 495875 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: does it not have april 1 as a holiday? < 1427985200 176114 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :what kind of holiday would that be? < 1427985245 536316 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :a celebration of creativity that isn't necessarily directed towards a useful goal < 1427985277 227123 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :int-e: It's not? < 1427985281 131508 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Karfreitag is usually a thing. < 1427985292 753713 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, do send me a link to the ticket when it is available < 1427985303 848118 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I'm going to work anyway < 1427985310 283295 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :but it's a holiday around here. < 1427985321 697653 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman: In Austria, it's only a holiday for Protestants. Everybody else has to work. < 1427985352 39336 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Wait... catholics have to attend work, protestants get a holiday? < 1427985354 503000 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Not sure whether it depends on the state, I'm in Tyrol...) < 1427985356 693632 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :That's "lawful"? < 1427985368 814527 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Oh. I get that it depends on the state, yeah. < 1427985373 84759 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman: there are catholic-only holidays as well < 1427985376 313303 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Switzerland has different holidays in different states as well. < 1427985388 330215 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Depending on what religion was dominant some years ago I guess. < 1427985389 384179 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman: no it really depends on the individual < 1427985393 739895 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :int-e: Oh. < 1427985394 618714 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Ok. < 1427985401 780247 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :That's certainly... insteresting. < 1427985411 637028 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Which I find rather strange. But oh well... and I'm neither catholic nor protestant.) < 1427985426 784394 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Well... < 1427985436 871781 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I think this holiday system sucks anyway < 1427985456 390730 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I think this work system... never mind. < 1427985459 425596 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Instead of having religious holidays you might as well say "well.. you have 5 days each year you can take off for whatever religious purpose it serves you" < 1427985470 555498 :AnotherTest!~turingcom@d51a4c6f4.access.telenet.be JOIN :#esoteric < 1427985488 209311 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :which would be the same thing as giving you an extra week < 1427985488 453707 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: by holiday i mean a day that most people don't need to work hth < 1427985491 240258 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Which I would prefer. < 1427985505 777804 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :on the other hand < 1427985523 301704 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :with these "free extra holidays" you could add some restrictions like "not more than two consecutive days" < 1427985539 884789 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: i just added it to the already existing one https://ghc.haskell.org/trac/ghc/ticket/9858#comment:76 < 1427985541 214963 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :so you have 5 extra days, but can't use them as a whole week at once. < 1427985563 153413 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mroman: your "you have N days and can spend them whenever you want" is very common as a method of allocating time off in companies nowadays < 1427985570 956421 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman: Then again the christian population pays dearly for those extra free days (there are additional taxes). < 1427985576 392000 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :ais523: It is :) < 1427985591 571893 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :sometimes requiring very slow days like Christmas Day to be one of those days < 1427985591 831136 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :but then you have additional days off because of some religious background. < 1427985617 537117 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :int-e: what kind of taxes? < 1427985619 872867 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but that's mostly because it's a huge secular holiday where basically nobody works, with the Christian holiday on the same date being observed by a much smaller number of people < 1427985620 74128 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :church taxes? < 1427985625 74348 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :well, church taxes. < 1427985632 502268 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :but these don't go to the state < 1427985635 760237 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :they go to the churches. < 1427985645 573158 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman: but they still reduce the people's paycheck < 1427985656 342460 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, :) < 1427985664 15781 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :int-e: what if you're an atheiest? < 1427985670 750617 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :do you get holidays on christmas? < 1427985679 445403 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman: There is this theory of division of church and state, well, this is how it looks in practice ;) < 1427985687 742817 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :yeah < 1427985695 810024 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mroman: it's hard to argue that there isn't an atheist holiday on Christmas; just statistically, such a holiday exists < 1427985715 257799 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :interestingly, the UK doesn't officially have a separation of church and state < 1427985717 214610 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman: Yes, I do. There's only one or two days where the faith is actually taken into account. < 1427985719 898881 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and yet the two overlap pretty rarely < 1427985759 214695 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman: To be fair, despite the name, Christmas is really a capitalist holiday. (Ironically it was a holiday in communist countries as well.) < 1427985777 528531 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Well... < 1427985790 38317 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I don't fully agree with that < 1427985797 1260 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :like valentine's day < 1427985804 305687 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :people develop expectations from it < 1427985813 525083 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :so you can't really blame it only on shops and malls and the like < 1427985826 716016 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :people's expectations are to blame < 1427985844 101090 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I have no expectation whatsover for Valentine's day. < 1427985849 520888 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Yeah me neither. < 1427985859 235352 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wow. < 1427985865 233146 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :expectations, whatsoever. < 1427985867 455458 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :mainly because there's no relationship on the horizon and there never was. < 1427985879 643649 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :but... < 1427985882 714918 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :now I'm feeling bad for not showing up to #esoteric with flowers < 1427985905 167209 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(the "wow" came from the realization that "whatsover" almost looks like a real word) < 1427985925 652000 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I only buy christmas gifts for closest of family members < 1427985928 963671 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :brothers and parents < 1427985930 416748 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :that's it. < 1427985954 923939 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :and usually you'll tell each other what presents you would have a use for < 1427985955 90311 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ais523: Cherry blossom is almost over, too. < 1427985960 785913 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :which... makes the whole point rather moot < 1427985961 728202 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :but < 1427985971 454544 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :what do I know about social things. < 1427986007 96380 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :anyway, bbl < 1427986088 616852 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :^flowers < 1427986090 699700 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :!flowers < 1427986093 510169 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :)flowers < 1427986094 941059 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :(flowers < 1427986095 637358 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :hm < 1427986098 159875 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :no flower bot < 1427986100 558653 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :`flowers < 1427986119 515157 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: flowers: not found < 1427986152 220038 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :@}~}~~~ < 1427986152 361254 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Unknown command, try @list < 1427986174 254911 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :damn bot prefixes :( < 1427986192 363120 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :It would make more sense for bots to have < 1427986195 781244 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :instead of < 1427986196 587156 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :because < 1427986200 629882 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :nobody starts a sentence with a space < 1427986204 246265 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :but < 1427986213 104060 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :those damn bot writers are just too dumb to notice that < 1427986235 757810 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mroman: I think it's precisely /because/ nobody starts a sentence with aa space < 1427986246 448037 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :people wouldn't be able to use the bot < 1427986250 989754 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :of course < 1427986252 993086 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric : @help < 1427986253 706818 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :see < 1427986255 35366 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :no proble < 1427986256 145817 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :m < 1427986296 23922 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :(hi) < 1427986306 191976 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :( <:i9 < 1427986306 485069 :idris-bot!~ircslave@dslb-084-062-106-110.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :(input):1:1: error: expected: ":", < 1427986306 625765 :idris-bot!~ircslave@dslb-084-062-106-110.084.062.pools.vodafone-ip.de PRIVMSG #esoteric : dependent type signature, < 1427986306 626476 :idris-bot!~ircslave@dslb-084-062-106-110.084.062.pools.vodafone-ip.de PRIVMSG #esoteric : end of input < 1427986306 626536 :idris-bot!~ircslave@dslb-084-062-106-110.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :<:i9 < 1427986306 626576 :idris-bot!~ircslave@dslb-084-062-106-110.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :^ < 1427986320 381639 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :( < 1427986320 754629 :idris-bot!~ircslave@dslb-084-062-106-110.084.062.pools.vodafone-ip.de PRIVMSG #esoteric :^ < 1427986323 515786 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :hm < 1427986362 28726 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :[ i9 < 1427986362 645353 :j-bot!~j-bot@li339-21.members.linode.com PRIVMSG #esoteric :mroman: |value error: i9 < 1427986367 164570 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :[ < 1427988919 134835 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :btw you know you're excited about something when you're trying to multitask irc'ing and shaving. < 1427988921 623730 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :is there a (,) on the constraint level? < 1427988940 273240 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: bloddy business? < 1427988944 137044 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :bloody < 1427988969 137496 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ah maybe you're using one of those extra-safe, buzzing, electric shavers < 1427989172 850667 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( is there a smartphone with built-in shaver yet? ) < 1427989216 683551 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :There could even be a razor-thin edition... < 1427989249 972384 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 250 seconds < 1427989827 615167 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: yes the (,) in (Ord a, Num a), say < 1427989867 428184 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :actually i'm using razor blades. pretty safe, though. although i'm not always entirely free of bleeding. < 1427989891 744332 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, the multitasking still moves between different rooms < 1427989959 181117 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i use to use electric but it went *poof* just after i moved here. < 1427989979 39262 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :as in, there was arcing when it died. < 1427989987 449682 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*used < 1427989995 43901 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now brushing teeth -> < 1427990201 452877 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm there was that automatic currying Taneb noticed, but i'm sure that cannot apply in positive position in data types/families < 1427990403 705880 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427990912 391236 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or anywhere polymorphic in the constraints < 1427991452 857066 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1427991629 498288 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1427991739 696703 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 272 seconds < 1427991976 453868 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427992608 60929 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ooh, new INTERCAL release < 1427992612 864427 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, C-INTERCAL < 1427992620 724647 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :esr released it to get the code out there before gitorious died < 1427993552 418070 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 246 seconds < 1427993787 772854 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1427993958 9603 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1427994080 874555 :shikhin!~shikhin@120.56.229.229 JOIN :#esoteric < 1427994097 735575 :shikhin!~shikhin@120.56.229.229 QUIT :Changing host < 1427994097 774132 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1427994338 436226 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1427994737 347900 :Xeironis!~Jake@dslb-088-066-225-213.088.066.pools.vodafone-ip.de JOIN :#esoteric < 1427995380 952324 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Ping timeout: 264 seconds < 1427995577 842922 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 256 seconds < 1427995681 932284 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1427995789 911178 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1427995996 845354 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Ping timeout: 248 seconds < 1427996146 956038 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net JOIN :#esoteric < 1427996248 541985 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: whoa, I missed the whole thing. < 1427996250 308383 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan++ < 1427996263 129178 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@messages-lead < 1427996263 234373 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :oerjan asked 3h 45m 22s ago: Can you test (you need ImpredicativeTypes) whether typeRep (Proxy :: Proxy (((),()) => ())) == typeRep (Proxy :: Proxy (((),()) -> ())) < 1427996263 235000 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :oerjan said 2h 23m 14s ago: Never mind, Taneb helped; see https://ghc.haskell.org/trac/ghc/ticket/9858#comment:76 < 1427996452 831486 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why isn't oerjan awake :( < 1427996476 417494 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o O ( Why do you tempt me to give a tautological answer? ) < 1427996624 919316 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wouldn't the tautological answer there be "because oerjan isn't awake", which doesn't actually answer the question? < 1427996641 948994 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ais523: yes. < 1427996674 143160 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The temptation arises from the fact that I cannot conceive of a more useful answer than that. < 1427996699 247198 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :06:52 why isn't shachaf awake :( < 1427996714 668266 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: thanks < 1427996786 980070 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :lol < 1427996875 114960 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :look i just woke up < 1427996914 430379 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: FWIW I consider this to be one of my character flaws. So I can't really complain. < 1427996935 646374 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Now I'm confused. < 1427996949 185127 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"this" being the tendency to give tautological answers. < 1427997558 655975 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1427997653 293453 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :why is fungot awake :( < 1427997653 419183 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: you got to try that kind of explanation makes it easier < 1427997695 853299 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :okay, another review done. < 1427997702 324057 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :clearly, fungot is awake because fungot is awake < 1427997702 824920 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :ais523: i have complained about the lack of such a function < 1427997712 839405 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and apparently doesn't know how to go to sleep < 1427997735 619742 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :^sleep < 1427998059 45512 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Now as long as nobody mentions fun⁠got by name we can pretend that it worked. < 1427998230 87108 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 256 seconds < 1427998691 352493 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1427998937 62195 :^v^v!~^v@2601:4:680:104c:d82f:db0d:bf07:c6a8 QUIT :Read error: Connection reset by peer < 1427998962 94366 :^v^v!~^v@2601:4:680:104c:d82f:db0d:bf07:c6a8 JOIN :#esoteric < 1427999040 458507 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Makes me wonder whether there are other bugs involving ConstraintKinds that don't need Typeable. E.g. can you write (Show a, Show b) :~: (Show b, Show a) somehow? < 1427999333 199462 :variable!~variable@freebsd/developer/variable NICK :trout < 1428000242 876080 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1428000749 941328 :nys!~nysnamovo@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1428001216 654800 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1428001354 103684 :idris-bot!~ircslave@dslb-084-062-106-110.084.062.pools.vodafone-ip.de QUIT :Quit: Terminated < 1428001404 948139 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 248 seconds < 1428001445 161973 :shikhin_!~shikhin@unaffiliated/shikhin NICK :shikhin < 1428001757 5283 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Ping timeout: 248 seconds < 1428001929 119965 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1428002532 875513 :^v!~^v@2601:4:680:104c:d82f:db0d:bf07:c6a8 JOIN :#esoteric < 1428002534 947637 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1428002538 959413 :trout!~variable@freebsd/developer/variable QUIT :Remote host closed the connection < 1428002684 4825 :^v^v!~^v@2601:4:680:104c:d82f:db0d:bf07:c6a8 QUIT :Ping timeout: 256 seconds < 1428002939 508926 :variable!~variable@freebsd/developer/variable QUIT :Remote host closed the connection < 1428002965 809254 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1428003921 42832 :variable!~variable@freebsd/developer/variable QUIT :Remote host closed the connection < 1428005010 118 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1428006816 305537 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: regarding unicodesyntax, I'm going to patch my ghc. < 1428006855 699079 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(and update #8959 accordingly once it works) < 1428006884 621896 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1428007068 587038 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1428007102 101507 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1428007451 253629 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03AnonymousAnomaly 5* 10New user account < 1428007669 935609 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Quit: mihow < 1428008014 363152 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?" < 1428008377 363410 :ProofTechnique!~ptech@65-183-137-193-dhcp.burlingtontelecom.net QUIT :Quit: ZNC - http://znc.in < 1428008893 714804 :ProofTechnique!~ptech@65-183-137-193-dhcp.burlingtontelecom.net JOIN :#esoteric < 1428008914 374857 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gott14]]4 N10 02http://esolangs.org/w/index.php?oldid=42269 5* 03AnonymousAnomaly 5* (+143) 10Gott is an esoteric programming language that uses only for loops. < 1428009166 744983 :ProofTechnique!~ptech@65-183-137-193-dhcp.burlingtontelecom.net QUIT :Ping timeout: 252 seconds < 1428009209 667224 :idris-bot!~ircslave@dslb-084-062-106-110.084.062.pools.vodafone-ip.de JOIN :#esoteric < 1428009464 587011 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gott14]]4 10 02http://esolangs.org/w/index.php?diff=42270&oldid=42269 5* 03AnonymousAnomaly 5* (+826) 10 < 1428009654 16682 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 256 seconds < 1428009740 111383 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1428009876 342431 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : why isn't oerjan awake :( <-- the question assumes facts not in evidence hth < 1428009889 297773 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: so did yours hth < 1428009903 175738 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION was, at that time, probably showering. < 1428009904 301793 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1428009916 628427 :Xeironis!~Jake@dslb-088-066-225-213.088.066.pools.vodafone-ip.de PART #esoteric :"Konversation terminated!" < 1428009924 468863 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so not completely awake < 1428009941 546587 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um i wasn't going either to or from bed < 1428009952 199890 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just preparing to leave the house. < 1428009964 499942 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : It's a bit funny that GHC's normalization is exposed by type equality, so that "(Foo a, Bar a) => a" unifies with "Foo a => Bar a => a" but not with "(Bar a, Foo a) => a" < 1428009988 280990 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1428010008 49579 :idris-bot!~ircslave@dslb-084-062-106-110.084.062.pools.vodafone-ip.de QUIT :Quit: Terminated < 1428010012 885936 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :basically, they haven't worked too hard on making type inference of constraints be flexible. < 1428010028 173460 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(or maybe they have and gave up.) < 1428010062 45634 :idris-bot!~ircslave@dslb-084-062-106-110.084.062.pools.vodafone-ip.de JOIN :#esoteric < 1428010083 888207 :AnotherTest!~turingcom@d51a4c6f4.access.telenet.be QUIT :Remote host closed the connection < 1428010090 573145 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : oerjan: whoa, I missed the whole thing. <-- on the bright side, you got credited. < 1428010126 228388 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: to be fair, what sort of person would even do that sort of thing with constraints < 1428010137 903905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk hth < 1428010191 135249 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I haven't seen even edwardk make GADTs/type families with arguments that require constraint unification. < 1428010198 912663 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in fact, i greatly suspect he'd like it if the outcome of this was to make the (,) :: Constraint -> Constraint -> Constraint etc. entirely separately referencable entities. < 1428010215 390200 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, sure, that's a much more reasonable outcome. < 1428010228 134913 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Given that you can't even get at that (,) right now. < 1428010286 110673 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, after that's fixed, SafeHaskell is *sure* to be bulletproof! < 1428010334 593705 :fractal!~fractal@unaffiliated/scounder QUIT :Ping timeout: 256 seconds < 1428010368 489927 :merdach!~k@stargate.cat.pdx.edu QUIT :Ping timeout: 256 seconds < 1428010369 148449 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b QUIT :Ping timeout: 256 seconds < 1428010386 663954 :merdach!~k@stargate.cat.pdx.edu JOIN :#esoteric < 1428010436 531659 :edirc!~edirc@unaffiliated/izabera/bot/edirc QUIT :Ping timeout: 256 seconds < 1428010451 874648 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :indeed! < 1428010482 11227 :pikhq!~pikhq@2001:470:c47a:1:eade:27ff:fe08:b48b JOIN :#esoteric < 1428010490 944902 :perrier_!~cinch@107.170.175.57 JOIN :#esoteric < 1428010504 286303 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Ping timeout: 256 seconds < 1428010526 57434 :dianne_!~diannes@unaffiliated/dianne JOIN :#esoteric < 1428010565 683733 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unidecode n⁠ < 1428010592 87411 :mhi^!~mhi@104.131.27.185 JOIN :#esoteric < 1428010606 755997 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gott14]]4 10 02http://esolangs.org/w/index.php?diff=42271&oldid=42270 5* 03AnonymousAnomaly 5* (+453) 10 < 1428010609 682271 :perrier!~cinch@107.170.175.57 QUIT :Ping timeout: 265 seconds < 1428010609 903182 :dianne!~diannes@unaffiliated/dianne QUIT :Ping timeout: 265 seconds < 1428010626 477880 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+006E LATIN SMALL LETTER N] [U+2060 WORD JOINER] < 1428010663 688279 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mein gott < 1428010714 988339 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gott14]]4 10 02http://esolangs.org/w/index.php?diff=42272&oldid=42271 5* 03AnonymousAnomaly 5* (+437) 10 < 1428010719 113048 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1428010779 764754 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Quit: mihow < 1428010789 22141 :fractal!~fractal@2607:fcd0:100:4300::3e34:746 JOIN :#esoteric < 1428010888 394515 :variable!~variable@freebsd/developer/variable NICK :constant < 1428010955 834074 :TieSleep!~quassel@86.89.119.147 QUIT :Read error: Connection reset by peer < 1428010985 367262 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t fmap < 1428010986 374658 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Functor f => (a -> b) -> f a -> f b < 1428011178 611178 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::t fmap :: Monad m => (a -> b) -> m a -> m b -- p. fancy < 1428011179 614196 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Monad m => (a -> b) -> m a -> m b < 1428011197 881291 :constant!~variable@freebsd/developer/variable QUIT :Quit: 1 found in /dev/zero < 1428011658 168686 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1428011811 34969 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net JOIN :#esoteric < 1428011833 235251 :vodkode_!~vodkode@fl-71-49-15-174.dhcp.embarqhsd.net QUIT :Ping timeout: 264 seconds < 1428012239 241800 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::t toList < 1428012240 201229 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘toList’ < 1428012240 316541 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1428012240 317206 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ‘F.toList’ (imported from Data.Foldable), < 1428012553 20298 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1428012668 987949 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net QUIT :Ping timeout: 264 seconds < 1428012840 18983 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::t toList < 1428012841 540758 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘toList’ < 1428012841 543556 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant one of these: < 1428012841 545610 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : ‘F.toList’ (imported from Data.Foldable), < 1428013219 178256 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::t toList < 1428013220 178995 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :IsList l => l -> [Item l] < 1428013227 279579 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::k () :: Constraint < 1428013228 367875 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :parse error on input ‘::’ < 1428013241 400858 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ah. < 1428013368 890487 :FatBack!~Fat@cpe-76-189-106-172.neo.res.rr.com JOIN :#esoteric < 1428013404 242562 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1428013420 82381 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::k (() :: Constraint) < 1428013421 50464 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: type constructor or class ‘Constraint’ < 1428013421 51348 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant ‘Contains’ (imported from Control.Lens) < 1428013502 92538 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1428013546 174209 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net JOIN :#esoteric < 1428013618 457407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t toList < 1428013619 377700 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :IsList l => l -> [Item l] < 1428013628 863072 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but, why < 1428013678 469378 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gott14]]4 10 02http://esolangs.org/w/index.php?diff=42273&oldid=42272 5* 03AnonymousAnomaly 5* (+811) 10 < 1428013711 4734 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :after all that work to avoid name clashes < 1428013793 685479 :^v!~^v@2601:4:680:104c:d82f:db0d:bf07:c6a8 QUIT :Read error: Connection reset by peer < 1428013818 232913 :^v!~^v@2601:4:680:104c:d82f:db0d:bf07:c6a8 JOIN :#esoteric < 1428013867 774354 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gott14]]4 10 02http://esolangs.org/w/index.php?diff=42274&oldid=42273 5* 03AnonymousAnomaly 5* (+63) 10 < 1428013904 437558 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Gott14]]4 10 02http://esolangs.org/w/index.php?diff=42275&oldid=42274 5* 03AnonymousAnomaly 5* (+0) 10 < 1428013966 67764 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :funny, this module exports nothing: http://sprunge.us/XUNE?hs < 1428014081 305194 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::k (() :: Constraint) < 1428014082 329365 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Constraint < 1428014097 263466 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::k () :: Constraint -- this appears to be a ghci bug < 1428014098 266539 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :parse error on input ‘::’ < 1428014125 60017 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1428014176 545535 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :huh indeed it doesn't seem to export anything < 1428014209 80619 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Not just ghci. < 1428014229 246068 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :type A = () :: ... has the same issue. < 1428014270 566395 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :if I just put an extra pair of parentheses there, will that break anything? < 1428014274 235162 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::t (Maybe) < 1428014275 222172 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: data constructor ‘Maybe’ < 1428014275 323300 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant variable ‘maybe’ (imported from Data.Maybe) < 1428014278 538099 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::k (Maybe) < 1428014279 388061 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :* -> * < 1428014289 110286 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :ACTION is imported from lambdabot  < 1428014434 164216 :FatBack!~Fat@cpe-76-189-106-172.neo.res.rr.com TOPIC #esoteric :penis < 1428014466 633211 :ChanServ!ChanServ@services. MODE #esoteric +o :oerjan > 1428014466 869241 NAMES :#esoteric < 1428014468 118056 :int-e!~noone@static.88-198-179-137.clients.your-server.de TOPIC #esoteric :RIP Misao Okawa | I'm a fungot trapped in a channel full of weirdos | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1428014479 199517 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric +b :*!*Fat@*.neo.res.rr.com < 1428014479 200407 :oerjan!oerjan@sprocket.nvg.ntnu.no KICK #esoteric FatBack :Go to Hell > 1428014479 210362 NAMES :#esoteric < 1428014499 103490 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...that's just the reaction they wanted, wasn't it. < 1428014509 49606 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :probably < 1428014513 524344 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -o :oerjan > 1428014513 534972 NAMES :#esoteric < 1428014518 34236 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :if it happens again, use your powers to set +t < 1428014524 45491 :ChanServ!ChanServ@services. MODE #esoteric +o :oerjan > 1428014524 55931 NAMES :#esoteric < 1428014525 898277 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(temporarily at least) < 1428014539 515506 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric :+tsric > 1428014539 526303 NAMES :#esoteric < 1428014547 268108 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1428014550 869611 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oops. < 1428014575 35743 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric :-sric > 1428014575 46539 NAMES :#esoteric < 1428014591 364145 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION wonders what +r is... < 1428014599 916499 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i cannot remember, was it +c or +C < 1428014617 983116 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: it's already happened, ais523 banned em yesterday < 1428014621 783236 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :oerjan, /raw help umode < 1428014624 682350 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah. block unidentified < 1428014636 537464 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :erm cmode < 1428014644 588768 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :variable: i am quite sure irssi doesn't use /raw < 1428014645 296545 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: +C < 1428014650 500105 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good < 1428014653 431005 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :oerjan, eh? < 1428014657 2640 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :* cmode : +C - Disable CTCP. All CTCP messages to the channel, except ACTION, < 1428014665 368504 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :+c filters color, I hear some people here like color. < 1428014674 595529 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :* cmode : +c - No color. All color codes in messages are stripped. < 1428014676 923817 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :https://freenode.net/using_the_network.shtml works. < 1428014684 476652 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :variable: my client doesn't use /raw < 1428014696 659356 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it uses /quote, hth < 1428014697 500807 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :oerjan, oh, so just direct /help cmode < 1428014698 128106 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :? < 1428014702 37524 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :ah, /quote < 1428014704 819431 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -o :oerjan > 1428014704 830346 NAMES :#esoteric < 1428014709 938378 :variable!~variable@freebsd/developer/variable PRIVMSG #esoteric :ACTION can't remember irssi < 1428014730 327465 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, /help cmode gives irssi's own help, which is empty < 1428014826 575887 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: use glguy's fancy new irc client hth < 1428014854 715637 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :does it run on a terminal? < 1428014862 893868 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1428014887 987264 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :does it look like irssi? < 1428014889 808438 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION ducks < 1428014906 128355 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A little bit. < 1428014933 313136 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I think I've already invested too much time in customizing irssi) < 1428014954 958314 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :s/in /into / < 1428014965 503542 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But this client has all sorts of great features. < 1428014981 428159 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And also if you tell glguy what you're missing he'll implement it. < 1428015044 847801 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: huh why doesn't Constraint get exported < 1428015154 5637 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :huh it's just Constraint, too < 1428015197 560560 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(this with 7.8.3, naturally) < 1428015226 753026 :variable!~variable@freebsd/developer/variable NICK :constant < 1428015560 358973 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: probably a ghc bug? < 1428015584 735868 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Maybe, I'm asking #ghc before I put in on Trac. < 1428015615 730070 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what you can do that < 1428015640 291574 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I did verify that this doesn't happen with just any empty data type, perhaps it's a builtin identifiers thing.) < 1428015697 226112 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i verified that Any and Down worked... < 1428015713 922472 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(just random ones that aren't prelude or containing #) < 1428015735 887702 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh, it's an indirect import thing. < 1428015766 803021 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Constraint is "defined" in Ghc.Prim) < 1428015771 567369 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :GHC.Prim < 1428015797 985617 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but so is a _lot_ of GHC.Exts, no < 1428015867 936558 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or not... < 1428015872 214871 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :xor# works just fine, and is from there too < 1428015890 339891 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I don't know what went wrong in my test, cannot reproduce it anymore. < 1428015907 279702 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :reproduce what? < 1428015939 779528 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the one where I thought that a reexport hid a reexported identifier < 1428016040 189956 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"the one"? the incident, I guess. < 1428016085 191688 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm * is also in GHC.Prim but not in GHC.Exts < 1428016098 943414 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION is at computer now, tries to figure out what bug is being discussed. < 1428016102 856688 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I have not tried to reexport *. < 1428016116 230747 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, the Constraint export paste above. < 1428016142 737072 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(since I don't really know how to refer to it in an import or export list) < 1428016163 22914 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(or what extension I need for that to work) < 1428016169 930844 :^v^v!~^v@c-68-36-225-16.hsd1.mi.comcast.net JOIN :#esoteric < 1428016175 731767 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(assuming it's possible at all) < 1428016178 53119 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right the source links weren't working in the 7.10 haddocks < 1428016241 419367 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: it just seems that GHC.Exts reexports all of GHC.Prim, so * is also excluded there < 1428016314 235139 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :GHC.Exts has an explicit export for Constraint, figures. < 1428016324 783504 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: leaving < 1428016352 966583 :^v!~^v@2601:4:680:104c:d82f:db0d:bf07:c6a8 QUIT :Ping timeout: 256 seconds < 1428016363 322966 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1428016420 181968 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net QUIT :Ping timeout: 256 seconds < 1428016421 673882 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no explanation :( https://github.com/ghc/ghc/commit/c0e32a32a3f20a9310e7321a8a96acfe0ef0d0f7 < 1428016493 374344 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and it still exported GHC.Prim too < 1428016546 654617 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They should've just given Constraint a symbolic name like * < 1428016549 538672 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the most "obvious" cause to me is that this affects kind-only identifiers < 1428016557 246852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Then it wouldn't've needed an import. < 1428016585 272687 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which cannot be defined presently iirc < 1428016601 813111 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which is why i wondered about * < 1428016628 427523 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: but then it'd clash with type operators < 1428016636 370157 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Just like * < 1428016648 958005 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes but it'd be a _new_ clash. < 1428016668 900546 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Just give it a name starting with : < 1428016675 346027 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No one would name a type operator that. < 1428016687 255529 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION swats shachaf -----### < 1428016696 468663 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn < 1428016700 856286 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you finally got me < 1428016727 277332 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The letdown is that I've said much more swatworthy things. < 1428016748 862752 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :don't worry, the swatter is reusable. < 1428016762 755852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can it go back in time? < 1428016784 246407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :only if someone adds feather to it < 1428016784 810141 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :editing the codu logs may be an option < 1428016946 381646 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(hmm, a minority report) < 1428017307 113173 :zadock!~zadock@81.180.210.87 JOIN :#esoteric < 1428017888 156030 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net JOIN :#esoteric < 1428018177 234756 :ProofTechnique!~ptech@c-24-147-92-185.hsd1.vt.comcast.net QUIT :Ping timeout: 264 seconds < 1428018359 824192 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Quit: Hug~♪