Re: [racket-dev] Pre-Release Checklist for v6.0, Second Call

[Carl Eastlund]

On Sun, Dec 29, 2013 at 1:57 PM, Ryan Culpepper  wrote:

> * Carl Eastlund 
>   - Dracula Tests (confirm that Dracula runs from PLaneT)
>

Done.
_
  Racket Developers list:
  http://lists.racket-lang.org/dev

Re: [racket-dev] Pre-Release Checklist for v6.0, Second Call

[Matthew Flatt]

At Sun, 29 Dec 2013 13:57:10 -0500, Ryan Culpepper wrote:
> * Matthew Flatt 
>- Run COM tests

Another repair pushed (for command-line parsing in "MzCOM.exe").

It took me forever to figure out that MzCOM fails in a release
installation only because I install to a path that contains "-".

_
  Racket Developers list:
  http://lists.racket-lang.org/dev

Re: [racket-dev] Pre-Release Checklist for v6.0, Second Call

[Jay McCarthy]

On Sun, Dec 29, 2013 at 11:57 AM, Ryan Culpepper  wrote:
> Checklist items for the v6.0 release
>   (using the v5.91.0.900 release candidate build)
>
> Search for your name to find relevant items, reply when you finish an
> item (please indicate which item/s is/are done).  Also, if you have any
> commits that should have been picked, make sure that the changes are in.
>
> Important: new builds are created without announcement, usually whenever
> I pick a few commits.  If you need to commit changes, please make sure
> you tell me to pick it into the release branch.
>
> --> Release candidates are at
> -->   http://plt.eecs.northwestern.edu/release-snapshots/
>
> Note the nonstandard location!
>
> The "Racket plus Tests" builds already include the test packages. If
> you use a "Minimal Racket" build instead, install test packages
> manually using "raco pkg install".
>
> --
>
> * Matthew Flatt 
>   - Run COM tests
>
> * Robby Findler 
>   - DrRacket Tests
>
> * Jay McCarthy 
>   - Web Server Tests
>   - HTML Tests

All passed

> * Eli Barzilay 
>   - Swindle Tests
>   - XREPL Tests
>   - Verify PL language
>   - Racket Tree: compare new distribution tree to previous one
>   - Run the unix installer tests
>   - Run zsh completions tests
> (". .../racket-completion.zsh; _racket --self-test")
>   Version Updates: if a major change has happened, update the version
>   number in:
>   - racket/collects/mzscheme/info.rkt
>   - racket/collects/mred/info.rkt
>
> * Carl Eastlund 
>   - Dracula Tests (confirm that Dracula runs from PLaneT)
>
> * David Van Horn 
>   - EoPL Tests
>
> * Neil Toronto 
>   - Plot Tests



-- 
Jay McCarthy 
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay

"The glory of God is Intelligence" - D&C 93
_
  Racket Developers list:
  http://lists.racket-lang.org/dev

Re: [racket-dev] Pre-Release Checklist for v6.0, Second Call

[Neil Toronto]

No, but that was a good idea, so I checked it. It doesn't happen in 5.3.6.

Neil ⊥

On 12/30/2013 09:14 PM, Robby Findler wrote:

I assume you checked and it doesn't happen in 5.3.6?

Robby


On Mon, Dec 30, 2013 at 9:53 PM, Neil Toronto mailto:neil.toro...@gmail.com>> wrote:

We really shouldn't ship until this memory leak is fixed (which I
just reported):

http://bugs.racket-lang.org/__query/?cmd=view&pr=14264


It's making writing substantial programs very difficult, especially
in Typed Racket, which seems to be affected more.

