[00:30:18] Thanks for your assistance this evening... will come later for more questions. :) [01:10:09] *** Quits: jmvanel (~jmvanel@157.0.88.79.rev.sfr.net) (Ping timeout: 250 seconds) [01:13:05] *** Joins: jmvanel (~jmvanel@39.0.88.79.rev.sfr.net) [01:33:13] *** Quits: BobL (02449a83@gateway/web/freenode/ip.2.68.154.131) (Ping timeout: 246 seconds) [02:34:27] All my lincats are of the form Utt = Utt; CN = CN: copied from CatEng, I guess. [02:34:49] *** Quits: crazydiamond (~crazydiam@178.141.72.205) (Remote host closed the connection) [02:35:21] If I just opened CatEng in my Concrete syntax, I wouldn't need to do this? [02:40:10] I do have some of the form, SubordCl = Adv, Title = CN, Place = NP, where I have some functions that do things differently than the RGL mkAdv, [02:40:33] eg Titular : Title -> NP [02:42:31] I wanted to parse "Dee is the first apprentice who ever becomes supervisor before graduation" [02:46:26] But perhaps mkNP would have done that for me, without needing to create a new lincat? [04:11:58] *** Joins: crazydiamond (~crazydiam@178.141.72.235) [07:43:36] *** Joins: vin-ivar (~vinit@122.179.143.17) [08:26:05] *** Quits: crazydiamond (~crazydiam@178.141.72.235) (Remote host closed the connection) [09:27:23] *** Quits: jmvanel (~jmvanel@39.0.88.79.rev.sfr.net) (Read error: Connection reset by peer) [09:57:26] drbean: yes, if your grammar inherits Cat, then you don't need to copy those categories [09:57:29] e.g. this works: [09:57:31] ---- [09:57:34] $ cat Test.gf [09:57:34] abstract Test = Cat ** { [09:57:34] cat MyCat ; [09:57:34] fun MyFun : NP -> MyCat ; [09:57:34] } [09:58:06] ---- [09:58:07] but if I remove the "Cat **", then it of course doesn't work [09:58:45] ooh ok, it also works like this: [09:58:48] abstract Test = open Cat in { [09:59:02] (need to go to class, --->) [10:18:28] *** Joins: vinit-ivar (~vinit@122.179.147.153) [10:19:34] *** Quits: vin-ivar (~vinit@122.179.143.17) (Ping timeout: 272 seconds) [10:46:04] *** vinit-ivar is now known as vin-ivar [11:24:09] *** Quits: vin-ivar (~vinit@122.179.147.153) (Ping timeout: 240 seconds) [11:47:50] *** Joins: vin-ivar (~vinit@122.170.46.87) [11:56:50] *** Joins: jmvanel (~jmvanel@crz75-3-78-193-235-5.fbxo.proxad.net) [13:11:04] *** Quits: spectre (~fran@115.114.202.84.customer.cdi.no) (Ping timeout: 272 seconds) [13:36:27] *** Quits: evariste (~evariste@dhcp2-225004.cs.chalmers.se) (Ping timeout: 250 seconds) [14:11:53] *** Joins: spectre (~fran@dhcp104-ans.wifi.uit.no) [14:43:51] *** Quits: vin-ivar (~vinit@122.170.46.87) (Ping timeout: 244 seconds) [14:57:49] *** Joins: vin-ivar (~vinit@122.179.147.153) [16:42:01] *** Joins: ehrle (82f1dcd9@gateway/web/freenode/ip.130.241.220.217) [16:42:53] hey inari, are you here? :) [16:44:52] i'm having trouble with dowloading gf, because my mac is OS 10.7.5 [16:45:07] i don't want to update it for various reasons [16:46:21] i doqnloaded gf 3.5 manually, but i can only run it from the file (or whatever), so then i don't know how to import files... (i hope i don't sound too stupid here) [17:02:40] i just tried with: pip install gf==3.5 [17:03:07] hey! [17:03:10] ok let's see [17:03:13] the terminal answers: No distributions matching the version for gf==3.5 [17:03:53] å, you're here :) [17:04:06] so you have downloaded the binary for GF 3.5, and you can only run it from the directory where you downloaded it? [17:04:20] if you want to use that, you can add that directory to your environment variable called PATH [17:04:39] e.g. I have these in mine [17:04:40] $ echo $PATH [17:04:40] /usr/texbin:/Users/inari/Library/Haskell/bin:/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin:~/src/corpus_import/annotate/bin:/Users/inari/src/hunpos-1.0-macosx:/Applications/LilyPond.app/Contents/Resources/bin/ [17:05:28] sounds plausible, but where do i do that? [17:06:09] and yes, i can run it from the directory [17:06:22] do you have a file called .bash_profile or .profile or something in your home directory? [17:06:37] just type cd and it will take you there [17:06:39] or cd ~ [17:06:43] and then do ls -la [17:07:34] then add the following line to that file: [17:07:42] export PATH=$PATH:/whatever/path/you/want/to/add [17:08:01] so that should be the directory where you have unpacked your GF binary [17:08:39] e.g. /Users/ehrle/school/GF/gfdownloadstuff/bin/ [17:09:38] (you can find out the directory name by typing pwd) [17:09:46] lets start with the beginning [17:10:00] i have a file called bash_profile [17:10:10] should i open it? [17:10:13] yes [17:10:43] it should be .bash_profile btw [17:11:18] yes, how do i open it? [17:12:07] if you use a graphical editor, it doesn't show in the file list? you can use some command line editor [17:12:10] e.g. nano [17:12:16] so you type nano .bash_profile [17:12:31] then it opens the nano window; Ctrl+O saves and Ctrl+X quits [17:12:50] so, open it with nano, then go and copypaste the line export PATH=$PATH:/whatever/path/you/want/to/add [17:12:59] then save and quit [17:13:42] but i should write the right directory there, right? [17:13:52] yes [17:14:56] are you in that directory in some other tab/window? [17:15:03] if you are there, you can just type pwd in that window [17:15:07] and it will show the directory name [17:16:47] nano .bash_profile [17:16:49] ಠ_ಠ [17:16:51] vim master race [17:17:39] ok, so i put the line in there [17:18:07] but neither Ctrl+O or Ctrl+X works... [17:18:24] oh [17:18:51] there's no need for the uppercase [17:18:58] do you see these things at the bottom? [17:18:59] ^G Get Help ^O WriteOut ^R Read File [17:19:01] and so on [17:19:07] yes [17:19:17] and it doesn't say ^X for exit? [17:20:10] i don't have ^O and ^X [17:20:11] well, you can also do it without actually opening the file :-P echo "export PATH=$PATH:/blahblah" >> .bash_profile [17:20:39] ok what does it say instead? [17:20:50] or you can just close the tab, it doesn't cause any harm [17:20:57] ok [17:21:01] and open a new tab and do the echo thing [17:21:46] ok i did that! [17:21:51] ok cool! [17:21:55] seems to work (no error message) [17:21:58] so you found the right thing [17:22:02] and now just try to run gf? [17:22:05] yeah [17:22:09] go somewhere and jsut type gf [17:22:24] fuck, still same error [17:22:31] Illegal instruction: 4 [17:22:33] paste? [17:22:35] oh [17:22:47] i read somewhere it's the old OS-error [17:23:02] shit shit [17:23:27] have you tried an older version of GF? [17:23:37] older than 3.5? [17:23:55] older than 3.5OS 10.7 [17:24:14] it's supposed to work with macOS 10.7 [17:24:27] this is going to annow me alot [17:24:37] would building GF from source with -mmacosx-version-min help? [17:24:45] you can write gf-dev list and ask there [17:25:03] and yeah also, try building from source [17:25:08] get it from github or darcs [17:25:18] https://github.com/GrammaticalFramework/GF [17:25:21] how do i do that, vin-ivar? i must excuse my complete ignorance here... [17:25:27] so you type git clone https://github.com/GrammaticalFramework/GF.git [17:25:34] to wherever you want to install it [17:25:50] do you have cabal installed? [17:26:27] don't have 'git' [17:26:34] cabal, don't think so [17:26:40] ah yeah and also, you can first try to get it from hackage; you need to install haskell platform and then just do "cabal install gf" [17:26:43] ok [17:26:50] do you have homebrew? [17:26:52] or macports [17:26:57] or whatever the cool kids use these days [17:27:01] i forgot what mac's package manager is [17:27:09] :'( [17:27:11] homebrew Å_Å [17:27:25] or well it's not like native thingy [17:27:41] omg, i don't know what those are ;) not so cool kid [17:27:53] ok [17:27:54] http://brew.sh/ [17:28:23] sorry, there are many things going on at the same time [17:28:31] so: install this! https://www.haskell.org/platform/mac.html [17:28:35] haskell platform [17:28:41] it's just a one-click graphical thing [17:28:53] 10.6 or later [17:29:24] just installed brew, but ok, i'll install this too... [17:29:46] brew is useful to have too, then you can e.g. get git easily [17:29:48] and many other things [17:30:06] but this haskell platform is a requirement for either a) getting GF from hackage or b) compiling GF from source [17:30:13] i'm getting equipped :) [17:30:21] for option b), you need both brew and haskell platform [17:30:24] for a), only haskell platform [17:32:43] vin-ivar: will you be around? I should be leaving [17:32:45] also, it looks like i have to do this: Install the Command Line Tools for Xcode: https://developer.apple.com/downloads [17:32:55] but if ehrle has questions, can you be around and answer? [17:33:17] i'm around for around 10 minutes, will be back half an hour after that [17:33:20] ehrle: hmm yeah maybe, I don't remember anymore [17:33:29] you can try to do cabal install gf [17:33:40] and if it doesn't work, then install the command line tools for xcode [17:33:49] (or just install them anyway, will be useful for many things) [17:34:37] ehrle, did you install git? [17:35:51] i got stuck because i lack those command line tools [17:36:02] now i have to get an apple id and yada yada yada [17:36:11] you can go, i'll be back later tonight [17:36:40] I'm going swimming to delsjön, I don't know when I'll be back [17:37:17] I don't remember if I got those too, I know that now I don't remember my apple id, but maybe I did when I had just gotten this laptop [17:37:27] I imagine you can install most of those command line tools via brew also [17:37:51] you need an ID to download git? [17:38:14] if you download this particular "Command Line Tools for Xcode" thing [17:38:17] from app store [17:38:41] it's mostly just basic stuff like make [17:39:04] i was able to install brew but not haskell [17:39:10] so what can i do with brew? [17:39:29] install different things easily [17:39:33] brew install git [17:39:35] for instance [17:40:10] brew install coreutils [17:40:11] i must have the command line tools first [17:40:17] argh [17:40:18] wtf [17:40:20] ok shit [17:40:22] so i have to go through this apple id-thing [17:40:36] try this https://www.topbug.net/blog/2013/04/14/install-and-use-gnu-command-line-tools-in-mac-os-x/ [17:40:42] I don't honestly remember anymore [17:41:03] sorry i can't be of more help, i'm completely useless at mac, though ._. [17:41:08] ok sorry I must go now, but good luck [17:41:15] the apple id should be easy to create [17:41:19] i'll try help out with installing GF and stuff [17:41:34] or you can google something like installing gnu tools in mac [17:41:38] ---> [17:42:01] nice swimming! [17:42:08] sounds wonderful [17:42:21] i have my id now, soon i'll have the tools... [17:42:55] cool [17:44:44] ehrle: i'm headed out for a run now, i'll be back in around half an hour. ping if you need help :) [17:44:50] oh and i'm around for the rest of the night [17:44:54] thanks [17:45:03] i'll be going home to, so i'll come back later [17:45:18] thank you for helping me in this jungle! [17:45:42] any time! [17:56:01] *** Quits: ehrle (82f1dcd9@gateway/web/freenode/ip.130.241.220.217) (Ping timeout: 246 seconds) [18:00:41] *** Quits: spectre (~fran@dhcp104-ans.wifi.uit.no) (Ping timeout: 250 seconds) [18:31:26] *** Joins: spectre (~fran@115.114.202.84.customer.cdi.no) [19:05:50] *** Quits: drbean (~drbean@124.219.82.46) (Ping timeout: 246 seconds) [19:05:58] *** Joins: drbean_ (~drbean@124.219.83.170) [21:01:47] *** Joins: ehrle (55e444df@gateway/web/freenode/ip.85.228.68.223) [21:02:03] hej... [21:02:22] vin-ivar, are you here? [21:02:49] hi ehrle [21:02:51] yep! [21:02:56] for an hour or so [21:03:05] great, i just got home... [21:03:09] cool :) [21:03:23] installing stuff now? [21:03:41] i log into this channel from the freenode, so all history is erased from earlier [21:03:49] get a real irc client :D [21:03:52] like xchat or irssi [21:03:58] weechat! [21:04:13] it's like irssi but better [21:04:17] this is my BIG-INSTALL day ;) [21:04:25] i'll go get it... [21:04:39] haha, eventually you'll completely move to CLI stuff [21:05:20] but where were we... i was trying to get gf installed properly [21:05:26] yeah [21:05:40] install haskell studio, first [21:05:57] now i have brew, xtools and haskell [21:06:10] s/studio/platform [21:06:18] okay, great [21:06:56] and i installed git [21:07:01] so what next? [21:07:15] now you get the GF sources [21:07:33] how? [21:07:41] sorry, you have to tell me everything... [21:07:54] hang on [21:08:10] git clone https://github.com/GrammaticalFramework/GF.git [21:08:12] ^ [21:08:20] that should make a folder with the GF sources in it [21:08:38] sorry, may take a minute or two to reply [21:08:53] no problem [21:09:21] more like darcs :D [21:10:49] i've never used darcs [21:10:58] how is it different from the others? [21:11:27] it's written in haskell [21:11:45] damn [21:11:49] why have I never used darcs [21:11:51] haha [21:11:54] brb [21:12:01] * vin-ivar installs darcs [21:13:26] haha [21:13:33] ooh, it's patch oriented [21:20:35] ok people [21:20:56] it looks like it got cloned properly [21:21:06] what should i do now? [21:21:07] yay! [21:21:14] now cd there [21:21:17] and run cabal install [21:22:10] how do i know where it is? [21:23:00] it should have cloned in your current directory [21:23:24] ok i got it [21:24:43] so now its downloading pacakges from hackage [21:24:50] but what am i doing exactly? [21:26:26] you're basically building the source code to get all the stuff in the right place and an executable GF [21:26:30] there are some dependencies [21:26:33] for building the code [21:26:37] which is what cabal will install [21:26:49] you're 99% likely to run into problems now :P [21:27:01] great! [21:27:28] ha ha [21:32:57] what kind of trouble? [21:33:14] dependencies refusing to build [21:33:24] ok, so it happened [21:33:52] THUS IT BECOME SO [21:34:22] stopped here: Building gf-3.6.10... [21:35:23] hey! [21:35:28] o. mobile [21:35:32] but good luck [21:35:56] stopped is notnecessarilybad, might just take its time [21:36:54] ok let's see... [21:37:26] i'm just worried now that version 3.6 is not for my OS [21:37:35] that was the problem in the first place :) [21:38:07] damn, i'm actually a bit jealous that you got till there without problems :D [21:38:38] dependencies all give you different luck with different versions of GHC [21:39:26] so, for now, i just wait... [21:39:28] ? [21:39:59] yep [21:43:04] it went through! [21:43:45] \o/ [21:43:45] what does that mean? is it done? [21:43:53] yep [21:43:56] congratulations [21:44:01] now run 'gf [21:44:03] ' [21:44:06] without the quotes [21:44:50] :( [21:44:59] i get the same error like in the very beginning [21:45:07] Illegal instruction: 4 [21:45:26] oh shit :( [21:45:39] good news is that you have installed now lots of other useful stuff [21:45:57] will be useful for many other purposes! [21:46:06] you can email to gf-dev mailing list about it [21:46:27] https://groups.google.com/forum/#!forum/gf-dev [21:47:32] what about trying an earlier version? [21:47:33] * inariksit is googling the error [21:48:00] it might be possible that you can just compile it with some flag [21:48:16] in which case it will work if you compile the sources yourself, but not with the precompiled binaries [21:49:51] oh, that sucks :( [21:53:08] and in newbie-speak? [21:55:39] compilation = when source code turns into a program you can run; from a high-level human-readable language to basically ones and zeroes. this is very low-level, and often differs from computer to computer [21:56:02] so for instance GF, they give pre-compiled binaries for different platforms [21:56:10] you can't run something compiled for windows machine with mac [21:56:27] and apparently, something compiled for mac 10.x with mac 10.y [21:56:39] but then if they just give out the source code, each user can compile it on their own machines [21:56:55] "flag" is some option that you give to the program that compiles the code [21:57:16] so that it knows to do something nonstandard for instance [21:57:55] i guess i'll give up for tonight [21:58:08] drop a mail on the list! [21:58:12] before you go [21:58:15] yeah! please do that [21:58:22] about installing on a macOS 10.7 ? [21:58:30] yeah [21:58:30] ok i will [21:58:30] yes [21:58:46] and what error you got and stuff [21:58:49] thanks for taking me around the bush anyway [21:58:56] no problem :) [21:59:09] sure! :) [21:59:13] i know have lots of useful tools [21:59:58] also the logs will appear here eventually http://www.grammaticalframework.org/irc/freenode_%23gf_20150527.log [22:00:09] jstar has a script that adds them automatically every night [22:00:17] oh, nice [22:00:18] so if you want to refer back to something, you will find it there [22:00:48] btw, inariksit - i'll be arriving on the 12th, sometime in the morning [22:01:02] how about you? [22:01:22] my plane is there at 12 [22:01:30] also on 12th [22:02:08] cool [22:02:20] i'm going to buy my tickets tomorrow [22:02:23] mine's at 10 [22:02:40] will probably also arrive on the 12 [22:02:55] ehrle: just one more thing I asked around and there might be a solution [22:02:56] aaaa [22:02:58] :-D [22:03:02] inariksit, were you thinking about coming to my b/d afterwards ? [22:03:10] it'll be on the w/end of the 24-26th [22:03:49] spectre: I'm going to esslli in barcelona aug 3th-9th, and I thought I'd use the 1.5 weeks after GFSS to find my way to barcelona by ferry/bus/train [22:03:53] and maybe visit italy [22:03:54] flammie is coming :D [22:03:56] or some places [22:04:32] ok [22:04:53] i'm curious, what's the solution :) [22:06:03] try ghc Setup.hs -optc -mmacosx-version-min=10.7 [22:06:38] in the GF main directory, where you have the file Setup.hs [22:08:08] if it doesn't work, add one line to gf.cabal [22:08:14] just a sec I'll find out what [22:08:19] or haha if you want to go, just go [22:08:22] and I'll try it out [22:08:27] because it might not work fast [22:08:29] :-D [22:09:07] i'll try the first thing first? [22:09:35] yeah [22:10:06] ok, it does something [22:10:16] but still, when i type gf [22:10:20] i get the same error [22:10:59] okay [22:11:03] then next thing to try [22:11:06] cabal install --ghc-options="-optc -mmacosx-version-min=10.7" [22:11:13] just type that line to command line [22:11:20] no need to modify the gf.cabal file [22:11:42] (if it doesn't work, just go to sleep, I actually have also a review to do and this is nice procrastination from that :-D) [22:12:38] also this will be slow, so if you're in a hurry, just leave it for tomorrow :) [22:12:39] ok now trying that :) [22:12:53] shit this is too exciting! [22:13:30] it's exciting with a new problem you never encountered before? ;) [22:13:43] yeah, haven't run into this one yet! [22:13:57] I should make a similar thing for mac http://www.grammaticalframework.org/~inari/gf-windows.html [22:14:07] d'oh [22:14:16] same error :( [22:14:33] damn [22:14:39] ok, I'm out of ideas [22:14:46] damn, this is actually getting very interesting [22:14:50] unfixable problems <3 [22:15:08] yes, depressing [22:15:24] but now we should let the dead dog lie [22:15:25] it'll work eventually! [22:15:27] very very eventually [22:15:43] yeah there must be a way, it's not like the most obscure os [22:15:47] virtual machine \o/ [22:15:48] and thomas hallgren has mac himself [22:16:03] oh, mac not windows [22:16:06] so i post a question to the group then [22:16:09] yeah! [22:16:11] yeah should work ™ [22:16:17] windows :S [22:20:45] is the group moderated? i posted but can't see the post? [22:20:54] yeah [22:21:34] if you join the group, then it should work [22:21:34] submit a notarised application in triplicate along with two self-attested photocopies [22:21:42] (only kidding, don't actually do that) [22:21:43] (and of course you want to join it!) [22:21:50] haha vin-ivar [22:21:59] _self_-attested [22:22:06] don't be scared of the name "gf-dev", it's for all kinds of GF questions [22:22:07] such opportunity for fraud [22:22:14] D: [22:22:24] hahaha [22:22:29] ehrle, if it's through the goog interface you might not see your own posts [22:22:32] until someone replies [22:22:35] it's weird like that [22:22:45] I don't see ehrle's message either [22:22:59] ehrle, did you join the group ? [22:23:21] the steps are: [22:23:24] 1) join the group [22:23:28] 2) take off your shoes [22:23:31] 3) post to the group [22:23:35] 4) wait [22:23:45] 5) ??? [22:28:01] ha ha [22:28:08] joined the group [22:28:18] watched some televison [22:28:22] wrote a poem [22:28:28] went to the bathroom [22:28:33] posted a question [22:28:48] sounds like your set [22:29:13] now I see it! [22:29:34] was the poem in a language spoken by under 25 million people? [22:29:47] i didn'y post about very italian pizza, but i wish that was me [22:29:53]