[01:27:58] *** Quits: drbean (~drbean@TC210-63-209-62.static.apol.com.tw) (Ping timeout: 268 seconds)
[01:28:50] *** Joins: drbean (~drbean@TC210-63-209-20.static.apol.com.tw)
[03:15:53] *** Quits: proteus-guy (~proteus-l@cm-58-10-154-116.revip7.asianet.co.th) (Ping timeout: 268 seconds)
[03:27:41] *** Joins: proteus-guy (~proteus-l@cm-58-10-154-116.revip7.asianet.co.th)
[03:37:53] *** Quits: proteus-guy (~proteus-l@cm-58-10-154-116.revip7.asianet.co.th) (Ping timeout: 272 seconds)
[05:36:53] *** Quits: proteusguy (~proteusgu@cm-58-10-154-116.revip7.asianet.co.th) (Ping timeout: 260 seconds)
[05:49:20] *** Joins: proteusguy (~proteusgu@cm-58-10-154-116.revip7.asianet.co.th)
[09:10:11] *** Joins: drbean_ (~drbean@TC210-63-209-51.static.apol.com.tw)
[09:10:23] *** Quits: drbean (~drbean@TC210-63-209-20.static.apol.com.tw) (Ping timeout: 260 seconds)
[13:55:23] *** Joins: wmacmil (~wmacmil@185.224.57.161)
[13:56:51] *** Quits: wmacmil (~wmacmil@185.224.57.161) (Remote host closed the connection)
[13:57:15] *** Joins: wmacmil (~wmacmil@185.224.57.161)
[13:58:59] <wmacmil> hej.  installed a new OS, i'm trying to use the GF rgl, but am getting the following error
[13:59:27] <wmacmil> File Prelude.gf does not exist.
[13:59:28] <wmacmil> searched in: ./
[13:59:28] <wmacmil> Languages:
[13:59:28] <wmacmil> > File Prelude.gf does not exist.
[13:59:28] <wmacmil> command not parsed: File Prelude.gf does not exist.
[13:59:28] <wmacmil> 1 msec
[14:00:05] <wmacmil> when i try to open any of the Framework[Lang]*
[14:00:12] <wmacmil> on https://github.com/GrammaticalFramework/gf-contrib/tree/master/homotopy-typetheory
[14:02:56] <wmacmil> i've added GF_LIB_PATH=$HOME/programming/gf-rgl/dist:$PATH
[14:02:56] <wmacmil>  
[14:03:00] <wmacmil> to my .bashrc
[14:03:15] <wmacmil> the directory where it's installed
[14:04:38] <wmacmil> do I have to add something else to my path?  or change the directory?
[14:04:41] <wmacmil> wmacmil@w:~/programming/gf-rgl$ find . -name Prelude.gf
[14:04:41] <wmacmil> ./src/prelude/Prelude.gf
[14:16:47] <inariksit> no, you only need GF_LIB_PATH
[14:17:29] <inariksit> did you compile the RGL from source?
[14:18:01] <inariksit> or well, it doesn't really matter how you get it (compile the .gf files or get precompiled .gfo files), as long as you have the environment variable GF_LIB_PATH set!
[14:18:57] <wmacmil> i just cloned it at ran make install
[14:20:54] <wmacmil> why doesn't it recognize Prelude?  is this a problem with my installation/compiliation or with the .bashrc?
[14:23:58] <wmacmil> wmacmil@w:~$ echo $GF_LIB_PATH
[14:24:11] <wmacmil> wmacmil@w:~$ echo $GF_LIB_PATH
[14:24:14] <inariksit> GF_LIB_PATH should point to the directory where the compiled .gfo files are
[14:25:17] <wmacmil>  home/wmacmil/programming/gf-rgl/dist:/home/wmacmil/.cabal/bin:/home/wmacmil/.cabal/bin:*
[14:25:20] <inariksit> gf-rgl % make
[14:25:20] <inariksit> stack runghc Setup.hs build
[14:25:20] <inariksit> Building [Prelude]
[14:25:20] <inariksit> Building [Present]
[14:25:20] <inariksit> Building [AllTenses]
[14:25:20] <inariksit> stack runghc Setup.hs copy
[14:25:21] <inariksit> Copying [Prelude] /Users/inari/work/GF/gf-core/.stack-work/install/x86_64-osx/eba2bfc6d5a44bdfc97d07f36908bd11f9f093a0a68d5123d58d85b7f931a5b9/8.2.2/share/x86_64-osx-ghc-8.2.2/gf-3.10.3/lib/prelude
[14:25:21] <inariksit> Copying [Present] /Users/inari/work/GF/gf-core/.stack-work/install/x86_64-osx/eba2bfc6d5a44bdfc97d07f36908bd11f9f093a0a68d5123d58d85b7f931a5b9/8.2.2/share/x86_64-osx-ghc-8.2.2/gf-3.10.3/lib/present
[14:25:22] <inariksit> Copying [AllTenses] /Users/inari/work/GF/gf-core/.stack-work/install/x86_64-osx/eba2bfc6d5a44bdfc97d07f36908bd11f9f093a0a68d5123d58d85b7f931a5b9/8.2.2/share/x86_64-osx-ghc-8.2.2/gf-3.10.3/lib/alltenses
[14:27:31] <inariksit> does it look similar when you run make in the gf-rgl directory?
[14:27:37] <inariksit> does it show where the files are going?
[14:28:45] <wmacmil> wmacmil@w:~/programming/gf-rgl$ make
[14:28:45] <wmacmil> runghc Setup.hs build
[14:28:45] <wmacmil> Building [Prelude]
[14:28:45] <wmacmil> Building [Present]
[14:28:45] <wmacmil> Building [AllTenses]
[14:28:46] <wmacmil> runghc Setup.hs copy
[14:28:48] <wmacmil> Unable to determine where to install the RGL. Please do one of the following:
[14:28:50] <wmacmil>  - Pass the --dest=... flag to this script
[14:28:54] <wmacmil>  - Set the GF_LIB_PATH environment variable
[14:28:56] <wmacmil>  - Compile & install GF from the gf-core repository (must be in same directory as gf-rgl)
[14:28:58] <wmacmil> Makefile:13: recipe for target 'copy' failed
[14:29:00] <wmacmil> make: *** [copy] Error 1
[14:29:08] <inariksit> okay
[14:29:54] <inariksit> did you just put the GF_LIB_PATH into .bashrc, or also write "export GF_LIB_PATH=..."?
[14:29:54] <wmacmil> I was just with Aarne, and this is what he said to do
[14:29:55] <wmacmil>   438  export GF_LIB_PATH=`pwd`/dist
[14:29:55] <wmacmil>   439  make install
[14:29:55] <wmacmil>   440  ls -l dist/alltenses
[14:29:55] <wmacmil>   441  echo $GF_LIB_PATH
[14:29:58] <inariksit> or start a new terminal
[14:30:06] <wmacmil> which I had done
[14:30:41] <wmacmil> I started a new terminal
[14:30:53] <wmacmil> and ran make again and still, same error
[14:31:46] <inariksit> can you try with a full path?
[14:31:53] <inariksit> like /users/whatever/blah/dist
[14:33:48] <wmacmil> wmacmil@w:~/programming/gf-rgl$ export GF_LIB_PATH=/home/wmacmil/programming/gf-rgl/dist
[14:33:48] <wmacmil> wmacmil@w:~/programming/gf-rgl$ make
[14:33:48] <wmacmil> runghc Setup.hs build
[14:33:48] <wmacmil> Building [Prelude]
[14:33:48] <wmacmil> Building [Present]
[14:33:49] <wmacmil> Building [AllTenses]
[14:33:53] <wmacmil> runghc Setup.hs copy
[14:33:55] <wmacmil> Copying [Prelude] /home/wmacmil/programming/gf-rgl/dist/prelude
[14:33:57] <wmacmil> Copying [Present] /home/wmacmil/programming/gf-rgl/dist/present
[14:33:59] <wmacmil> Copying [AllTenses] /home/wmacmil/programming/gf-rgl/dist/alltenses
[14:34:28] <inariksit> looks right! you can try to just open gf shell and try importing any LangXxx.gfo
[14:34:38] <inariksit> or try the thing you were doing in the first place
[14:36:00] <wmacmil> This is GF version 3.10.
[14:36:00] <wmacmil> Built on linux/x86_64 with ghc-8.0, flags: interrupt server
[14:36:00] <wmacmil> License: see help -license.
[14:36:00] <wmacmil> File Prelude.gf does not exist.
[14:36:00] <wmacmil> searched in: ./
[14:36:00] <wmacmil> Languages:
[14:36:03] <wmacmil> still same problem
[14:38:28] <inariksit> okay, let me try homotopy type theory on my computer
[14:38:46] <inariksit> does it work if you just open gf shell somewhere not in the folder with .gfos, and then import e.g. LangEng.gfo?
[14:39:51] <wmacmil> > i LangEng.gfo
[14:39:52] <wmacmil> Unable to find:
[14:39:52] <wmacmil>   /home/wmacmil/.cabal/share/x86_64-linux-ghc-8.0.2/gf-3.10/lib/LangEng.gfo
[14:39:52] <wmacmil> Languages:
[14:39:52] <wmacmil> 0 msec
[14:39:59] <wmacmil> that's from the home directory
[14:40:10] <inariksit> okay, that's a different GF_LIB_PATH than where the files are installed
[14:42:10] <inariksit> the hott-grammar works on my computer, you just need to have a correct GF_LIB_PATH!
[14:42:31] <wmacmil> so why is it searching in this .cabal/share directory
[14:42:41] <inariksit> can you go to gf-rgl main directory again, and give /home/wmacmil/.cabal/share/x86_64-linux-ghc-8.0.2/gf-3.10/lib/ with the --dest flag?
[14:42:46] <inariksit> I have no clue
[14:43:06] <inariksit> or like, just close all terminals and open a fresh one and see if GF_LIB_PATH has been updated
[14:44:41] <wmacmil> i've closed and opened a new terminal
[14:44:49] <wmacmil> wmacmil@w:~/programming/gf-rgl$ echo $GF_LIB_PATH
[14:44:49] <wmacmil> \/home/wmacmil/programming/gf-rgl/dist:/
[14:44:57] <wmacmil> shows up
[14:45:15] <wmacmil> but if I run make in the gf-rgl dir it still gives the same error as earlier
[14:45:29] <wmacmil> i'm not sure what you mean by /home/wmacmil/.cabal/share/x86_64-linux-ghc-8.0.2/gf-3.10/lib/ with the --dest flag?
[14:47:05] <inariksit> runghc Setup.hs install --dest=/home/wmacmil/.cabal/share/x86_64-linux-ghc-8.0.2/gf-3.10/lib/
[14:48:01] <inariksit> if some programs stubbornly think that /home/wmacmil/.cabal/share/x86_64-linux-ghc-8.0.2/gf-3.10/lib/ is your GF_LIB_PATH, you can just accept that :-P
[14:48:51] <wmacmil> it works :P
[14:49:44] <inariksit> yay!
[14:50:12] <inariksit> is that a part of your master's thesis?
[14:50:14] <wmacmil> have no idea what was happening, but thank you so much for your patience, yet again!
[14:50:16] <wmacmil> yes
[14:50:37] <wmacmil> i mean this is kind of the starting point
[14:51:08] <inariksit> no worries! it's not so easy to work with academic projects, the everyday experience can be a bit rough
[14:51:12] <wmacmil> and, expanding it to parse natural language and agda proofs to the same AST
[14:51:17] <inariksit> nice!
[14:51:53] <inariksit> are you interested in coming to the GF summer school this summer? it'll be in singapore
[14:52:08] <inariksit> http://school.grammaticalframework.org/2020/GFSS-2020_files/GFSS-Singapore-bid.pdf skip to the second page, "Proposed Theme"
[14:52:16] <wmacmil> yes
[14:52:59] <inariksit> cool! I should start working on the organisation a bit more now that it's already 2020
[14:54:26] <wmacmil> nice, if i go i can actually meet all these Legalese people
[14:56:50] <inariksit> yeah, that'll be nice
[14:57:04] <inariksit> I'll be going to singapore in june and working there for the rest of the year
[14:57:57] <wmacmil> are you working for the company?
[14:59:34] <inariksit> in a research centre, so a joint thing between the company and the management university of singapore
[15:00:49] <wmacmil> nice!
[15:21:18] *** Joins: wmacmil_ (~wmacmil@94.234.52.12)
[15:23:41] *** Quits: wmacmil (~wmacmil@185.224.57.161) (Ping timeout: 258 seconds)
[15:37:47] *** Joins: wmacmil__ (~wmacmil@185.224.57.161)
[15:37:48] *** Quits: wmacmil_ (~wmacmil@94.234.52.12) (Read error: Connection reset by peer)
[15:38:44] *** Quits: wmacmil__ (~wmacmil@185.224.57.161) (Client Quit)