Re: [racket-dev] Pre-Release Checklist for v6.1.1

2014-10-18 Thread Michael Sperber

Ryan Culpepper ry...@ccs.neu.edu writes:

 * Mike Sperber sper...@deinprogramm.de
   - DMdA Tests
   - Stepper Tests
   - Signature Tests

Done.

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


Re: [racket-dev] Pre-Release Checklist for v6.1

2014-07-20 Thread Michael Sperber

Ryan Culpepper ry...@ccs.neu.edu writes:

 * Mike Sperber sper...@deinprogramm.de
   - DMdA Tests
   - Stepper Tests
   - Signature Tests

Done.

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


Re: [racket-dev] Pre-Release Checklist for v6.0.1

2014-04-19 Thread Michael Sperber

Ryan Culpepper ry...@ccs.neu.edu writes:

 * Mike Sperber sper...@deinprogramm.de
   - DMdA Tests
   - Stepper Tests
   - Signature Tests

Done.

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


Re: [racket-dev] Can't build on Mac OS X anymore

2013-12-22 Thread Michael Sperber

Michael Sperber sper...@deinprogramm.de writes:

 Matthew Flatt mfl...@cs.utah.edu writes:

 I don't recognize that error.

 What version of Mac OS X and the C toolchain are you using?

 Mountain Lion, XCode 5.0.2, and this gcc:

 i686-apple-darwin11-llvm-gcc-4.2 (GCC) 4.2.1 (Based on Apple Inc. build 5658) 
 (LLVM build 2336.11.00)

So getting Xcode to re-install the command-line utils fixed the problem.
Sorry - I figured just installing Xcode would take care of that.

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


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

2013-12-19 Thread Michael Sperber

Ryan Culpepper ry...@ccs.neu.edu writes:

 * Mike Sperber sper...@deinprogramm.de
   - DMdA Tests
   - Stepper Tests
   - Signature Tests

Done.

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


[racket-dev] Can't build on Mac OS X anymore

2013-12-18 Thread Michael Sperber

I pulled plt-release, and get this:

mkdir -p  Racket.framework/Versions/5.91.0.900
gcc -o Racket.framework/Versions/5.91.0.900/Racket  -pthread -framework 
CoreFoundation -dynamiclib -all_load  libracket.a libmzgc.a -ldl -lm  -liconv
ld: warning: could not create compact unwind for _ffi_call_unix64: does not use 
RBP or RSP based frame
rm -f Racket.framework/Racket
ln -s Versions/5.91.0.900/Racket Racket.framework/Racket
gcc -I. -I../../racket/include -g -O2  -Wall  -DOS_X -D_DARWIN_UNLIMITED_SELECT 
-pthread   -fno-common  -DINITIAL_COLLECTS_DIRECTORY=''`cd 
../../racket/../../collects; pwd`'' -DINITIAL_CONFIG_DIRECTORY=''`cd 
../../racket/../..; pwd`/etc'' -c ../../racket/main.c -o main.o
gcc -o racketcgc   -pthread main.o -Wl,-headerpad_max_install_names -F. 
-framework Racket -ldl -lm  -liconv
/usr/bin/install_name_tool -change 
Racket.framework/Versions/5.91.0.900/Racket 
@executable_path/Racket.framework/Versions/5.91.0.900/Racket racketcgc
/usr/bin/install_name_tool: object: racketcgc malformed object (unknown load 
command 4)

Anybody know what's going on?

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


Re: [racket-dev] Can't build on Mac OS X anymore

2013-12-18 Thread Michael Sperber

Matthew Flatt mfl...@cs.utah.edu writes:

 I don't recognize that error.

 What version of Mac OS X and the C toolchain are you using?

Mountain Lion, XCode 5.0.2, and this gcc:

i686-apple-darwin11-llvm-gcc-4.2 (GCC) 4.2.1 (Based on Apple Inc. build 5658) 
(LLVM build 2336.11.00)

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


Re: [racket-dev] Release for v6.0 has begun

2013-11-23 Thread Michael Sperber

