{"action":"created","issue":{"url":"https://api.github.com/repos/GrammaticalFramework/GF/issues/8","repository_url":"https://api.github.com/repos/GrammaticalFramework/GF","labels_url":"https://api.github.com/repos/GrammaticalFramework/GF/issues/8/labels{/name}","comments_url":"https://api.github.com/repos/GrammaticalFramework/GF/issues/8/comments","events_url":"https://api.github.com/repos/GrammaticalFramework/GF/issues/8/events","html_url":"https://github.com/GrammaticalFramework/GF/pull/8","id":251963230,"node_id":"MDExOlB1bGxSZXF1ZXN0MTM2OTg0ODE0","number":8,"title":"GF_LIB_PATH can now be path1:path2:path3, not just 1path","user":{"login":"mengwong","id":1480631,"node_id":"MDQ6VXNlcjE0ODA2MzE=","avatar_url":"https://avatars1.githubusercontent.com/u/1480631?v=4","gravatar_id":"","url":"https://api.github.com/users/mengwong","html_url":"https://github.com/mengwong","followers_url":"https://api.github.com/users/mengwong/followers","following_url":"https://api.github.com/users/mengwong/following{/other_user}","gists_url":"https://api.github.com/users/mengwong/gists{/gist_id}","starred_url":"https://api.github.com/users/mengwong/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mengwong/subscriptions","organizations_url":"https://api.github.com/users/mengwong/orgs","repos_url":"https://api.github.com/users/mengwong/repos","events_url":"https://api.github.com/users/mengwong/events{/privacy}","received_events_url":"https://api.github.com/users/mengwong/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":5,"created_at":"2017-08-22T13:47:40Z","updated_at":"2018-07-20T20:46:34Z","closed_at":null,"author_association":"NONE","pull_request":{"url":"https://api.github.com/repos/GrammaticalFramework/GF/pulls/8","html_url":"https://github.com/GrammaticalFramework/GF/pull/8","diff_url":"https://github.com/GrammaticalFramework/GF/pull/8.diff","patch_url":"https://github.com/GrammaticalFramework/GF/pull/8.patch"},"body":"Traditionally, GF_LIB_PATH points to something like\r\n`.../share/ghc-8.0.2-x86_64/gf-3.9/lib`\r\n\r\nand if you want prelude and alltenses and present, you add a\r\n`--# -path=.:present`\r\ncompiler pragma to the top of your .gf file\r\n\r\nBut if you are developing some kind of application grammar\r\nlibrary or contrib of your own, you might find yourself\r\nrepeating your library path at the top of all your .gf files.\r\n\r\nAfter painstakingly maintaining the same library path at the\r\ntop of all your .gf files, you might think, why don't we factor this\r\nout into GF_LIB_PATH?\r\n\r\nThen you might then find to your surprise that GF_LIB_PATH\r\ndoesn't accept the usual colon:separated:path notation\r\nfamiliar from, say, unix PATH and MANPATH.\r\n\r\nThis patch allows you to define\r\n`GF_LIB_PATH=gf-3.9/lib:$HOME/gf-contrib/whatever/lib`\r\nin a more natural way.\r\n\r\nIf you are an RGL hacker and have your own version of the\r\nRGL tree sitting somewhere, you should be able to have both\r\npaths in the GF_LIB_PATH, for added convenience. This minor\r\nconvenience will probably lead to obscure bugs and great\r\nfrustration when you find that your changes are mysteriously\r\nnot being picked up by GF; so keep this in mind and use it\r\ncautiously.\r\n\r\nThis caution should probably sit in the documentation\r\nsomewhere. A subsequent commit will do that.\r\n\r\nIf you use zsh, you can do this to quickly build up a big\r\nGF_LIB_PATH:\r\n\r\n% gf_lib_path=( $HOME/src/GF/lib/src/{api,abstract,common,english,api/libraryBrowser,prelude,..} )\r\n\r\n% typeset -xT GF_LIB_PATH gf_lib_path"},"comment":{"url":"https://api.github.com/repos/GrammaticalFramework/GF/issues/comments/406722194","html_url":"https://github.com/GrammaticalFramework/GF/pull/8#issuecomment-406722194","issue_url":"https://api.github.com/repos/GrammaticalFramework/GF/issues/8","id":406722194,"node_id":"MDEyOklzc3VlQ29tbWVudDQwNjcyMjE5NA==","user":{"login":"johnjcamilleri","id":376723,"node_id":"MDQ6VXNlcjM3NjcyMw==","avatar_url":"https://avatars3.githubusercontent.com/u/376723?v=4","gravatar_id":"","url":"https://api.github.com/users/johnjcamilleri","html_url":"https://github.com/johnjcamilleri","followers_url":"https://api.github.com/users/johnjcamilleri/followers","following_url":"https://api.github.com/users/johnjcamilleri/following{/other_user}","gists_url":"https://api.github.com/users/johnjcamilleri/gists{/gist_id}","starred_url":"https://api.github.com/users/johnjcamilleri/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/johnjcamilleri/subscriptions","organizations_url":"https://api.github.com/users/johnjcamilleri/orgs","repos_url":"https://api.github.com/users/johnjcamilleri/repos","events_url":"https://api.github.com/users/johnjcamilleri/events{/privacy}","received_events_url":"https://api.github.com/users/johnjcamilleri/received_events","type":"User","site_admin":false},"created_at":"2018-07-20T20:46:33Z","updated_at":"2018-07-20T20:46:33Z","author_association":"MEMBER","body":"Right. This seems a bit clunky to me, that there should be two \"levels\" for\nspecifying where to look for things. Indeed this whole present/alltenses\nsplit is becoming a bit outdated. But then again, sometimes we must live\nwith design decisions of the past and I don't think there's a strong reason\nto change this and deal with all the backwards compatibility implications.\n\nI think this PR should be accepted, and will merge it if there are no\nobjections. Some updated documentation would definitely be appreciated,\nthough.\n\nJohn\n\nOn Fri, 20 Jul 2018, 21:32 Meng Weng Wong, <notifications@github.com> wrote:\n\n> If this pull request were to be accepted, I should probably write some\n> accompanying documentation to update the reference manual, etc.\n>\n> —\n> You are receiving this because you commented.\n> Reply to this email directly, view it on GitHub\n> <https://github.com/GrammaticalFramework/GF/pull/8#issuecomment-406705032>,\n> or mute the thread\n> <https://github.com/notifications/unsubscribe-auth/AAW_kw1ceKFSC81DsAts1-3h2KazZb_0ks5uIjBbgaJpZM4O-pYV>\n> .\n>\n"}}
{"actor":{"display_login":"johnjcamilleri"}}