[00:41:36] *** Quits: kook_ (~sirdancea@236.152.broadband3.iol.cz) (Ping timeout: 276 seconds) [03:31:28] I don't understand how gf handles numerals. [03:32:31] Could the problem with numbers greater than 1,000 be this in Constructors.gf? [03:32:59] -- Some numerals can also be extracted from strings at compile time. [03:33:01] mkNumeral : Str -> Numeral -- thirty-five (given by "35"; range 1-999) [03:33:03] = str2numeral ; --% [03:33:05] } ; --% [03:37:20] I wanted to parse "14". I had: fourteen = mkDet( mkNumeral "14"); [03:38:44] > p -cat=Det "14" [03:38:45] The parser failed at token 1: "14" [03:38:47] 9 msec [03:38:49] > p -cat=Det "fourteen" [03:38:51] fourteen [03:38:53] fourteen [03:38:55] fourteen [03:38:57] fourteen [03:39:36] Oh, well. I will parse "fourteen" instead. [08:11:59] *** Joins: graphtheory (~textual@61.2.21.17) [08:17:07] *** Quits: graphtheory (~textual@61.2.21.17) (Ping timeout: 265 seconds) [09:00:30] *** Joins: kook_ (~sirdancea@236.152.broadband3.iol.cz) [10:03:45] drbean: aha right, so it's not even a bug but a feature [10:03:59] a strange one :-D as if nobody won't want to parse numerals bigger than 999 [10:04:19] though if both Numeral and Str go ultimately in the same category, it won't matter [10:04:22] that much [10:10:10] *** Quits: kook_ (~sirdancea@236.152.broadband3.iol.cz) (Ping timeout: 244 seconds) [10:11:36] *** Joins: kook_ (~sirdancea@85.70.152.236) [11:12:19] *** Quits: kook_ (~sirdancea@85.70.152.236) (Ping timeout: 250 seconds) [12:59:37] *** Joins: sirdancealot (~sirdancea@109.107.211.244) [14:11:27] names [14:17:06] *** Joins: graphtheory (~textual@117.222.197.248) [14:35:48] *** Quits: graphtheory (~textual@117.222.197.248) (Quit: My Mac has gone to sleep. ZZZzzz…) [15:38:08] *** Joins: graphtheory (~textual@117.203.204.17) [16:37:12] *** Quits: graphtheory (~textual@117.203.204.17) (Ping timeout: 240 seconds) [17:35:54] *** Quits: sirdancealot (~sirdancea@109.107.211.244) (Ping timeout: 244 seconds) [19:02:42] *** Joins: sirdancealot (~sirdancea@236.152.broadband3.iol.cz) [19:48:29] *** Quits: sirdancealot (~sirdancea@236.152.broadband3.iol.cz) (Ping timeout: 260 seconds) [19:56:14] *** Joins: arademaker (~user@201.53.44.51) [20:20:03] *** Quits: arademaker (~user@201.53.44.51) (Ping timeout: 240 seconds) [20:23:01] *** Joins: sirdancealot (~sirdancea@109.107.211.244) [20:47:55] *** Joins: arademaker (~user@201.53.44.51) [21:01:04] *** Quits: arademaker (~user@201.53.44.51) (Ping timeout: 255 seconds) [21:16:37] *** Joins: arademaker (~user@201.53.44.51) [21:20:39] *** Joins: arademak` (~user@201.53.44.51) [21:22:53] *** Quits: arademaker (~user@201.53.44.51) (Ping timeout: 250 seconds) [21:24:56] *** Quits: arademak` (~user@201.53.44.51) (Ping timeout: 244 seconds) [21:34:26] *** Joins: arademak` (~user@201.53.44.51) [21:39:12] *** Quits: arademak` (~user@201.53.44.51) (Ping timeout: 240 seconds) [21:47:36] *** Joins: arademak` (~user@201.53.44.51) [22:00:14] *** Quits: arademak` (~user@201.53.44.51) (Ping timeout: 265 seconds)