2016-10-25 19:03:12 +0000 <osa1> ahh I see
2016-10-25 19:03:14 +0000 <osa1> OK sure yeah
2016-10-25 19:14:06 +0000jfischoff(~jfischoff@38.105.236.201) (Quit: jfischoff)
2016-10-25 19:17:04 +0000mrBliss(~mrBliss@d51A49BA5.access.telenet.be) (Ping timeout: 260 seconds)
2016-10-25 19:21:36 +0000dredozubov_dredozubov
2016-10-25 19:22:02 +0000mrBliss(~mrBliss@d51a49ba5.access.telenet.be)
2016-10-25 19:23:18 +0000RyanGlScott(~chatzilla@2001:18e8:2:10f1:f000::6cc) (Quit: ChatZilla 0.9.92 [Firefox 49.0/20160919213721])
2016-10-25 19:23:55 +0000tjakway(~tjakway@209.95.50.69)
2016-10-25 19:41:31 +0000Cale(~cale@2607:fea8:98e0:54c:f8e6:1c84:3d38:a486) (Ping timeout: 256 seconds)
2016-10-25 19:42:32 +0000tjakway(~tjakway@209.95.50.69) (Ping timeout: 256 seconds)
2016-10-25 19:45:07 +0000tibbe_(~tibbe@124-149-74-238.dyn.iinet.net.au)
2016-10-25 19:52:18 +0000Cale(~cale@99.234.147.111)
2016-10-25 19:55:29 +0000vili_(~nick@cpe-173-91-55-5.neo.res.rr.com) (Remote host closed the connection)
2016-10-25 19:56:00 +0000conal(~conal@104.255.240.10) (Quit: Computer has gone to sleep.)
2016-10-25 19:56:00 +0000jfischoff_(~jfischoff@pool-108-41-214-28.nycmny.fios.verizon.net)
2016-10-25 19:57:01 +0000conal(~conal@104.255.240.10)
2016-10-25 19:57:46 +0000tjakway(~tjakway@cpe-68-173-22-111.nyc.res.rr.com)
2016-10-25 20:07:00 +0000ryantrinkle(~ryan@cpe-67-250-60-129.nyc.res.rr.com)
2016-10-25 20:11:05 +0000newhoggy(~newhoggy@ppp121-45-184-142.bras1.syd2.internode.on.net)
2016-10-25 20:11:46 +0000Cale(~cale@99.234.147.111) (Read error: Connection reset by peer)
2016-10-25 20:14:10 +0000raichoo(~raichoo@mue-88-130-63-200.dsl.tropolys.de) (Quit: Leaving.)
2016-10-25 20:20:25 +0000rbocquet(~rbocquet@2001:41d0:52:a00::edf) (Ping timeout: 260 seconds)
2016-10-25 20:20:27 +0000 <ryantrinkle> is there a way to generate a specialization from within a plugin?
2016-10-25 20:21:11 +0000 <ryantrinkle> i'm hoping to write a plugin pass that specializes every function with a given typeclass to a particular instance of it
2016-10-25 20:22:18 +0000 <ryantrinkle> (i.e., wherever we have x :: forall a. C a => X a, generate the equivalent of {-# SPECIALIZE x :: X Blah #-}
2016-10-25 20:22:20 +0000 <ryantrinkle> )
2016-10-25 20:22:22 +0000 <mpickering> Does GHC not does this for you anyway?
2016-10-25 20:22:55 +0000 <ryantrinkle> mpickering: no, it doesn't seem to do it enough
2016-10-25 20:23:15 +0000 <ryantrinkle> the use case i've got is that Reflex t is nearly always used as Reflex Spider
2016-10-25 20:23:23 +0000 <ryantrinkle> but it's always written polymorphically
2016-10-25 20:23:24 +0000 <mpickering> Do you have an example where it fails to specialise?
2016-10-25 20:23:33 +0000rbocquet(~rbocquet@2001:41d0:52:a00::edf)
2016-10-25 20:23:33 +0000 <ezyang> ryantrinkle: Clearly, you should wait til Backpack shows up ;)
2016-10-25 20:23:49 +0000 <ryantrinkle> ezyang: if only i could tell my clients that :P
2016-10-25 20:24:03 +0000 <ryantrinkle> mpickering: well, large functions across module boundaries don't seem to do very well