Ryan Culpepper ry...@ccs.neu.edu writes:

 The release process for v6.0 has begun: the `release' branch was
 created for any work that is left and is now bumped to v5.91.  You
 can go on using the `master' branch as usual, it is now bumped to
 v6.0.0.1 (to avoid having two different trees with the same version).

Right now, I get (from a fresh build, commit 
d3665c2cdb3ee36bf723e339d887399ffd89fc01):

  expected: real?
  given: #f
  argument position: 1st
  other arguments...:
   0
  context...:
   
/afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/racket/collects/dynext/filename-version.rkt:14:4:
 loop
   
/afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/racket/collects/dynext/filename-version.rkt:
 [running body]
   
/afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/racket/collects/compiler/distribute.rkt:
 [traversing imports]
   
/afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/pkgs/drracket-pkgs/drracket/drracket/private/language.rkt:
 [traversing imports]
   
/afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/pkgs/drracket-pkgs/drracket/drracket/private/link.rkt:
 [traversing imports]
   
/afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/pkgs/drracket-pkgs/drracket/drracket/tool-lib.rkt:
 [traversing imports]
   
/afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/pkgs/drracket-pkgs/drracket/drracket/private/drracket-normal.rkt:
 [running body]
   
/afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/pkgs/drracket-pkgs/drracket/drracket/drracket.rkt:
 [running body]

On related news, http://pre.racket-lang.org/release/ gives me a 404.

Did I miss something?

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


Re: [racket-dev] Pre-Release Checklist for v5.3.6

2013-07-23 Thread Michael Sperber

Ryan Culpepper ry...@ccs.neu.edu writes:

 * Mike Sperber sper...@deinprogramm.de
   - DMdA Tests
   - Stepper Tests
   - Signature Tests

Done.

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


Re: [racket-dev] Pre-Release Checklist for v5.3.4

2013-04-20 Thread Michael Sperber

Ryan Culpepper ry...@ccs.neu.edu writes:

 * Mike Sperber sper...@deinprogramm.de
   - DMdA Tests
   - Stepper Tests
   - Signature Tests

Done.

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


Re: [racket-dev] [racket-bug] all/13315: TR error messages from raco setup unhelpful

2012-11-29 Thread Michael Sperber

Thanks Asumu for making those fixes!

Asumu Takikawa as...@ccs.neu.edu writes:

 On 5.3.1, you'll have to add extra type instantiations in the tests
 or just remove the test files.

I was also e-mailing Sam about this, so some wires got crossed: Sam,
Asumu's fixes make the build go through now.

Sam also asked about the REPL output:

 (queue 1 2 3)
- : (Queue Any)
#Queue

I gather that in earlier versions of Racket, I'd get (Queue
Positive-Byte) or something similar.  Is

(ann (queue 1 2 3) (Queue Integer))

the right fix for this?  It seems awfully awkward.

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


Re: [racket-dev] Pre-Release Checklist for v5.3.1

2012-10-17 Thread Michael Sperber

Ryan Culpepper r...@cs.utah.edu writes:

 * Mike Sperber sper...@deinprogramm.de
   - DMdA Tests
   - Stepper Tests
   - Signature Tests

Done.

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


Re: [racket-dev] Pre-Release Checklist for v5.3

2012-07-27 Thread Michael Sperber

Ryan Culpepper r...@cs.utah.edu writes:

 * Mike Sperber sper...@deinprogramm.de
   - DMdA Tests
   - Stepper Tests
   - Signature Tests

Done.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
_
  Racket Developers list:
  http://lists.racket-lang.org/dev


Re: [racket-dev] Pre-Release Checklist for v5.2.1

2012-01-18 Thread Michael Sperber

Ryan Culpepper r...@cs.utah.edu writes:

 Checklist items for the v5.2.1 release
 * Mike Sperber sper...@deinprogramm.de
   - DMdA Tests
   - Stepper Tests
   - Signature Tests

Done.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
_
  Racket Developers list:
  http://lists.racket-lang.org/dev


