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

fixed module problem in server

Browse Source 
svn: r15443
This commit is contained in:
Matthias Felleisen 2009-07-14 15:40:50 +00:00
parent e377259d01
commit b1af0d5979
1 changed files with 13 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
collects/2htdp/uchat/server.ss
View File

@ -1,4 +1,8 @@
;; The first three lines of this file were inserted by DrScheme. They record metadata
;; about the language level of this file in a form that our tools can easily process.
#reader(lib "htdp-intermediate-lambda-reader.ss" "lang")((modname server) (read-case-sensitive #t) (teachpacks ()) (htdp-settings #(#t constructor repeating-decimal #f #t none #f ())))
(require 2htdp/universe)
;; UniState = (list String)
;; interp. the name of currently participating chatters
@ -18,17 +22,19 @@
;; Universe IWorld Message -> Result
(define u0 (list iworld1 iworld2 iworld3))
(define name1 (iworld-name iworld1))
(define name2 (iworld-name iworld2))
(define name3 (iworld-name iworld3))
(define name1 (symbol->string (iworld-name iworld1)))
(define name2 (symbol->string (iworld-name iworld2)))
(define name3 (symbol->string (iworld-name iworld3)))
(check-expect (forward u0 iworld1 (list name2 "hello"))
(make-bundle u0 (list (make-mail name1 "hello")) '()))
(make-bundle u0 (list (make-mail iworld1 "hello")) '()))
(check-expect (forward u0 iworld1 (list "*" "hello"))
(make-bundle u0 (list
(make-mail (string-append name2 "*") "hello")
(make-mail (string-append name3 "*") "hello"))))
(make-bundle u0
(list
(make-mail iworld2 (list (string-append name2 "*") "hello"))
(make-mail iworld2 (list (string-append name3 "*") "hello")))
'()))
(define (forward u s msg) (make-bundle u '() '()))