Re: [racket-dev] [plt] Push #23273: master branch updated

2011-08-16 Thread Matthew Flatt
I think I have a repair for the bug, but I'm still checking.

At Tue, 16 Aug 2011 21:17:39 -0400, Eli Barzilay wrote:
> 30 minutes ago, Casey Klein wrote:
> > No, the build failure is due to this bug:
> > 
> > http://bugs.racket-lang.org/query/?cmd=view&pr=12116
> > 
> > I'd be happy to avoid building redex/tests/compiler temporarily, but
> > I don't know how to do that, short of removing it from the
> > repository entirely.
> 
> You can add it to the omit list at "collects/tests/info.rkt".  Most
> tests are omitted, partly because many relied on planet packages,
> which makes it a bad idea to compile them (since running setup should
> usually not rely on user-specific stuff).

_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] [plt] Push #23273: master branch updated

2011-08-16 Thread Eli Barzilay
30 minutes ago, Casey Klein wrote:
> No, the build failure is due to this bug:
> 
> http://bugs.racket-lang.org/query/?cmd=view&pr=12116
> 
> I'd be happy to avoid building redex/tests/compiler temporarily, but
> I don't know how to do that, short of removing it from the
> repository entirely.

You can add it to the omit list at "collects/tests/info.rkt".  Most
tests are omitted, partly because many relied on planet packages,
which makes it a bad idea to compile them (since running setup should
usually not rely on user-specific stuff).

-- 
  ((lambda (x) (x x)) (lambda (x) (x x)))  Eli Barzilay:
http://barzilay.org/   Maze is Life!
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] [plt] Push #23273: master branch updated

2011-08-16 Thread Casey Klein
On Tue, Aug 16, 2011 at 7:48 PM, Casey Klein
 wrote:
> No, the build failure is due to this bug:
>
> http://bugs.racket-lang.org/query/?cmd=view&pr=12116
>
> I'd be happy to avoid building redex/tests/compiler temporarily, but I
> don't know how to do that, short of removing it from the repository
> entirely.
>

(That code isn't actually used anywhere.)
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] [plt] Push #23273: master branch updated

2011-08-16 Thread Casey Klein
No, the build failure is due to this bug:

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

I'd be happy to avoid building redex/tests/compiler temporarily, but I
don't know how to do that, short of removing it from the repository
entirely.