Re: [racket-dev] Pre-Release Checklist for v5.2

2011-10-20 Thread Michael Sperber

Ryan Culpepper r...@cs.utah.edu writes:

 * Mike Sperber sper...@deinprogramm.de
   - DMdA Tests
   - Stepper Tests
   - Signature Tests

Done.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Pre-Release Checklist for v5.1.2, Second Call

2011-07-28 Thread Michael Sperber

Eli Barzilay e...@barzilay.org writes:

 11 hours ago, Michael Sperber wrote:
 
 I still need Stephen Chang's commit to be merged over:
 
 commit 8956364387fa25ffeb51e50fc1a83c20fd88af32
 Author: Stephen Chang stchang...@gmail.com
 Date:   Sun Jul 24 12:18:09 2011 -0400
 
 change recon-val in stepper to use render-to-sexpr for non-lazy lists

 There was a conflict with that change -- I've finally resolved it and
 started a new build.

Thanks - works now, and I'm done with my tests.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Pre-Release Checklist for v5.1.2

2011-07-24 Thread Michael Sperber

Stephen Chang stch...@ccs.neu.edu writes:

   - Stepper Tests

 Printing in the Stepper is broken yet again.  (I get backquote printing
 for the DMdA levels for lists.)  I'll try to fix it Monday or Tuesday.

 Mike, is the DMdA stepper the same as the HtDP stepper? 

Yes.

 I'm only seeing 1 dmda test in collects/tests/stepper but it doesnt
 have any lists. Can you describe the failing test case?

Pick the DeinProgramm - Die Macht der Abstraktion language.

Type, say 

(list 1 2)

and Step.  You should get 

#list 1 2

