[02:06:54] <drbean> Without looking at ExtraEng, lets' just see if Apos :: NP -> Det, Apos np = mkDet (mkQuant NP) is going to work.
[02:07:09] <drbean> No, GenNP np
[02:10:10] <drbean> It works! After remembering to open ExtraEng.
[08:35:46] *** Joins: jmvanel (~jmvanel@123.0.88.79.rev.sfr.net)
[08:47:46] *** Joins: jmv (~jmvanel@123.0.88.79.rev.sfr.net)
[08:50:05] *** Quits: jmvanel (~jmvanel@123.0.88.79.rev.sfr.net) (Ping timeout: 265 seconds)
[08:57:47] *** Quits: spectie (~fran@unaffiliated/spectie) (*.net *.split)
[09:07:47] *** Joins: spectie (~fran@c9CCD00C3.dhcp.as2116.net)
[09:07:48] *** Quits: spectie (~fran@c9CCD00C3.dhcp.as2116.net) (Changing host)
[09:07:48] *** Joins: spectie (~fran@unaffiliated/spectie)
[09:40:21] *** Quits: jmv (~jmvanel@123.0.88.79.rev.sfr.net) (Ping timeout: 264 seconds)
[09:50:39] *** Quits: jonsterling (sid24013@gateway/web/irccloud.com/x-wfwjlxnkzoanvkbi) (Ping timeout: 245 seconds)
[09:52:24] *** Joins: jonsterling (sid24013@gateway/web/irccloud.com/x-geuitovilkbvzjls)
[10:12:56] <inariksit> drbean: yep there's no mkQuant from NP
[10:13:45] <inariksit> you can search here http://www.grammaticalframework.org/lib/doc/browse/ mkQuant (or "-> Quant" for anything that handles Quants as not the first argument)
[10:14:04] <inariksit> or just grep "-> Quant" in the directory with source codes :P that's what I do
[10:14:23] *** Joins: jmvanel (~jmvanel@78.193.21.40)
[10:45:20] *** ChanServ sets mode: +o jstar
[10:45:29] *** ChanServ sets mode: +o inariksit
[12:43:32] *** Quits: evariste (~evariste@2001:4b98:dc0:41:216:3eff:fef8:98d6) (Ping timeout: 265 seconds)
[12:43:33] *** Joins: evariste (~evariste@2001:4b98:dc0:41:216:3eff:fef8:98d6)
[16:51:09] *** Quits: jmvanel (~jmvanel@78.193.21.40) (Ping timeout: 240 seconds)
[17:17:22] <inariksit> hmmh, me and prasanth just asked thomas for a good project idea for advanced functional programming, related to GF
[17:17:28] <inariksit> improving error messages was mentioned
[17:18:04] <inariksit> do you have favourite horrible GF error messages? :D
[17:19:42] <inariksit> I like the one of this format:
[17:19:44] <inariksit> no overload instance of mkPN
[17:19:44] <inariksit>        for
[17:19:44] <inariksit>          Str
[17:19:44] <inariksit>        among
[17:19:47] <inariksit>          Str
[17:19:49] <inariksit>          Str Gender
[17:19:52] <inariksit>          Str Str Gender
[17:19:54] <inariksit>        with value type {s : Str} -> PN
[17:20:41] <inariksit> well it's another question how much we can really do, the task should be small enough, and not require going through all GF source :P
[19:50:46] *** Joins: tabacco (~tabacco@193.106.31.55)
[20:12:22] *** Joins: myoriel (~Myoriel@2001:a60:1667:4901:f5ec:a419:7736:d360)
[20:28:07] *** Quits: myoriel (~Myoriel@2001:a60:1667:4901:f5ec:a419:7736:d360) (Ping timeout: 245 seconds)
[20:43:34] *** Quits: tabacco (~tabacco@193.106.31.55) (Read error: Connection reset by peer)
[20:48:15] *** Joins: myoriel (~Myoriel@aftr-88-217-181-29.dynamic.mnet-online.de)
[21:39:32] *** Quits: myoriel (~Myoriel@aftr-88-217-181-29.dynamic.mnet-online.de) (Ping timeout: 240 seconds)
[21:46:40] *** Joins: myoriel (~Myoriel@2001:a60:1667:4901:f5ec:a419:7736:d360)
[22:11:52] *** Quits: myoriel (~Myoriel@2001:a60:1667:4901:f5ec:a419:7736:d360) (Ping timeout: 245 seconds)
[22:21:28] *** Joins: mannanov (~mannanov@91.207.116.171)
[23:51:06] *** Quits: mannanov (~mannanov@91.207.116.171) (Ping timeout: 264 seconds)