[10:06:34] *** Joins: atoll (~atoll@crossing1.epfl.ch) [11:53:26] Hello what is the common way to inspect the grammatical framework execution with the haskell runtime ? usually I use println but with the use of monad and all it seems complicated. I just want to read the content of the parsing of a PGF file [11:54:11] here it would be abstract pgf but it seems PGF record is "private" [11:54:35] Basically i just want to print pgf but pgf isn't showable :< [11:56:27] any idea jstar ? [11:57:33] instance Show PGF and print pgf return stack overflow :< [12:08:01] hi atoll! I've never tried to print the entire PGF from the Haskell API. I guess that's not really a common thing to do [12:08:17] are you interested in seeing the structure of the PGF representation? [12:08:50] Basically I'm trying to understand why litterals doesn't work with jpgf. I'm trying to see if jpgf parse pgf file as well as the haskell runtime [12:09:18] Do you know what equations are used for exactly ? [12:10:16] basically my boss asked me to solve it, but i lack a lot of things to be able to :D [12:12:18] I thought that equations weren't good in jpgf but it seems they aren't what i thought they were [12:13:35] I see.. unfortunately I don't know too much about the PGF format itself. Your best reference is Krasimir's PhD thesis and the source code itself [12:14:18] You could try contacting the author of the JPGF; it's not maintained anymore but he might give you some pointers [12:18:06] Do you know what equations are ? [12:18:14] or at least their purpose [12:25:31] in the Haskell PGF library? let me have a look [12:39:01] well, just by reading through the comments in Expr.hs it would seem that Equations are used in pattern matching [12:40:14] I agree but i have no idea if pattern matching is used directly in the step of parsing or if it's something else [12:41:08] http://www.grammaticalframework.org/doc/gf-refman.html#patternmatching [12:41:09] My guess it that it let us able to filter through concrete stuff but it's a wild guess [12:53:18] if ever gdetrez come here because i have invited him to chat here, i'm out for lunch [13:06:46] *** Quits: atoll (~atoll@crossing1.epfl.ch) (Ping timeout: 246 seconds) [13:14:41] *** Joins: atoll (~atoll@crossing1.epfl.ch) [15:59:48] *** Quits: atoll (~atoll@crossing1.epfl.ch) (Ping timeout: 276 seconds) [17:28:43] *** Joins: atoll (~atoll@crossing1.epfl.ch) [20:26:04] *** Quits: atoll (~atoll@crossing1.epfl.ch) (Ping timeout: 268 seconds) [22:14:34] *** Joins: atoll (~atoll@194-29-25-170.static.cablecom.ch) [22:19:31] *** Quits: atoll (~atoll@194-29-25-170.static.cablecom.ch) (Ping timeout: 240 seconds) [22:21:21] *** Joins: atoll (~atoll@194-29-25-170.static.cablecom.ch) [23:27:58] *** Quits: atoll (~atoll@194-29-25-170.static.cablecom.ch) (Ping timeout: 268 seconds)