2016-10-25 22:51:31 +0000 <tibbe> ezyang, but dictionaries of top-level functions
2016-10-25 22:53:17 +0000 <tibbe> also, since my language monomorphizes functions, including those overloaded by type classes, by default using type classes for closures gives us a story for specializing functions called with them
2016-10-25 22:53:59 +0000 <tibbe> which means we can specialize e.g. map without standard inlining, which is otherwise tricky because map is recursive
2016-10-25 22:55:00 +0000 <tibbe> ezyang, a question about unlifted data types, levity and boxedness aren't kinds, but another hierarchy entirely that you use to parameterize the kind * (TYPE) with?
2016-10-25 22:56:05 +0000 <ezyang> Yeah, Richard calls it "levity polymorphism"
2016-10-25 22:56:14 +0000 <ezyang> It's not entirely clear if you actually want this
2016-10-25 23:12:41 +0000osa1_(~omer@50-253-193-254-static.hfc.comcastbusiness.net)
2016-10-25 23:18:17 +0000osa1__(~omer@50-253-193-254-static.hfc.comcastbusiness.net)
2016-10-25 23:18:41 +0000osa1_(~omer@50-253-193-254-static.hfc.comcastbusiness.net) (Ping timeout: 260 seconds)
2016-10-25 23:18:42 +0000 <rwbarton> is there a flag when running the test suite to keep the executable? (for a should_run test)
2016-10-25 23:18:58 +0000 <ezyang> I just copy paste the command line and run it in place
2016-10-25 23:21:09 +0000slentzen(~slentzen@dhcp-5-103-234-61.seas-nve.net)
2016-10-25 23:24:01 +0000 <bgamari> christiaanb, I guess you probably didn't test the Cabal/GHC thing on Windows, eh?
2016-10-25 23:24:36 +0000jfischoff(~jfischoff@pool-108-41-214-28.nycmny.fios.verizon.net)
2016-10-25 23:25:14 +0000ryantrinkle(~ryan@cpe-67-250-60-129.nyc.res.rr.com) (Ping timeout: 256 seconds)
2016-10-25 23:25:19 +0000 <ezyang> We have Appveyor builds on Windows, but it wouldn't have triggered I guess
2016-10-25 23:33:51 +0000 <bgamari> ezyang, I ask due to https://phabricator.haskell.org/harbormaster/build/14512/
2016-10-25 23:35:03 +0000 <ezyang> yeah, sounds like a problem with the dynlibdir patch
2016-10-25 23:39:09 +0000newhoggy(~newhoggy@2405:9000:1400:10:787b:cb06:57e5:7a2e) ()
2016-10-25 23:39:22 +0000roboguy`(~roboguy_@205.59.124.24.cm.sunflower.com)
2016-10-25 23:40:20 +0000newhoggy(~newhoggy@2405:9000:1400:10:75d3:de86:d68:a70e)
2016-10-25 23:43:07 +0000arjanb(~chatzilla@84-245-9-67.dsl.cambrium.nl) (Quit: .)
2016-10-25 23:43:26 +0000jfischoff(~jfischoff@pool-108-41-214-28.nycmny.fios.verizon.net) (Quit: jfischoff)
2016-10-26 00:01:01 +0000geekosaur(allbery@dreamshell.ttuttle.net) (Excess Flood)
2016-10-26 00:01:51 +0000geekosaur(allbery@dreamshell.ttuttle.net)
2016-10-26 00:19:24 +0000CoderPuppy(~cpup@32.218.115.174)
2016-10-26 00:22:37 +0000cpup(~cpup@32.218.118.186) (Ping timeout: 260 seconds)
2016-10-26 00:29:40 +0000dcoutts_(~duncan@82.5.178.99)
2016-10-26 00:31:11 +0000afarmer(~afarmer@199.201.64.133) (Quit: My Mac has gone to sleep. ZZZzzz…)
2016-10-26 00:37:11 +0000copumpkin(~copumpkin@haskell/developer/copumpkin)
2016-10-26 00:42:23 +0000osa1(~omer@haskell/developer/osa1)
2016-10-26 00:43:29 +0000afarmer(~afarmer@199.201.64.137)
2016-10-26 00:43:33 +0000osa1__(~omer@50-253-193-254-static.hfc.comcastbusiness.net) (Ping timeout: 256 seconds)
2016-10-26 00:45:30 +0000afarmer_(~afarmer@199.201.64.4)
2016-10-26 00:47:47 +0000afarmer(~afarmer@199.201.64.137) (Ping timeout: 244 seconds)