From 994e50681cd766f2e1a7b4d4050c8bd0f7f332bd Mon Sep 17 00:00:00 2001
From: Michael Ficarra <github@michael.ficarra.me>
Date: Thu, 29 Sep 2016 08:25:01 -0700
Subject: [PATCH] fixes #14: support F.p.toString on %ThrowTypeError% intrinsic
 (#18)

---
 proposal.html | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/proposal.html b/proposal.html
index bcfdebd..2abf2ca 100644
--- a/proposal.html
+++ b/proposal.html
@@ -543,3 +543,20 @@ <h1>(<a href="http://tc39.github.io/ecma262/#sec-function.prototype.tostring">19
     </emu-grammar>
   </ins>
 </emu-clause>
+
+
+<!-- es6num="9.2.7.1" -->
+<emu-clause id="sec-%throwtypeerror%">
+  <h1>(<a href="#sec-%throwtypeerror%">9.2.7.1</a>) %ThrowTypeError% ( )</h1>
+  <p>The <dfn>%ThrowTypeError%</dfn> intrinsic is a<del>n anonymous</del> built-in function object that is defined once for each realm. When %ThrowTypeError% is called it performs the following steps:</p>
+  <emu-alg>
+    1. Throw a *TypeError* exception.
+  </emu-alg>
+  <p>
+    <ins>
+      The value of the `name` property of %ThrowTypeError% is `"ThrowTypeError"`.
+    </ins>
+  </p>
+  <p>The value of the [[Extensible]] internal slot of a %ThrowTypeError% function is *false*.</p>
+  <p>The `length` property of a %ThrowTypeError% function has the attributes { [[Writable]]: *false*, [[Enumerable]]: *false*, [[Configurable]]: *false* }.</p>
+</emu-clause>