It's possible there's a weird interaction with Ubuntu 13.10, which I
upgraded to last week, but I don't know what it could be. Or I may
just not have noticed before. (I haven't been coding much recently.)

Neil ⊥


_
   Racket Developers list:
http://lists.racket-lang.org/dev




_
 Racket Developers list:
 http://lists.racket-lang.org/dev

Re: [racket-dev] Pre-Release Checklist for v6.0, Second Call

[Robby Findler]

I assume you checked and it doesn't happen in 5.3.6?

Robby


On Mon, Dec 30, 2013 at 9:53 PM, Neil Toronto wrote:

> We really shouldn't ship until this memory leak is fixed (which I just
> reported):
>
> http://bugs.racket-lang.org/query/?cmd=view&pr=14264
>
> It's making writing substantial programs very difficult, especially in
> Typed Racket, which seems to be affected more.
>
> It's possible there's a weird interaction with Ubuntu 13.10, which I
> upgraded to last week, but I don't know what it could be. Or I may just not
> have noticed before. (I haven't been coding much recently.)
>
> Neil ⊥
>
>
> _
>   Racket Developers list:
>   http://lists.racket-lang.org/dev
>
>
_
  Racket Developers list:
  http://lists.racket-lang.org/dev

Re: [racket-dev] Pre-Release Checklist for v6.0, Second Call

[Neil Toronto]

We really shouldn't ship until this memory leak is fixed (which I just 
reported):


http://bugs.racket-lang.org/query/?cmd=view&pr=14264

It's making writing substantial programs very difficult, especially in 
Typed Racket, which seems to be affected more.


