         console.log '... ' + progress
         @statusbar.setStatus 'Idris: ' + progress
       else
-        @statusbar.setStatus 'Idris: ' + message
+        @statusbar.setStatus 'Idris: ' + JSON.stringify(message)
       return
     ).bind(this)
     return

    @model.docsFor word
    return

  getTypeForWord: ->
    word = @getWordUnderCursor()
    @model.getType word, ((err, type) ->
      if err

    ).bind(this)
    return

  doCaseSplit: =>
    editor = atom.workspace.getActiveEditor()
    line = editor.getLastCursor().getBufferRow()
    word = @getWordUnderCursor()
    @model.caseSplit line + 1, word, ((err, split) ->
      if err
