[00:58:50] *** Quits: wmacmil (~wmacmil@83-233-165-97.cust.bredband2.com) (Quit: Leaving)
[13:04:21] *** Joins: A282-Guest (~A282-Gues@103.241.226.94)
[13:04:32] <A282-Guest> Hello
[13:05:10] *** Quits: A282-Guest (~A282-Gues@103.241.226.94) (Client Quit)
[14:45:28] *** Joins: wmacmil (~wmacmil@83-233-165-97.cust.bredband2.com)
[14:46:00] <wmacmil> will someone please explain how the :forall a . tree a" with pgf works
[14:46:58] <wmacmil> like when i have the following :
[14:46:59] <wmacmil> flattenOuter  :: forall a . Tree a -> Tree a
[14:46:59] <wmacmil> flattenOuter (GListCommands xs) = _ -- GListCommand (fmap flattenOuter xs) 
[14:47:07] <wmacmil> i get the following
[14:47:08] <wmacmil>     • Found hole: _ :: Tree GCommands_
[14:49:21] <wmacmil> i get the error with the following
[14:49:21] <wmacmil> flattenOuter  :: forall a . Tree a -> Tree a
[14:49:21] <wmacmil> flattenOuter (GListCommands xs) = GGo -- GListCommand (fmap flattenOuter xs)
[14:49:21] <wmacmil> flattenOuter GGo = GGo
[14:49:21] <wmacmil> flattenOuter x = x
[14:49:45] <wmacmil>     • Couldn't match type ‘GAction_’ with ‘GListCommands_’
[14:49:45] <wmacmil>       Expected type: Tree a
[14:49:45] <wmacmil>         Actual type: Tree GAction_
[14:51:04] <wmacmil> yet this seems to work for other times ive used pgf, and i have no idea where in the pipeline of running my make file on pgf, i get this error
[14:51:17] <wmacmil> because things with this polymorphic tree type in my old code seem to work
[15:03:28] <wmacmil> also, how does the composeop with almost compositional functions get imported
[17:09:43] <wmacmil> so I'm realizing that maybe this is just an ill-typed function
[17:58:26] *** Quits: wmacmil (~wmacmil@83-233-165-97.cust.bredband2.com) (Remote host closed the connection)
[17:58:50] *** Joins: wmacmil (~wmacmil@83-233-165-97.cust.bredband2.com)
[18:00:26] *** Quits: wmacmil (~wmacmil@83-233-165-97.cust.bredband2.com) (Remote host closed the connection)
[18:01:11] *** Joins: wmacmil (~wmacmil@83-233-165-97.cust.bredband2.com)
[18:02:01] *** Quits: wmacmil (~wmacmil@83-233-165-97.cust.bredband2.com) (Remote host closed the connection)
[20:02:26] *** Joins: Lycurgus (~juan@98.4.112.204)
[22:18:24] *** Quits: Lycurgus (~juan@98.4.112.204) (Quit: Exeunt)