[03:14:47] *** Joins: drbean (~drbean@TC210-63-209-167.static.apol.com.tw) [04:07:50] *** Quits: drbean (~drbean@TC210-63-209-167.static.apol.com.tw) (Read error: Connection reset by peer) [04:09:38] *** Joins: drbean (~drbean@TC210-63-209-174.static.apol.com.tw) [04:38:45] *** Quits: drbean (~drbean@TC210-63-209-174.static.apol.com.tw) (Read error: Connection reset by peer) [04:40:39] *** Joins: drbean (~drbean@TC210-63-209-182.static.apol.com.tw) [06:40:01] *** Quits: drbean (~drbean@TC210-63-209-182.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) [16:03:31] *** Joins: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) [16:04:18] how does one rectify, when working with the pgf api, the difference between lists as specified by the GF abstract syntax and those that get generated as haskell lists [16:04:42] i.e. i'm getting the following error [16:04:43] -- >>> foo = fg $ treeS345 :: GListProp [16:04:43] -- >>> bar' = gf $ getPreds foo [16:04:43] -- :763:23-25: error: [16:04:43] -- • Couldn't match type ‘Tree GListProp_’ with ‘[GProp]’ [16:04:43] -- Expected type: [GProp] [16:04:45] -- Actual type: GListProp [16:07:07] dunno if this is relevant, but heres the code from the pgf file [16:07:08] instance Gf GListProp where [16:07:08] gf (GListProp [x1,x2]) = mkApp (mkCId "BaseProp") [gf x1, gf x2] [16:07:08] gf (GListProp (x:xs)) = mkApp (mkCId "ConsProp") [gf x, gf (GListProp xs)] [16:07:08] fg t = [16:07:08] GListProp (fgs t) where [16:07:10] fgs t = case unApp t of [16:07:12] Just (i,[x1,x2]) | i == mkCId "BaseProp" -> [fg x1, fg x2] [16:07:14] Just (i,[x1,x2]) | i == mkCId "ConsProp" -> fg x1 : fgs x2 [16:08:30] or how does one convert a GListProp to a [GProp] [16:29:19] *** Joins: Lycurgus (~niemand@98.4.116.165) [16:37:24] also, i dont even know how to generate List*'s at all actually [16:37:36] like if i run the following i get this metavariable unsolved [16:37:37] gr -tr (ConsProp ? ?) | l | p -cat=ListProp [16:37:37] ConsProp (PUnivs (BaseVar (VString "Foo")) Point (PAtom (APred1 Horizontal (IInt 999)))) (BaseProp (PAtom (APred2 Parallel (IExist Line) (IExist Line))) (PNegAtom (APred2 Parallel (IUniv Point) (IInt 999)))) [16:37:37] ConsProp (PUnivs (BaseVar (VString "Foo")) Point (PAtom (APred1 Horizontal (IInt 999)))) (BaseProp (PAtom (APred1 (PartPred Parallel (IExist Line)) (IExist Line))) ?19) [16:38:12] the ?19 at the end (a bunch of other parses not shown with the same problem) [17:28:11] *** Quits: Lycurgus (~niemand@98.4.116.165) (Quit: Exeunt) [21:48:00] *** Quits: wmacmil (~wmacmil@c83-252-138-144.bredband.comhem.se) (Ping timeout: 256 seconds)