printed as an evaluation result (which is how it's printed in the REPL),
instead you get `(1 2).

Help with this would be much appreciated!

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] New error messages for *SL

2011-07-14 Thread Michael Sperber

Matthias Felleisen matth...@ccs.neu.edu writes:

 Are the SIGNATURES in the beginner funs definitions and elsewhere 
 fed to Mike's signature checker? If so, we need to roll back a commit 
 I made for a small change to atan and that Eli just rolled over to the
 release. 

You mean those in the documentation?  No.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] New error messages for *SL

2011-07-07 Thread Michael Sperber

Eli Barzilay e...@barzilay.org writes:

 25 minutes ago, Michael Sperber wrote:
 For the record, I fully agree with Guillaume.  I was puzzling over
 the exact same issue when I was doing the docs for the DMdA teaching
 languages, came out with the exact same reasoning as Guillaume, and
 ran against the exact same problem (as Eli may remember).

 (I don't...)


 Generally, redundancy is often a useful and appropriate tool in
 documentation.  So it would be great if Scribble would provide more
 direct support for it.

 It's just code, so you do have direct support.

Yeah, well, except you run into trouble almost immediately because that
code contains references, and Scribble is sensitive to all kinds of side
conditions involving references.  At the time, you proposed a
complicated macro to work around the ensuing problems.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] New error messages for *SL

2011-07-07 Thread Michael Sperber

Eli Barzilay e...@barzilay.org writes:

 Yeah, well, except you run into trouble almost immediately because
 that code contains references, and Scribble is sensitive to all
 kinds of side conditions involving references.

I'm talking about the references to identifiers, and sections.
Guillaume and I want pure, verbatim duplication of a piece of
documentation.

 At the time, you proposed a complicated macro to work around the
 ensuing problems.

No, it was you.  This must have been in 2009.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] New error messages for *SL

2011-07-07 Thread Michael Sperber

Robby Findler ro...@eecs.northwestern.edu writes:

 On Thu, Jul 7, 2011 at 2:48 AM, Michael Sperber sper...@deinprogramm.de 
 wrote:

 Eli Barzilay e...@barzilay.org writes:

 Yeah, well, except you run into trouble almost immediately because
 that code contains references, and Scribble is sensitive to all
 kinds of side conditions involving references.

 I'm talking about the references to identifiers, and sections.
 Guillaume and I want pure, verbatim duplication of a piece of
 documentation.

 Is the issue is that you want the links in one copy of the docs to go
 to one place and the links in another copy to go in another place and
 Scribble's use of lexical scope to do linking is getting in your way?

Yes.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Pre-Release Checklist for v5.1.1

2011-04-23 Thread Michael Sperber

Ryan Culpepper ry...@ccs.neu.edu writes:

 * Mike Sperber sper...@deinprogramm.de
   - DMdA Tests
   - Stepper Tests
   - Signature Tests

Pending the merge of 7f9bd528573ddbe5c3b4607e0b9d842e93662427 into the
release branch, done.  (Thanks, Robby!)

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Pre-Release Checklist for v5.1

2011-02-05 Thread Michael Sperber

Ryan Culpepper ry...@ccs.neu.edu writes:

 * Mike Sperber sper...@deinprogramm.de
   - DMdA Tests
   - Stepper Tests
   - Signature Tests

Done.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] internal definitions stepper

2010-10-20 Thread Michael Sperber

Robby Findler ro...@eecs.northwestern.edu writes:

 Number 2 probably changed a while back when signatures were
 introduced, I'd guess. That one is not so easy to roll back.

I specifically fixed this at some point - it may also be related to the
namespace changes.  I'll try to look at it later today, but can't make
any promises - I'm pretty swamped today and tomorrow.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] internal definitions stepper

2010-10-19 Thread Michael Sperber

Robby Findler ro...@eecs.northwestern.edu writes:

 How recently did the change come in that allows internal definitions
 all over the place? And how broken did this make the stepper?

Pretty broken: There are now (let () ...)s all over the place.

(I've sent separate e-mail to John and Matthew.)

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] define-struct exports something to BSL

2010-09-22 Thread Michael Sperber

Nadeem Abdul Hamid nad...@acm.org writes:

 Consider a beginner file with:
(define-struct boa (name length))

 Student writes a template/function with parameter named a-boa, but
 misspells one occurrence, writing boa instead of a-boa.

 (define (feed a-boa)
   (make-boa (boa-name a-boa)
 (boa-length boa)))

 Their tests then fail at runtime with:
boa-length: expects argument of type struct:boa; given (make-signature 
 ...)

 Why is boa as a type visible at all in the student languages? The
 make-signature thing is really confusing, because they recognize it as
 something like a constructor but they don't know what structure it
 corresponds to.

This is my fault: We're working on something called signatures, which
can take the place of a contract comment, but is instead checked by the
system.  For example, one could write for the functions above:

(: make-boa (string number - boa))
(: boa-name (boa - string))
(: boa-length (boa - number))
(: feed (boa - boa))
 ^^^

This is why `boa' is available, and why you get output identifying boa
as a signature.  (Before the introduction of signatures, it would say
illegal use of syntax - I'm not sure that's much better.)

The work on signatures is not quite done yet (and undocumented ...), but
we're working hard on completing it in the near future.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] Release Announcement for v5.0.1 -- final version

2010-08-03 Thread Michael Sperber

Matthias Felleisen matth...@ccs.neu.edu writes:

 works in Beginner. It turns out however that even the German docs are
 broken. I should have explored more when Mike merged this in. Then
 again, I doubt we will have many Americans reading these docs.

What's broken?

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] P4P: A Syntax Proposal

2010-07-29 Thread Michael Sperber

Just a note, it does look not entirely unsimilar to:

http://srfi.schemers.org/srfi-49/srfi-49.html

(For a good chuckle, look at the discussion archive.)

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] P4P: A Syntax Proposal

2010-07-29 Thread Michael Sperber

Shriram Krishnamurthi s...@cs.brown.edu writes:

 They're very different, actually.  And Per Bothner's final post on the thread 
 --

 http://srfi.schemers.org/srfi-49/mail-archive/msg00021.html

 -- points in the direction of P4P, not SRFI-49.

Well, except for a bunch of renamings (... in the direction of
... Common Lisp ...?), that doesn't really show yet.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev