Tmp

virgil-serbanuta · Nov 24, 2017 · d4b72b1 · d4b72b1
1 parent 1e4aa65
commit d4b72b1
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/gas.md b/gas.md
@@ -422,7 +422,10 @@ NOTE: (continuation) The above may be too complex, so then we may want to have
     sum [registerLoadDelta(r, v) | (r, v) <- getReturns() `zip` rVALUES]
   ```
 
-#### `STOP` and `REVERT`
+#### `INVALID`, `STOP`, `REVERT` and exceptions
+
+`INVALID` generates an exception, but many other things do, including being
+out of gas, which means that there may not be any gas to pay for the exception.
 
 * `STOP`
   ```hs