tutorial/task6-error-runbook.txt

   1 If I encounter an error that looks like this:
   2   fn main: stmt copy: output 'm' not in a register
   3
   4 then I should do the following:
   5   - find the function mentioned (here `main`);
   6   - look for a statement that contains the mentioned output (here `m`) before
   7     the `<-`; and
   8   - replace the statement with a version of the same instruction that writes
   9     to an inout in memory. (Here, replace `m <- copy` with `copy-to m`.)
  10
  11 ===
  12
  13 If I encounter an error that looks like this:
  14   label table: get-slice: key not found: copy-to
  15
  16 then I should do the following:
  17   - look for a statement with the same instruction (here `copy-to`) whose
  18     first inout is not a variable stored in memory; and
  19   - email Kartik (http://akkartik.name/contact) to ask why this message is so
  20     much less helpful then the previous one.