From 6b10a5480d692bafdec102d3a0c8028112a475a8 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Sun, 7 Aug 2016 15:58:40 -0600
Subject: [PATCH] accomodate a revised expansion of mandatory keyword arguments

---
 .../typed-racket/base-env/base-special-env.rkt             | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/typed-racket-lib/typed-racket/base-env/base-special-env.rkt b/typed-racket-lib/typed-racket/base-env/base-special-env.rkt
index 30691a74..08d2ee83 100644
--- a/typed-racket-lib/typed-racket/base-env/base-special-env.rkt
+++ b/typed-racket-lib/typed-racket/base-env/base-special-env.rkt
@@ -4,6 +4,7 @@
 ;; that are expanded into by Racket macros
 (require
  "../utils/utils.rkt"
+ (only-in "../rep/type-rep.rkt" make-StructTypeTop)
  racket/promise
  string-constants/string-constant
  racket/private/kw racket/file racket/port syntax/parse racket/path
@@ -241,6 +242,12 @@
    (-> Univ Univ Univ Univ Univ)]
   [(make-template-identifier 'missing-kw 'racket/private/kw)
    (->* (list Univ) Univ Univ)]
+  [(make-template-identifier 'prop:named-keyword-procedure 'racket/private/kw)
+   -Struct-Type-Property]
+  [(make-template-identifier 'struct:keyword-procedure/arity-error 'racket/private/kw)
+   (make-StructTypeTop)]
+  [(make-template-identifier 'struct:keyword-method/arity-error 'racket/private/kw)
+   (make-StructTypeTop)]
   ;; from the expansion of `define-runtime-path`
   [(make-template-identifier 'path-of 'racket/runtime-path)
    (-> -Path -Path)]