suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

cs: mark some parameters a always-succeeds

Browse Source
This commit is contained in:
Matthew Flatt 2020-02-08 11:38:27 -07:00
parent a3f1ab8b60
commit c5dc0841c1
2 changed files with 15 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
racket/src/cs/primitive/kernel.ss
View File

@ -638,18 +638,18 @@
[primitive-result-arity (known-procedure 2)]
[primitive? (known-procedure/pure 2)]
[print (known-procedure 14)]
[print-as-expression (known-procedure 3)]
[print-boolean-long-form (known-procedure 3)]
[print-box (known-procedure 3)]
[print-graph (known-procedure 3)]
[print-hash-table (known-procedure 3)]
[print-mpair-curly-braces (known-procedure 3)]
[print-pair-curly-braces (known-procedure 3)]
[print-reader-abbreviations (known-procedure 3)]
[print-struct (known-procedure 3)]
[print-syntax-width (known-procedure 3)]
[print-unreadable (known-procedure 3)]
[print-vector-length (known-procedure 3)]
[print-as-expression (known-procedure/succeeds 3)]
[print-boolean-long-form (known-procedure/succeeds 3)]
[print-box (known-procedure/succeeds 3)]
[print-graph (known-procedure/succeeds 3)]
[print-hash-table (known-procedure/succeeds 3)]
[print-mpair-curly-braces (known-procedure/succeeds 3)]
[print-pair-curly-braces (known-procedure/succeeds 3)]
[print-reader-abbreviations (known-procedure/succeeds 3)]
[print-struct (known-procedure/succeeds 3)]
[print-syntax-width (known-procedure/succeeds 3)]
[print-unreadable (known-procedure/succeeds 3)]
[print-vector-length (known-procedure/succeeds 3)]
[printf (known-procedure -2)]
[procedure->method (known-procedure/no-prompt 2)]
[procedure-arity (known-procedure 2)]
@ -701,7 +701,7 @@
[random (known-procedure/no-prompt 15)]
[random-seed (known-procedure/no-prompt 2)]
[rational? (known-procedure/pure/folding 2)]
[read-accept-bar-quote (known-procedure 3)]
[read-accept-bar-quote (known-procedure/succeeds 3)]
[read-byte (known-procedure 3)]
[read-byte-or-special (known-procedure 15)]
[read-bytes (known-procedure 6)]
@ -710,7 +710,7 @@
[read-bytes-avail!* (known-procedure 30)]
[read-bytes-avail!/enable-break (known-procedure 30)]
[read-bytes-line (known-procedure 7)]
[read-case-sensitive (known-procedure 3)]
[read-case-sensitive (known-procedure/succeeds 3)]
[read-char (known-procedure 3)]
[read-char-or-special (known-procedure 15)]
[read-line (known-procedure 7)]

3
racket/src/schemify/known.rkt
View File

@ -57,8 +57,7 @@
(struct known-literal (value) #:prefab #:omit-define-syntaxes #:super struct:known-consistent)
;; procedure with arity mask; the procedure has to be a procedure from the host
;; Scheme's perspective --- not an applicable struct or chaperoned procedure, which
;; means that parameters don't count
;; Scheme's perspective --- not an applicable struct or chaperoned procedure
(struct known-procedure (arity-mask) #:prefab #:omit-define-syntaxes #:super struct:known-consistent)
;; procedure that does not need to run inside a module prompt, which implies that the