{"action":"created","issue":{"url":"https://api.github.com/repos/zjhmale/vscode-idris/issues/113","repository_url":"https://api.github.com/repos/zjhmale/vscode-idris","labels_url":"https://api.github.com/repos/zjhmale/vscode-idris/issues/113/labels{/name}","comments_url":"https://api.github.com/repos/zjhmale/vscode-idris/issues/113/comments","events_url":"https://api.github.com/repos/zjhmale/vscode-idris/issues/113/events","html_url":"https://github.com/zjhmale/vscode-idris/issues/113","id":234742885,"number":113,"title":"v0.9.8 broken on Windows","user":{"login":"dcastro","id":718166,"avatar_url":"https://avatars1.githubusercontent.com/u/718166?v=4","gravatar_id":"","url":"https://api.github.com/users/dcastro","html_url":"https://github.com/dcastro","followers_url":"https://api.github.com/users/dcastro/followers","following_url":"https://api.github.com/users/dcastro/following{/other_user}","gists_url":"https://api.github.com/users/dcastro/gists{/gist_id}","starred_url":"https://api.github.com/users/dcastro/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dcastro/subscriptions","organizations_url":"https://api.github.com/users/dcastro/orgs","repos_url":"https://api.github.com/users/dcastro/repos","events_url":"https://api.github.com/users/dcastro/events{/privacy}","received_events_url":"https://api.github.com/users/dcastro/received_events","type":"User","site_admin":false},"labels":[{"id":435289027,"url":"https://api.github.com/repos/zjhmale/vscode-idris/labels/bug","name":"bug","color":"ee0701","default":true},{"id":574416316,"url":"https://api.github.com/repos/zjhmale/vscode-idris/labels/windows%20related","name":"windows related","color":"bfd4f2","default":false}],"state":"open","locked":false,"assignee":{"login":"zjhmale","id":6234553,"avatar_url":"https://avatars2.githubusercontent.com/u/6234553?v=4","gravatar_id":"","url":"https://api.github.com/users/zjhmale","html_url":"https://github.com/zjhmale","followers_url":"https://api.github.com/users/zjhmale/followers","following_url":"https://api.github.com/users/zjhmale/following{/other_user}","gists_url":"https://api.github.com/users/zjhmale/gists{/gist_id}","starred_url":"https://api.github.com/users/zjhmale/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/zjhmale/subscriptions","organizations_url":"https://api.github.com/users/zjhmale/orgs","repos_url":"https://api.github.com/users/zjhmale/repos","events_url":"https://api.github.com/users/zjhmale/events{/privacy}","received_events_url":"https://api.github.com/users/zjhmale/received_events","type":"User","site_admin":false},"assignees":[{"login":"zjhmale","id":6234553,"avatar_url":"https://avatars2.githubusercontent.com/u/6234553?v=4","gravatar_id":"","url":"https://api.github.com/users/zjhmale","html_url":"https://github.com/zjhmale","followers_url":"https://api.github.com/users/zjhmale/followers","following_url":"https://api.github.com/users/zjhmale/following{/other_user}","gists_url":"https://api.github.com/users/zjhmale/gists{/gist_id}","starred_url":"https://api.github.com/users/zjhmale/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/zjhmale/subscriptions","organizations_url":"https://api.github.com/users/zjhmale/orgs","repos_url":"https://api.github.com/users/zjhmale/repos","events_url":"https://api.github.com/users/zjhmale/events{/privacy}","received_events_url":"https://api.github.com/users/zjhmale/received_events","type":"User","site_admin":false}],"milestone":null,"comments":9,"created_at":"2017-06-09T07:25:08Z","updated_at":"2017-08-02T21:22:29Z","closed_at":null,"body":"As of 0.9.8, vscode-idris no longer works for me in Windows 7 and 10, using the latest version of vscode and idris v1.0.\r\n\r\nAuto-completion, build/typecheck-on-save, shortcuts such as `case-split`, etc. \r\n\r\nAlso, when I open an Idris project and switch to the `Output` tab, I get this in the dev tools console.\r\n\r\n>ENOENT: no such file or directory, open 'C:\\Program Files (x86)\\Microsoft VS Code\\extension-output-#4': Error: ENOENT: no such file or directory, open 'C:\\Program Files (x86)\\Microsoft VS Code\\extension-output-#4'\r\n    at Object.fs.openSync (fs.js:558:18)\r\n    at Object.module.(anonymous function) [as openSync] (ELECTRON_ASAR.js:173:20)\r\n    at Object.fs.readFileSync (fs.js:468:33)\r\n    at Object.fs.readFileSync (ELECTRON_ASAR.js:506:29)\r\n    at Object.getIdents (C:\\Users\\dcastro\\.vscode\\extensions\\zjhmale.idris-0.9.8\\out\\analysis\\common.js:116:20)\r\n    at Maybe.of.map (C:\\Users\\dcastro\\.vscode\\extensions\\zjhmale.idris-0.9.8\\out\\providers\\ipkg\\completionProvider.js:11:24)\r\n    at module.exports.Maybe.map (C:\\Users\\dcastro\\.vscode\\extensions\\zjhmale.idris-0.9.8\\out\\maybe.js:19:19)\r\n    at Object.buildCompletionList (C:\\Users\\dcastro\\.vscode\\extensions\\zjhmale.idris-0.9.8\\out\\providers\\ipkg\\completionProvider.js:9:44)\r\n    at context.subscriptions.push.vscode.window.onDidChangeActiveTextEditor (C:\\Users\\dcastro\\.vscode\\extensions\\zjhmale.idris-0.9.8\\out\\extension.js:63:20)\r\n    at e.invoke (c:\\Program Files (x86)\\Microsoft VS Code\\resources\\app\\out\\vs\\workbench\\node\\extensionHostProcess.js:23:14715)\r\n    at e.fire (c:\\Program Files (x86)\\Microsoft VS Code\\resources\\app\\out\\vs\\workbench\\node\\extensionHostProcess.js:23:53565)\r\n    at c:\\Program Files (x86)\\Microsoft VS Code\\resources\\app\\out\\vs\\workbench\\node\\extensionHostProcess.js:23:390025\r\n    at e.invoke (c:\\Program Files (x86)\\Microsoft VS Code\\resources\\app\\out\\vs\\workbench\\node\\extensionHostProcess.js:23:14715)\r\n    at e.fire (c:\\Program Files (x86)\\Microsoft VS Code\\resources\\app\\out\\vs\\workbench\\node\\extensionHostProcess.js:23:53565)\r\n    at t.$acceptDocumentsAndEditorsDelta (c:\\Program Files (x86)\\Microsoft VS Code\\resources\\app\\out\\vs\\workbench\\node\\extensionHostProcess.js:23:346353)\r\n    at t.e.handle (c:\\Program Files (x86)\\Microsoft VS Code\\resources\\app\\out\\vs\\workbench\\node\\extensionHostProcess.js:23:312304)\r\n    at s (c:\\Program Files (x86)\\Microsoft VS Code\\resources\\app\\out\\vs\\workbench\\node\\extensionHostProcess.js:23:176531)\r\n    at h (c:\\Program Files (x86)\\Microsoft VS Code\\resources\\app\\out\\vs\\workbench\\node\\extensionHostProcess.js:23:177208)\r\n    at _combinedTickCallback (internal/process/next_tick.js:67:7)\r\n    at process._tickCallback (internal/process/next_tick.js:98:9)\r\n\r\nI don't get this error in non-idris projects.\r\n\r\nAn entry for \"idris\" seems to also be missing from the list of outputs:\r\n![idris vscode](https://user-images.githubusercontent.com/718166/26965247-d462ab0a-4cec-11e7-8d92-8b2324bcb879.PNG)\r\n\r\nManually download and reverting back to 0.9.3 and 0.9.6 seems to work fine.\r\n"},"comment":{"url":"https://api.github.com/repos/zjhmale/vscode-idris/issues/comments/319802608","html_url":"https://github.com/zjhmale/vscode-idris/issues/113#issuecomment-319802608","issue_url":"https://api.github.com/repos/zjhmale/vscode-idris/issues/113","id":319802608,"user":{"login":"Enamex","id":5769148,"avatar_url":"https://avatars2.githubusercontent.com/u/5769148?v=4","gravatar_id":"","url":"https://api.github.com/users/Enamex","html_url":"https://github.com/Enamex","followers_url":"https://api.github.com/users/Enamex/followers","following_url":"https://api.github.com/users/Enamex/following{/other_user}","gists_url":"https://api.github.com/users/Enamex/gists{/gist_id}","starred_url":"https://api.github.com/users/Enamex/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Enamex/subscriptions","organizations_url":"https://api.github.com/users/Enamex/orgs","repos_url":"https://api.github.com/users/Enamex/repos","events_url":"https://api.github.com/users/Enamex/events{/privacy}","received_events_url":"https://api.github.com/users/Enamex/received_events","type":"User","site_admin":false},"created_at":"2017-08-02T21:22:29Z","updated_at":"2017-08-02T21:22:29Z","body":"[**@zjhmale**](https://github.com/zjhmale) commented on [Jul 31, 2017, 7:10 PM GMT+2](https://github.com/zjhmale/vscode-idris/issues/113#issuecomment-319133073 \"2017-07-31T17:10:19Z - Replied by Github Reply Comments\"):\r\n> [@Enamex](https://github.com/enamex) I can work with Windows10 and VSCode 1.14.2\r\n> \r\n> [![screenshot](https://user-images.githubusercontent.com/6234553/28789025-02123a38-7656-11e7-8398-9325c4791fd5.gif)](https://user-images.githubusercontent.com/6234553/28789025-02123a38-7656-11e7-8398-9325c4791fd5.gif)\r\n> \r\n> It will be really helpful if you provide some screenshot for me to see your scenario more clearly.\r\n\r\nI'm not sure what to screenshot (and can't take gifs) but in summary: exactly what you're doing in the gif except for me the `Loading...` never changes."}}
{"actor":{"display_login":"Enamex"}}