2014-04-02 01:00:19 +0000 <xenocons> code smell
2014-04-02 01:00:33 +0000 <jrmithdobbs> it's an interface point to c# code that i don't control ;p
2014-04-02 01:01:19 +0000 <xenocons> let toEnum : 'a -> IEnumerator
2014-04-02 01:01:30 +0000 <xenocons> (or is it IEnumerable)
2014-04-02 01:01:41 +0000 <xenocons> then you can compose it
2014-04-02 01:02:04 +0000jfojtl(~jfojtl@ip-94-112-229-68.net.upcbroadband.cz)
2014-04-02 01:02:35 +0000 <jrmithdobbs> maybe better (?): type Seq with member toEnum : 'a -> IEnumerator
2014-04-02 01:02:39 +0000 <jrmithdobbs> if i got that syntax right
2014-04-02 01:02:43 +0000 <xenocons> ("str" >> Seq.singleton) >> toEnum or something
2014-04-02 01:02:44 +0000 <xenocons> ah
2014-04-02 01:02:52 +0000 <xenocons> you mean type constraint?
2014-04-02 01:03:09 +0000 <xenocons> or am i misreading
2014-04-02 01:07:15 +0000jfojtl(~jfojtl@ip-94-112-229-68.net.upcbroadband.cz) (Ping timeout: 240 seconds)
2014-04-02 01:12:35 +0000dev__(~jizanthap@46.10.136.240) (Read error: Connection reset by peer)
2014-04-02 01:13:09 +0000dev__(~jizanthap@46.10.136.240)
2014-04-02 01:13:44 +0000dev__(~jizanthap@46.10.136.240) (Read error: Connection reset by peer)
2014-04-02 01:14:20 +0000dev__(~jizanthap@46.10.136.240)
2014-04-02 01:26:50 +0000Scott`(~Scott`@unaffiliated/scott/x-0262700)
2014-04-02 01:38:58 +0000dev__(~jizanthap@46.10.136.240) (Read error: Connection reset by peer)
2014-04-02 01:39:12 +0000qxjit(~qxjit@c-76-108-71-131.hsd1.fl.comcast.net)
2014-04-02 01:39:36 +0000dev__(~jizanthap@46.10.136.240)
2014-04-02 02:58:10 +0000jfojtl(~jfojtl@ip-94-112-229-68.net.upcbroadband.cz)
2014-04-02 02:58:58 +0000Scott``(~Scott`@unaffiliated/scott/x-0262700)
2014-04-02 03:01:32 +0000Scott`(~Scott`@unaffiliated/scott/x-0262700) (Ping timeout: 246 seconds)
2014-04-02 03:02:49 +0000jfojtl(~jfojtl@ip-94-112-229-68.net.upcbroadband.cz) (Ping timeout: 268 seconds)
2014-04-02 03:32:09 +0000qxjit(~qxjit@c-76-108-71-131.hsd1.fl.comcast.net) (Remote host closed the connection)
2014-04-02 03:50:03 +0000sepp2k(~sepp2k@g224145191.adsl.alicedsl.de) (Quit: Leaving.)
2014-04-02 04:00:39 +0000Vandroiy(~FD@unaffiliated/vandroiy)
2014-04-02 04:04:23 +0000VandroiyIII(~FD@unaffiliated/vandroiy) (Ping timeout: 252 seconds)
2014-04-02 04:04:38 +0000Ari-Ugwu(~Ari-Ugwu@c-71-62-213-150.hsd1.va.comcast.net) (Ping timeout: 240 seconds)
2014-04-02 04:10:39 +0000psychicist_(~psychicis@komp414.tvkablowa.com.pl) (Ping timeout: 255 seconds)
2014-04-02 04:13:19 +0000fholm(~fholm@c-d543e555.138-10-64736c10.cust.bredbandsbolaget.se)
2014-04-02 04:16:37 +0000Ari-Ugwu(~Ari-Ugwu@c-71-62-213-150.hsd1.va.comcast.net)
2014-04-02 04:17:53 +0000Ari-Ugwu(~Ari-Ugwu@c-71-62-213-150.hsd1.va.comcast.net) (Read error: Connection reset by peer)
2014-04-02 04:18:11 +0000Ari-Ugwu(~Ari-Ugwu@c-71-62-213-150.hsd1.va.comcast.net)