[00:06:28] At this point, with my abstract and concrete syntax modules pretty stable, the export to haskell is not changing much. [00:06:56] It's my other modules which are changing. [00:17:34] But making the GF datatype an instance of Eq in my other modules gives me a chance to write basic haskell typeclass code myself, which is appealing. [00:17:42] *** Quits: myoriel (~Myoriel@aftr-88-217-180-154.dynamic.mnet-online.de) (Ping timeout: 246 seconds) [00:18:53] I thought that declaring a GF datatype an instance of Eq would have to happen closer to where the datatype was defined, but apparently this is not the case. [02:44:03] *** Joins: jmvanel (~jmvanel@141.201.139.88.rev.sfr.net) [08:00:44] *** Joins: myoriel (~Myoriel@aftr-88-217-180-143.dynamic.mnet-online.de) [08:44:13] *** Quits: myoriel (~Myoriel@aftr-88-217-180-143.dynamic.mnet-online.de) (Ping timeout: 255 seconds) [09:07:27] *** Joins: spectie (~fran@unaffiliated/spectie) [09:21:20] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 260 seconds) [09:39:34] *** Quits: jmvanel (~jmvanel@141.201.139.88.rev.sfr.net) (Remote host closed the connection) [10:00:23] *** Joins: spectie (~fran@dhcp621-ans.wifi.uit.no) [10:00:36] *** Quits: spectie (~fran@dhcp621-ans.wifi.uit.no) (Changing host) [10:00:36] *** Joins: spectie (~fran@unaffiliated/spectie) [16:14:40] *** Quits: spectie (~fran@unaffiliated/spectie) (Ping timeout: 255 seconds) [19:30:02] *** Joins: myoriel (~Myoriel@aftr-88-217-180-143.dynamic.mnet-online.de) [21:49:59] *** Quits: myoriel (~Myoriel@aftr-88-217-180-143.dynamic.mnet-online.de) (Ping timeout: 272 seconds)