It's possible there's a weird interaction with Ubuntu 13.10, which I 
upgraded to last week, but I don't know what it could be. Or I may just 
not have noticed before. (I haven't been coding much recently.)


Neil ⊥

#lang racket

(require (only-in typed/racket/base index?))

(define (emit v)
  (printf "~a~n" v))

;(: multi-dag-add-edge (All (T R) ((Multi-Dag T R) T R T -> (Multi-Dag T R
(define (multi-dag-add-edge h src r dst)
  (define edges (hash-ref h src (λ () (make-immutable-hash
  (define dsts (hash-ref edges r (λ () (set
  (hash-set h src (hash-set edges r (set-add dsts dst

;; 
===

;(: set-union* (All (A) ((Setof (Setof A)) -> (Setof A
(define (set-union* s)
  (define ss (set->list s))
  (cond [(empty? ss)  (set)]
[else  (apply set-union (first ss) (rest ss))]))

;(: set-image (All (A B) ((A -> B) (Setof A) -> (Setof B
(define (set-image f s)
  (list->set (set-map s f)))

;(: set-bind (All (A B) ((Setof A) (A -> (Setof B)) -> (Setof B
(define (set-bind A f)
  (set-union* (set-image f A)))

;; 
===

(struct Relation (forward backward)
  #:transparent
  #:property prop:custom-print-quotable 'never
  #:property prop:custom-write
  (λ (r out mode)
(write-string (symbol->string (Relation-forward r)) out)))

(define-syntax-rule (define-relation name1 name2)
  (begin
(define name1 (Relation 'name1 'name2))
(define name2 (Relation 'name2 'name1

(define-relation holding held-by)
(define-relation inside outside)
(define-relation north south)
(define-relation east west)
(define-relation up down)

;(: relation-reverse (Relation -> Relation))
(define (relation-reverse r)
  (Relation (Relation-backward r)
(Relation-forward r)))

;; 
===

(struct Edge (fst rel snd) #:transparent)

(struct Action-Type () #:transparent)
(struct Look Action-Type () #:transparent)

(struct Describe Action-Type (parent relation entity) #:transparent)

(struct Action-Dest (relation entity) #:transparent)
(struct Action-Path (src dsts) #:transparent)

(struct Init-Action (type src) #:transparent)
(struct Received-Action (type path) #:transparent)

;(define-type Action (U Init-Action Received-Action))

;(: action-path-entities (Action-Path -> (Listof Pointer)))
(define (action-path-entities p)
  (match-define (Action-Path src dsts) p)
  (cons src (reverse (map Action-Dest-entity dsts

;(: action-path-relations (Action-Path -> (Listof Relation)))
(define (action-path-relations p)
  (reverse (map Action-Dest-relation (Action-Path-dsts p

;(: action-entities (Action -> (Listof Pointer)))
(define (action-entities act)
  (match act
[(Init-Action _ src)  (list src)]
[(Received-Action _ path)  (action-path-entities path)]))

;(: action-last-entity (Action -> Pointer))
(define (action-last-entity act)
  (match act
[(Init-Action type src)  src]
[(Received-Action type (Action-Path src dsts))  (Action-Dest-entity (first 
dsts))]))

;(: action-push-dest (Action Relation Pointer -> Received-Action))
(define (action-push-dest act r dst)
  (match act
[(Init-Action type src)  (Received-Action type (Action-Path src (list 
(Action-Dest r dst]
[(Received-Action type (Action-Path src dsts))
 (Received-Action type (Action-Path src (cons (Action-Dest r dst) dsts)))]))

;(: action-pop-dest (Received-Action -> (Values Action Relation Pointer)))
(define (action-pop-dest act)
  (match-define (Received-Action type (Action-Path src dsts)) act)
  (match-let* ([(Action-Dest rel dst)  (first dsts)]
   [dsts  (rest dsts)])
(cond [(empty? dsts)  (values (Init-Action type src) rel dst)]
  [else  (values (Received-Action type (Action-Path src dsts)) rel 
dst)])))

;(: action-path-reverse (Action-Path -> Action-Path))
(define (action-path-reverse p)
  (match-define (Action-Path src dsts) p)
  (define es (reverse (action-path-entities p)))
  (define rs (reverse (action-path-relations p)))
  (Action-Path
   (first es)
   (reverse (for/list ([e  (in-list (rest es))]
   [r  (in-list rs)])
  (Action-Dest (relation-reverse r) e)

(struct Entity (name alts start-action receive-action properties) #:transparent)

;(: empty-property-hash (HashTable Symbol Any))
(define empty-property-hash (make-immutable-hasheq))

;; 
===
;; The world

;(define-type Pointer Index)

;(: empty-entity-s

Re: [racket-dev] Pre-Release Checklist for v6.0, Second Call

[David Van Horn]

On 12/29/13, 1:57 PM, Ryan Culpepper wrote:

* David Van Horn 
   - EoPL Tests


Done.


_
 Racket Developers list:
 http://lists.racket-lang.org/dev

Re: [racket-dev] Pre-Release Checklist for v6.0, Second Call

[Robby Findler]

On Sun, Dec 29, 2013 at 12:57 PM, Ryan Culpepper  wrote:

>
>
> * Robby Findler 
>   - DrRacket Tests
>
>
Done.
_
  Racket Developers list:
  http://lists.racket-lang.org/dev

[racket-dev] Pre-Release Checklist for v6.0, Second Call

[Ryan Culpepper]

Checklist items for the v6.0 release
  (using the v5.91.0.900 release candidate build)

Search for your name to find relevant items, reply when you finish an
item (please indicate which item/s is/are done).  Also, if you have any
commits that should have been picked, make sure that the changes are in.

Important: new builds are created without announcement, usually whenever
I pick a few commits.  If you need to commit changes, please make sure
you tell me to pick it into the release branch.

--> Release candidates are at
-->   http://plt.eecs.northwestern.edu/release-snapshots/

Note the nonstandard location!

The "Racket plus Tests" builds already include the test packages. If
you use a "Minimal Racket" build instead, install test packages
manually using "raco pkg install".

--

* Matthew Flatt 
  - Run COM tests

* Robby Findler 
  - DrRacket Tests

* Jay McCarthy 
  - Web Server Tests
  - HTML Tests

* Eli Barzilay 
  - Swindle Tests
  - XREPL Tests
  - Verify PL language
  - Racket Tree: compare new distribution tree to previous one
  - Run the unix installer tests
  - Run zsh completions tests
(". .../racket-completion.zsh; _racket --self-test")
  Version Updates: if a major change has happened, update the version
  number in:
  - racket/collects/mzscheme/info.rkt
  - racket/collects/mred/info.rkt

* Carl Eastlund 
  - Dracula Tests (confirm that Dracula runs from PLaneT)

* David Van Horn 
  - EoPL Tests

* Neil Toronto 
  - Plot Tests
_
 Racket Developers list:
 http://lists.racket-lang.org/dev