On Tue, Aug 16, 2011 at 7:39 PM, Stephen Chang  wrote:
> I'm getting some compile errors. Is it due to this checkin?
>
> raco setup: post-installing: mzcom
> raco setup: post-installing: mzscheme
> raco setup: post-installing: racket/gui
> raco setup:
> raco setup: error: during making for redex/tests/compiler
> raco setup:   compile: identifier used out of context in: compile
>
>
>
>
>
> On Tue, Aug 16, 2011 at 8:18 PM,   wrote:
>> clklein has updated `master' from 52fb1e3460 to cee4566ed4.
>>  http://git.racket-lang.org/plt/52fb1e3460..cee4566ed4
>>
>> =[ 1 Commits ]==
>>
>> Directory summary:
>>  100.0% collects/redex/tests/
>>
>> ~~
>>
>> cee4566 Casey Klein  2011-08-16 19:17
>> :
>> | Makes test work when compilation strips source locations
>> :
>>  M collects/redex/tests/check-syntax-test.rkt |   43 
>> -
>>
>> =[ Overall Diff ]===
>>
>> collects/redex/tests/check-syntax-test.rkt
>> ~~
>> --- OLD/collects/redex/tests/check-syntax-test.rkt
>> +++ NEW/collects/redex/tests/check-syntax-test.rkt
>> @@ -7,6 +7,19 @@
>>
>>  (reset-count)
>>
>> +(define-syntax (identifier stx)
>> +  (syntax-case stx ()
>> +    [(_ x)
>> +     (identifier? #'x)
>> +     #`(let ([p (open-input-string (format "~s" 'x))])
>> +         (port-count-lines! p)
>> +         (set-port-next-location!
>> +          p
>> +          #,(syntax-line #'x)
>> +          #,(syntax-column #'x)
>> +          #,(syntax-position #'x))
>> +         (read-syntax '#,(syntax-source #'x) p))]))
>> +
>>  (define (source stx)
>>   (list (syntax-source stx)
>>         (syntax-line stx)
>> @@ -64,15 +77,15 @@
>>   (define-values (add-syntax done)
>>     (make-traversal module-namespace #f))
>>
>> -  (define language-def-name #'L)
>> -  (define language-use-name #'L)
>> +  (define language-def-name (identifier L))
>> +  (define language-use-name (identifier L))
>>
>> -  (define mode-name #'J)
>> -  (define contract-name #'J)
>> -  (define conclusion-name #'J)
>> -  (define premise-name #'J)
>> -  (define render-name #'J)
>> -  (define holds-name #'J)
>> +  (define mode-name (identifier J))
>> +  (define contract-name (identifier J))
>> +  (define conclusion-name (identifier J))
>> +  (define premise-name (identifier J))
>> +  (define render-name (identifier J))
>> +  (define holds-name (identifier J))
>>
>>   (define language-binding
>>     (list language-def-name language-use-name))
>> @@ -106,14 +119,14 @@
>>   (define-values (add-syntax done)
>>     (make-traversal module-namespace #f))
>>
>> -  (define language-def-name #'L)
>> -  (define language-use-name #'L)
>> +  (define language-def-name (identifier L))
>> +  (define language-use-name (identifier L))
>>
>> -  (define contract-name #'f)
>> -  (define lhs-name #'f)
>> -  (define rhs-name #'f)
>> -  (define render-name #'f)
>> -  (define term-name #'f)
>> +  (define contract-name (identifier f))
>> +  (define lhs-name (identifier f))
>> +  (define rhs-name (identifier f))
>> +  (define render-name (identifier f))
>> +  (define term-name (identifier f))
>>
>>   (define language-binding
>>     (list language-def-name language-use-name))
>>
>

_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] [plt] Push #23273: master branch updated

2011-08-16 Thread Stephen Chang
I'm getting some compile errors. Is it due to this checkin?

raco setup: post-installing: mzcom
raco setup: post-installing: mzscheme
raco setup: post-installing: racket/gui
raco setup:
raco setup: error: during making for redex/tests/compiler
raco setup:   compile: identifier used out of context in: compile





On Tue, Aug 16, 2011 at 8:18 PM,   wrote:
> clklein has updated `master' from 52fb1e3460 to cee4566ed4.
>  http://git.racket-lang.org/plt/52fb1e3460..cee4566ed4
>
> =[ 1 Commits ]==
>
> Directory summary:
>  100.0% collects/redex/tests/
>
> ~~
>
> cee4566 Casey Klein  2011-08-16 19:17
> :
> | Makes test work when compilation strips source locations
> :
>  M collects/redex/tests/check-syntax-test.rkt |   43 -
>
> =[ Overall Diff ]===
>
> collects/redex/tests/check-syntax-test.rkt
> ~~
> --- OLD/collects/redex/tests/check-syntax-test.rkt
> +++ NEW/collects/redex/tests/check-syntax-test.rkt
> @@ -7,6 +7,19 @@
>
>  (reset-count)
>
> +(define-syntax (identifier stx)
> +  (syntax-case stx ()
> +    [(_ x)
> +     (identifier? #'x)
> +     #`(let ([p (open-input-string (format "~s" 'x))])
> +         (port-count-lines! p)
> +         (set-port-next-location!
> +          p
> +          #,(syntax-line #'x)
> +          #,(syntax-column #'x)
> +          #,(syntax-position #'x))
> +         (read-syntax '#,(syntax-source #'x) p))]))
> +
>  (define (source stx)
>   (list (syntax-source stx)
>         (syntax-line stx)
> @@ -64,15 +77,15 @@
>   (define-values (add-syntax done)
>     (make-traversal module-namespace #f))
>
> -  (define language-def-name #'L)
> -  (define language-use-name #'L)
> +  (define language-def-name (identifier L))
> +  (define language-use-name (identifier L))
>
> -  (define mode-name #'J)
> -  (define contract-name #'J)
> -  (define conclusion-name #'J)
> -  (define premise-name #'J)
> -  (define render-name #'J)
> -  (define holds-name #'J)
> +  (define mode-name (identifier J))
> +  (define contract-name (identifier J))
> +  (define conclusion-name (identifier J))
> +  (define premise-name (identifier J))
> +  (define render-name (identifier J))
> +  (define holds-name (identifier J))
>
>   (define language-binding
>     (list language-def-name language-use-name))
> @@ -106,14 +119,14 @@
>   (define-values (add-syntax done)
>     (make-traversal module-namespace #f))
>
> -  (define language-def-name #'L)
> -  (define language-use-name #'L)
> +  (define language-def-name (identifier L))
> +  (define language-use-name (identifier L))
>
> -  (define contract-name #'f)
> -  (define lhs-name #'f)
> -  (define rhs-name #'f)
> -  (define render-name #'f)
> -  (define term-name #'f)
> +  (define contract-name (identifier f))
> +  (define lhs-name (identifier f))
> +  (define rhs-name (identifier f))
> +  (define render-name (identifier f))
> +  (define term-name (identifier f))
>
>   (define language-binding
>     (list language-def-name language-use-name))
>

_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev