       text = goal.getText()
       content = text.substring(2, text.length - 2)  # remove "{!!}"
 
-      #
       # empty = content.replace(/\s/g, '').length is 0
       # if empty then @agda.panelView.queryExpression()
       command = "IOTCM \"#{@agda.filepath}\" NonInteractive Indirect \

          #{end.column + 1})]) \"#{content}\" )\n"
      @agda.executable.process.stdin.write command

    else
      @agda.panelView.setStatus 'Info'
      @agda.panelView.setContent ['For this command, please place the cursor in a goal']

  giveHandler: (index) ->
    hole = @findHole index



  goalTypeCommand: (index) ->
    @currentHole (goal) =>
      goalIndex = goal.index
      command = "IOTCM \"/Users/banacorn/github/agda-mode/test/Banana.agda\" NonInteractive Indirect ( Cmd_goal_type Simplified #{goalIndex} noRange \"\" )\n"
      @agda.executable.process.stdin.write command

  contextCommand: (index) ->

    @currentHole (goal) =>
      goalIndex = goal.index
      command = "IOTCM \"/Users/banacorn/github/agda-mode/test/Banana.agda\" NonInteractive Indirect ( Cmd_context Simplified #{goalIndex} noRange \"\" )\n"
      @agda.executable.process.stdin.write command



module.exports = HoleManager
