[08:56:50] *** Joins: shadowdaemon (shadowdaem@gateway/shell/anapnea.net/x-vhvuubiwkuggzihy) [09:33:46] When I try to import grammar files I sometimes run into a problem, gf starts using heaps of memory. [09:34:21] Same thing happens when I pass -make on the cmdline. [09:34:41] Some grammar files are fine though. [09:35:02] Any ideas? [09:36:50] Grammatical Framework (GF) version 3.5 [09:36:50] No detailed version info available [09:36:51] Built on linux/x86_64 with ghc-7.6, flags: interrupt server new-comp [09:37:14] Distro is Gentoo, gf has been built from source. [09:48:13] Yeah, that's normal, some grammars just are that slow. You can use +RTS -K -RTS to give it more memory [09:48:43] gf +RTS -K100M -RTS ParseFin.gf [10:13:59] inariksit: Okay thanks, so just let it do its thing then. [11:02:04] shadowdaemon: if you are only interested in type-checking a grammar without loading it into the shell, you can try the --batch and --no-pmcfg flags [11:06:15] jstar: I just tried -> gf --verbose=2 --no-pmcfg --new-comp -make --optimize=none -f haskell /usr/share/gf-3.5/ghc-7.6.3/lib/alltenses/AllIta.gfo +RTS -K100M [11:06:36] but --make will override --no-pmcfg [11:06:38] It gets to "+ SlashV2VNP 70778880" and then starts eating RAM. [11:06:47] Ah okay. [11:07:24] yes, some resource grammars pretty much cannot be compiled/linked in one go [11:07:33] it's just a fact of life [11:07:58] note that this isn't an issue when you are compiling an application grammar which imports something from the resoure grammar [11:08:06] which is the intended use for resource grammars [11:15:08] Which grammar files should I be using if I wanted to try making a translator, for instance? [11:15:27] Or just generally futzing around. [11:17:32] the API of a resource grammar is accessed from the modules SyntaxXXX and ParadigmsXXX... i.e. you import these into your own grammar [11:20:33] Ah I see, I've got more reading to do. [11:37:38] *** ChanServ sets mode: +o jstar [15:15:14] *** Joins: sergeist (~sergeist@193.105.154.52) [15:28:50] *** Quits: sergeist (~sergeist@193.105.154.52) (Ping timeout: 260 seconds) [16:06:55] *** Quits: inariksit (~inari@ksit.fixme.fi) (Remote host closed the connection) [16:07:01] *** Joins: inariksit (~inari@ksit.fixme.fi) [16:43:28] *** Joins: jstar- (~jstar@77.235.50.85) [16:46:41] *** Quits: jstar (~jstar@unaffiliated/jstar) (Ping timeout: 248 seconds) [16:46:41] *** jstar- is now known as jstar [17:10:08] *** Quits: drbean (~drbean@113.196.171.151) (*.net *.split) [17:13:03] *** Joins: drbean (~drbean@113.196.171.151) [17:19:40] *** Quits: inariksit (~inari@ksit.fixme.fi) (Ping timeout: 264 seconds) [17:25:46] *** Joins: inariksit (~inari@ksit.fixme.fi) [19:50:52] *** Joins: sabaka (~sabaka@91.210.101.9) [19:55:18] *** Quits: sabaka (~sabaka@91.210.101.9) (Remote host closed the connection) [20:34:34] *** Joins: myoriel (~Myoriel@aftr-88-217-181-219.dynamic.mnet-online.de) [20:41:07] *** Quits: myoriel (~Myoriel@aftr-88-217-181-219.dynamic.mnet-online.de) (Ping timeout: 252 seconds) [21:41:19] *** ChanServ sets mode: +o jstar