[09:57:25] *** Joins: spectre (~fran@dhcp-ext-225043.eduroam.chalmers.se) [09:57:44] *** Quits: spectre (~fran@dhcp-ext-225043.eduroam.chalmers.se) (Remote host closed the connection) [09:58:12] *** Joins: spectei (~fran@unaffiliated/spectie) [10:13:34] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 250 seconds) [10:30:55] *** Joins: spectei (~fran@unaffiliated/spectie) [10:49:45] *** Joins: jmvanel (~jmvanel@78.193.21.40) [11:13:35] jstar, [11:13:42] can you msg me [11:13:46] your gmail email addr ? [11:13:47] hello [11:14:03] johnjcamilleri at gmail [11:14:18] ok, i added you [11:55:48] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 256 seconds) [14:07:51] *** Joins: worldsayshi (~per.frede@h-5-150-197-146.na.cust.bahnhof.se) [14:16:32] *** Joins: spectei (~fran@unaffiliated/spectie) [14:18:10] Hello GF:ers. I’m working on a GF grammar where I want to parse symbols (Symb) with whitespace in them. Is this possible somehow? For example, abs grammar: [startcat = Test; fun TestF : Symb -> Test;] and concrete: [lincat Test = { s : Str } ; lin TestF s = s ;]. With this grammar [parse “hello”] will pass but [parse “hello world”] will fail with [The parser failed at token "bar”] [14:21:27] *** Joins: spectre (~fran@sammakko.kvi.sgsnet.se) [14:21:41] *** Quits: spectei (~fran@unaffiliated/spectie) (Read error: Connection reset by peer) [17:11:37] *** Quits: worldsayshi (~per.frede@h-5-150-197-146.na.cust.bahnhof.se) (Quit: worldsayshi) [17:15:11] *** Joins: worldsayshi (~per.frede@h-5-150-197-146.na.cust.bahnhof.se) [17:26:49] *** Quits: worldsayshi (~per.frede@h-5-150-197-146.na.cust.bahnhof.se) (Quit: worldsayshi) [18:58:46] *** Quits: jmvanel (~jmvanel@78.193.21.40) (Quit: Quitte) [19:49:57] *** Joins: Eidel_ (~eidel@c83-249-241-114.bredband.comhem.se) [19:52:57] *** Quits: Eidel (~eidel@c83-249-241-114.bredband.comhem.se) (Ping timeout: 240 seconds) [21:12:00] *** Joins: worldsayshi (~per.frede@c-40fc71d5.028-103-67626724.cust.bredbandsbolaget.se) [21:22:01] *** Quits: worldsayshi (~per.frede@c-40fc71d5.028-103-67626724.cust.bredbandsbolaget.se) (Quit: worldsayshi) [21:37:25] *** Joins: worldsayshi (~per.frede@c-40fc71d5.028-103-67626724.cust.bredbandsbolaget.se) [23:04:19] *** Joins: evariste1 (~evariste@dhcp2-225004.cs.chalmers.se) [23:05:37] *** Quits: evariste (~evariste@dhcp2-225004.cs.chalmers.se) (Ping timeout: 240 seconds) [23:43:46] *** Quits: worldsayshi (~per.frede@c-40fc71d5.028-103-67626724.cust.bredbandsbolaget.se) (Quit: worldsayshi) [23:46:38] *** Joins: worldsayshi (~per.frede@c-40fc71d5.028-103-67626724.cust.bredbandsbolaget.se) [23:53:54] *** Quits: worldsayshi (~per.frede@c-40fc71d5.028-103-67626724.cust.bredbandsbolaget.se) (Quit: worldsayshi)