[03:50:52] *** Quits: drbean (~drbean@TC210-63-209-160.static.apol.com.tw) (Ping timeout: 256 seconds) [05:32:59] *** Joins: drbean (~drbean@TC210-63-209-55.static.apol.com.tw) [07:43:45] *** Quits: proteus-guy (~proteusgu@180.183.40.107) (Ping timeout: 248 seconds) [07:44:01] *** Joins: proteus-guy (~proteusgu@14.207.173.102) [08:34:27] *** Quits: proteus-guy (~proteusgu@14.207.173.102) (Ping timeout: 256 seconds) [08:42:32] *** Joins: proteus-guy (~proteusgu@180.183.49.148) [09:42:36] *** Quits: proteusguy (~proteus-g@cm-134-196-84-54.revip18.asianet.co.th) (Remote host closed the connection) [10:15:11] *** Joins: proteusguy (~proteus-g@180.183.47.52) [10:41:56] *** Quits: proteusguy (~proteus-g@180.183.47.52) (Remote host closed the connection) [10:56:02] *** Joins: proteusguy (~proteus-g@180.183.49.148) [10:57:33] *** Quits: proteusguy (~proteus-g@180.183.49.148) (Remote host closed the connection) [10:59:09] *** Joins: proteusguy (~proteus-g@180.183.49.148) [11:03:00] *** Quits: proteusguy (~proteus-g@180.183.49.148) (Remote host closed the connection) [11:04:18] *** Joins: proteusguy (~proteus-g@180.183.49.148) [14:06:02] *** Quits: proteusguy (~proteus-g@180.183.49.148) (Remote host closed the connection) [14:37:17] *** Joins: proteusguy (~proteus-g@cm-134-196-84-118.revip18.asianet.co.th) [14:59:22] Isn't ++ also not allowed in pattern matching in haskell? [15:00:58] You have to do 'p' : 'r' : 'e' : "fix", I thought. [15:01:14] Not "pre" ++ "fix" [16:09:16] in mkPass, the pattern matching is done with + [16:09:50] or do you mean that there's pattern matching in cc vars "oi" "tchau" ++ [] and cc vars "oi" "tchau" + []? [16:10:13] in any case, there's nothing before the string vars "oi" "tchau", only after [16:32:42] wow I did't even realise you said haskell and not GF :-D [16:33:00] and yeah ++ isn't allowed in pattern matching [16:36:18] there is some pattern synonym stuff like in here http://hackage.haskell.org/package/containers-0.5.11.0/docs/Data-Sequence.html -- the <| and |> are actually functions and not constructors [16:36:23] I don't really know how it works [19:44:04] *** Joins: e3928a3bc (c9279318@gateway/web/freenode/ip.201.39.147.24) [21:01:04] *** Joins: drbean_ (~drbean@TC210-63-209-28.static.apol.com.tw) [21:02:30] *** Quits: drbean (~drbean@TC210-63-209-55.static.apol.com.tw) (Read error: Connection reset by peer)