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

Honu:

Browse Source 
- doc.txt, documented the sqrt() function
- typecheck-expression.ss, line-wrapped to <100 columns
- type-utils.ss, changed printout for void type from "<>" to "void"

svn: r980
This commit is contained in:
Carl Eastlund 2005-10-04 22:01:03 +00:00
parent 261662f378
commit f3d24c7d46
3 changed files with 11 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/honu/doc.txt
View File

@ -95,6 +95,11 @@ String operations:
- The zero-based index cannot be negative and must be less - The zero-based index cannot be negative and must be less
than the string length. than the string length.
Numeric operations:
> sqrt(float f) => float
- Produces the square root of its argument.
_Operators_ _Operators_
Unary operators: Unary operators:

2
collects/honu/private/typechecker/type-utils.ss
View File

@ -57,7 +57,7 @@
(symbol->string name)] (symbol->string name)]
[(struct honu:type-tuple (_ args)) [(struct honu:type-tuple (_ args))
(if (null? args) (if (null? args)
"<>" "void"
(string-append "<" (string-append "<"
(fold (lambda (t i) (fold (lambda (t i)
(string-append i ", " (printable-type t))) (string-append i ", " (printable-type t)))

8
collects/honu/private/typechecker/typecheck-expression.ss
View File

@ -536,9 +536,11 @@
[honu:let-body e1]) [honu:let-body e1])
t1))] t1))]
[(struct honu:seq (_ effects value)) [(struct honu:seq (_ effects value))
(let-values ([(effects _) (map-two-values (lambda (e) (let-values ([(effects _)
(typecheck-expression lenv (make-void-type (honu:ast-stx e)) e)) (map-two-values
effects)] (lambda (e)
(typecheck-expression lenv (make-void-type (honu:ast-stx e)) e))
effects)]
[(e1 t1) (typecheck-expression lenv ctype value)]) [(e1 t1) (typecheck-expression lenv ctype value)])
(values (copy-struct honu:seq expr (values (copy-struct honu:seq expr
[honu:seq-effects effects] [honu:seq-effects effects]