Uncaught Error: Parse error on line 1:Error: Choose at mos^Expecting 'LIST_START', got 'TOKEN'

[banacorn]

[Enter steps to reproduce below:]

trigger agda-mode:load

Atom Version: 1.8.0
System: Mac OS X 10.11.5
Thrown From: agda-mode package, v0.5.2

Stack Trace

Uncaught Error: Parse error on line 1:
Error: Choose at mos
^
Expecting 'LIST_START', got 'TOKEN'

At /Users/banacorn/.atom/packages/agda-mode/node_modules/lisp-to-array/dist/lisp-to-array.js:112

Error: Parse error on line 1:
Error: Choose at mos
^
Expecting 'LIST_START', got 'TOKEN'
    at Object.parseError (/Users/banacorn/.atom/packages/agda-mode/node_modules/lisp-to-array/dist/lisp-to-array.js:112:15)
    at Object.parse (/Users/banacorn/.atom/packages/agda-mode/node_modules/lisp-to-array/dist/lisp-to-array.js:177:22)
    at parseSExpression (/Users/banacorn/.atom/packages/agda-mode/lib/parser/agda.js:144:24)
    at Object.parseAgdaResponse (/Users/banacorn/.atom/packages/agda-mode/lib/parser/agda.js:5:18)
    at Rectifier.<anonymous> (/Users/banacorn/.atom/packages/agda-mode/lib/process.js:326:49)
    at emitOne (events.js:77:13)
    at Rectifier.emit (events.js:169:7)
    at readableAddChunk (_stream_readable.js:146:16)
    at Rectifier.Readable.push (_stream_readable.js:110:10)
    at Rectifier.Transform.push (_stream_transform.js:128:32)
    at /Users/banacorn/.atom/packages/agda-mode/lib/parser/stream/rectifier.js:25:19
    at Array.forEach (native)
    at Rectifier._transform (/Users/banacorn/.atom/packages/agda-mode/lib/parser/stream/rectifier.js:24:12)
    at Rectifier.Transform._read (_stream_transform.js:167:10)
    at Rectifier.Transform._write (_stream_transform.js:155:12)
    at doWrite (_stream_writable.js:292:12)
    at writeOrBuffer (_stream_writable.js:278:5)
    at Rectifier.Writable.write (_stream_writable.js:207:11)
    at Socket.ondata (_stream_readable.js:528:20)
    at emitOne (events.js:82:20)
    at Socket.emit (events.js:169:7)
    at readableAddChunk (_stream_readable.js:146:16)
    at Socket.Readable.push (_stream_readable.js:110:10)
    at Pipe.onread (net.js:523:20)

Commands

     -0:00.9.0 agda-mode:load (atom-text-editor.editor.is-focused.agda)

Config

{
  "core": {
    "allowPendingPaneItems": false,
    "disabledPackages": [
      "minimap",
      "build"
    ],
    "openEmptyEditorOnStart": false,
    "themes": [
      "one-dark-ui",
      "chester-atom-syntax"
    ]
  },
  "agda-mode": {
    "executablePath": "/Users/banacorn/.local/bin/agda",
    "improveMessage": false,
    "libraryPath": [
      "/Users/banacorn/.agda/agda-stdlib-master/src"
    ],
    "programArgs": "agda",
    "someSetting": {},
    "trimExpression": true,
    "unsolvedMetaColor": {
      "alpha": 1,
      "blue": 176,
      "green": 135,
      "red": 22
    }
  }
}

Installed Packages

# User
agda-mode, v0.5.2
atom-typescript, v8.11.0
autoclose-html, v0.23.0
autocomplete-paths, v1.0.2
chester-atom-syntax, v0.1.1
language-agda, v0.2.2
language-docker, v1.1.6
language-haskell, v1.7.17
language-julia, v0.6.0
language-latex, v0.6.1
language-r, v0.4.1
language-rust, v0.4.6
language-spice, v2.1.4
language-typescript-grammars-only, v1.5.0
language-vue-component, v0.4.7
linter, v1.11.14
linter-gml, v0.1.2
pdf-view, v0.50.0
travis-ci-status, v1.1.1
wordcount, v2.6.0

# Dev
agda-mode, v0.5.2