Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2025-02-03 12:35:58 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Partially implemented integer-range type. Changed bottom from an expression to a statement.

Browse Source
This commit is contained in:
waldemar%netscape.com 2002-08-13 23:54:10 +00:00
parent af742ff98f
commit 27398c944e
1 changed files with 23 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
js2/semantics/CalculusMarkup.lisp
View File

@ -278,6 +278,22 @@
(t (error "Bad type expression: ~S" type-expr))))
; (integer-range <low-limit> <high-limit>)
; "{<low-limit> ... <high-limit>}"
(defun depict-integer-range (markup-stream world level low-limit-expr high-limit-expr)
(declare (ignore level))
(let ((low-limit-annotated-expr (nth-value 2 (scan-value world *null-type-env* low-limit-expr)))
(high-limit-annotated-expr (nth-value 2 (scan-value world *null-type-env* high-limit-expr))))
(depict-logical-block (markup-stream 0)
(depict markup-stream "{")
(depict-expression markup-stream world low-limit-annotated-expr %term%)
(depict-space markup-stream)
(depict markup-stream "...")
(depict-break markup-stream 1)
(depict-expression markup-stream world high-limit-annotated-expr %term%)
(depict markup-stream "}"))))
; (-> (<arg-type1> ... <arg-typen>) <result-type>)
; "<arg-type1> x ... x <arg-typen> -> <result-type>"
(defun depict--> (markup-stream world level arg-type-exprs result-type-expr)
@ -518,12 +534,6 @@
;;; DEPICTING SPECIAL FORMS
; (bottom)
(defun depict-bottom (markup-stream world level)
(declare (ignore world level))
(depict markup-stream :bottom-10))
; (todo)
(defun depict-todo (markup-stream world level)
(declare (ignore world level))
@ -1077,6 +1087,13 @@
(error "Unmatched */"))
; (bottom)
(defun depict-bottom (markup-stream world semicolon last-paragraph-style &rest text)
(declare (ignore world semicolon))
(depict-division-style (markup-stream :wrap)
(depict-text-paragraph markup-stream last-paragraph-style (or text (list :bottom-10)))))
(defvar *assertion-depictor*)
; (assert <condition-expr> . <styled-text>)