Hargreaves (2) [Avatar] Offline
#1
I'm on page 59. Pressing the alt+ctrl+a gives me the following stacktrace:


[Enter steps to reproduce:]

1. ...
2. ...

**Atom**: 1.15.0 x64
**Electron**: 1.3.13
**OS**: Mac OS X 10.12.4
**Thrown From**: [language-idris](https://github.com/idris-hackers/atom-language-idris) package 0.4.5


### Stack Trace

Uncaught TypeError: Cannot read property 'getURI' of undefined

```
At /Users/dkfepaha/.atom/packages/language-idris/node_modules/rx-lite/rx.lite.js:78

TypeError: Cannot read property 'getURI' of undefined
    at IdrisController.saveFile (/packages/language-idris/lib/idris-controller.coffee:94:14)
    at IdrisController.doAddClause (/packages/language-idris/lib/idris-controller.coffee:183:6)
    at /packages/language-idris/lib/idris-controller.coffee:1:1
    at AnonymousObserver._onNext (/packages/language-idris/lib/idris-controller.coffee:65:11)
    at AnonymousObserver.Rx.AnonymousObserver.AnonymousObserver.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1635:12)
    at AnonymousObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at AnonymousObserver.tryCatcher (/packages/language-idris/node_modules/rx-lite/rx.lite.js:64:31)
    at AutoDetachObserverPrototype.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:6260:51)
    at AutoDetachObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at CatchObserver.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:2747:59)
    at CatchObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at CatchObserver.tryCatcher (/packages/language-idris/node_modules/rx-lite/rx.lite.js:64:31)
    at AutoDetachObserverPrototype.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:6260:51)
    at AutoDetachObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at InnerObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:3263:90)
    at InnerObserver.tryCatcher (/packages/language-idris/node_modules/rx-lite/rx.lite.js:64:31)
    at AutoDetachObserverPrototype.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:6260:51)
    at AutoDetachObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at scheduleItem (/packages/language-idris/node_modules/rx-lite/rx.lite.js:2651:16)
    at JustSink.run (/packages/language-idris/node_modules/rx-lite/rx.lite.js:2659:9)
    at JustObservable.subscribeCore (/packages/language-idris/node_modules/rx-lite/rx.lite.js:2640:19)
    at JustObservable.tryCatcher (/packages/language-idris/node_modules/rx-lite/rx.lite.js:64:31)
    at /packages/language-idris/node_modules/rx-lite/rx.lite.js:1813:46)
    at ScheduledItem.invokeCore (/packages/language-idris/node_modules/rx-lite/rx.lite.js:858:33)
    at ScheduledItem.invoke (/packages/language-idris/node_modules/rx-lite/rx.lite.js:846:40)
    at runTrampoline (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1045:37)
    at tryCatcher (/packages/language-idris/node_modules/rx-lite/rx.lite.js:64:31)
    at CurrentThreadScheduler.schedule (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1061:45)
    at JustObservable.Rx.ObservableBase.ObservableBase._subscribe (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1826:32)
    at JustObservable.Rx.Observable.observableProto.subscribe.observableProto.forEach (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1703:19)
    at MergeAllObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:3232:37)
    at MergeAllObserver.tryCatcher (/packages/language-idris/node_modules/rx-lite/rx.lite.js:64:31)
    at AutoDetachObserverPrototype.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:6260:51)
    at AutoDetachObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at InnerObserver.Rx.FlatMapObservable.InnerObserver.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1876:14)
    at InnerObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at InnerObserver.tryCatcher (/packages/language-idris/node_modules/rx-lite/rx.lite.js:64:31)
    at AutoDetachObserverPrototype.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:6260:51)
    at AutoDetachObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at InnerObserver.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:4329:14)
    at InnerObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at InnerObserver.tryCatcher (/packages/language-idris/node_modules/rx-lite/rx.lite.js:64:31)
    at AutoDetachObserverPrototype.next (/packages/language-idris/node_modules/rx-lite/rx.lite.js:6260:51)
    at AutoDetachObserver.Rx.internals.AbstractObserver.AbstractObserver.onNext (/packages/language-idris/node_modules/rx-lite/rx.lite.js:1569:31)
    at AsyncSubject.onCompleted (/packages/language-idris/node_modules/rx-lite/rx.lite.js:6462:17)
    at handler (/packages/language-idris/node_modules/rx-lite/rx.lite.js:4766:7)
    at FSReqWrap.oncomplete (fs.js:123:15)
```

### Commands

```
     -9:42.6.0 core:save (input.hidden-input)
     -9:41.8.0 core:move-down (input.hidden-input)
     -9:40.9.0 language-idris:proof-search (input.hidden-input)
     -9:38.1.0 language-idris:add-clause (input.hidden-input)
     -7:49.8.0 core:select-all (input.hidden-input)
  3x -7:48.2.0 language-idris:add-clause (input.hidden-input)
     -6:46.1.0 core:select-all (input.hidden-input)
  2x -6:42.5.0 asciidoc-preview:toggle-render-on-save-only (input.hidden-input)
     -6:41 language-idris:add-clause (input.hidden-input)
     -6:25.7.0 application:new-file (input.hidden-input)
     -6:25.4.0 core:paste (input.hidden-input)
     -1:17.5.0 pane:show-next-recently-used-item (input.hidden-input)
     -1:17.3.0 pane:move-active-item-to-top-of-stack (input.hidden-input)
  2x -1:08.3.0 core:save (input.hidden-input)
     -0:49 tabs:close-other-tabs (li.texteditor.tab.sortable.active.right-clicked)
     -0:45.2.0 language-idris:add-clause (input.hidden-input)
```

### Non-Core Packages

```
activate-power-mode 1.1.0 
api-workbench 0.8.36 
asciidoc-preview 2.5.2 
atom-ternjs 0.14.2 
language-asciidoc 1.5.1 
language-docker 1.1.6 
language-elm 1.5.0 
language-groovy 0.6.0 
language-idris 0.4.5 
language-latex 1.0.0 
language-scala 1.1.6 
language-swift 0.4.0 
linter undefined 
linter-swagger 0.3.6 
pandoc 0.2.2 
revealjs-preview 0.3.1 
```




I installed Idris 1.0 via brew and atom via downloaded .pkg. The idris-language package is installed via Atom itself (apm, I guess).
Hargreaves (2) [Avatar] Offline
#2
updated from 0.4.5 to for the idris-language to 0.4.8 and now it works smilie