Re: [racket-dev] [plt] Push #28706: master branch updated
(We have maybe/c somewhere, and I think we should use it.) On May 8, 2014, at 4:19 PM, sa...@racket-lang.org wrote: samth has updated `master' from 98ae3d8b2d to e1ab2ffcf4. http://git.racket-lang.org/plt/98ae3d8b2d..e1ab2ffcf4 =[ One Commit ]= Directory summary: 100.0% pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/ ~~ e1ab2ff Sam Tobin-Hochstadt sa...@cs.indiana.edu 2014-05-08 16:18 : | Fix contract. | | First bug caught with new test. Thanks Robby! : M .../typed-racket-lib/typed-racket/infer/infer-unit.rkt | 2 +- =[ Overall Diff ]=== pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt ~ --- OLD/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt +++ NEW/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt @@ -360,7 +360,7 @@ (Type/c Type/c . - . (or/c #f cset?)) (cgen V X Y S T)) (define/cond-contract (cg/inv S T) - (Type/c Type/c . - . cset?) + (Type/c Type/c . - . (or/c #f cset?)) (cgen/inv V X Y S T)) ;; this places no constraints on any variables in X (define empty (empty-cset X Y)) _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] [plt] Push #28706: master branch updated
(or/c #f x) seems better than maybe/c because it is nearly the same length and it is one less thing to memorize (and it's not like single-point of control applies here because this can never change). Robby On Thu, May 8, 2014 at 6:17 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: (We have maybe/c somewhere, and I think we should use it.) On May 8, 2014, at 4:19 PM, sa...@racket-lang.org wrote: samth has updated `master' from 98ae3d8b2d to e1ab2ffcf4. http://git.racket-lang.org/plt/98ae3d8b2d..e1ab2ffcf4 =[ One Commit ]= Directory summary: 100.0% pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/ ~~ e1ab2ff Sam Tobin-Hochstadt sa...@cs.indiana.edu 2014-05-08 16:18 : | Fix contract. | | First bug caught with new test. Thanks Robby! : M .../typed-racket-lib/typed-racket/infer/infer-unit.rkt | 2 +- =[ Overall Diff ]=== pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt ~ --- OLD/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt +++ NEW/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt @@ -360,7 +360,7 @@ (Type/c Type/c . - . (or/c #f cset?)) (cgen V X Y S T)) (define/cond-contract (cg/inv S T) - (Type/c Type/c . - . cset?) + (Type/c Type/c . - . (or/c #f cset?)) (cgen/inv V X Y S T)) ;; this places no constraints on any variables in X (define empty (empty-cset X Y)) _ Racket Developers list: http://lists.racket-lang.org/dev _ Racket Developers list: http://lists.racket-lang.org/dev
[racket-dev] racket-test: racket doesn't run all the tests when places is disabled
I'm testing the update to racket 6.0.1 and I'm seeing this problem: $ raco pkg install racket-test [..] $ cd .racket/6.0.1/pkgs/racket-test/tests/racket $ racket -f quiet.rktl Section(basic) Section(unicode) Section(rx) Section(reading) Section(readtable) Section(printing) Section(macro) Section(syntax) Section(procs) Section(stx) Section(module) Section(submodule) Section(stxparam) Section(numbers) Section(unsafe) Section(object) Section(struct) Section(threads) Section(logger) Section(synchronization) Section(places) Hello from place Hello form place 2 $ echo $? 99 Racket doesn't run all the tests and I guess the culprit is that I have places disabled. Can someone fix and update the package?. _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] [plt] Push #28706: master branch updated
I think maybe signals a well-known functional idea. On May 8, 2014, at 8:03 PM, Robby Findler wrote: (or/c #f x) seems better than maybe/c because it is nearly the same length and it is one less thing to memorize (and it's not like single-point of control applies here because this can never change). Robby On Thu, May 8, 2014 at 6:17 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: (We have maybe/c somewhere, and I think we should use it.) On May 8, 2014, at 4:19 PM, sa...@racket-lang.org wrote: samth has updated `master' from 98ae3d8b2d to e1ab2ffcf4. http://git.racket-lang.org/plt/98ae3d8b2d..e1ab2ffcf4 =[ One Commit ]= Directory summary: 100.0% pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/ ~~ e1ab2ff Sam Tobin-Hochstadt sa...@cs.indiana.edu 2014-05-08 16:18 : | Fix contract. | | First bug caught with new test. Thanks Robby! : M .../typed-racket-lib/typed-racket/infer/infer-unit.rkt | 2 +- =[ Overall Diff ]=== pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt ~ --- OLD/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt +++ NEW/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt @@ -360,7 +360,7 @@ (Type/c Type/c . - . (or/c #f cset?)) (cgen V X Y S T)) (define/cond-contract (cg/inv S T) - (Type/c Type/c . - . cset?) + (Type/c Type/c . - . (or/c #f cset?)) (cgen/inv V X Y S T)) ;; this places no constraints on any variables in X (define empty (empty-cset X Y)) _ Racket Developers list: http://lists.racket-lang.org/dev _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] [plt] Push #28706: master branch updated
It was called option/c until we did option contracts. (All of this just shows that contracts are not written in the programming language proper, contrary to our propaganda.) On May 8, 2014, at 10:29 PM, Robby Findler wrote: add1 is fine compared to (+ ... 1), imo, because the name tells you what it is doing, but maybe/c doesn't. It just sends the signal you aren't in the club if you don't know what 'maybe' is. Maybe if there was another name that made that meaning clear I would also be in favor. Robby On Thu, May 8, 2014 at 7:34 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: I think maybe signals a well-known functional idea. On May 8, 2014, at 8:03 PM, Robby Findler wrote: (or/c #f x) seems better than maybe/c because it is nearly the same length and it is one less thing to memorize (and it's not like single-point of control applies here because this can never change). Robby On Thu, May 8, 2014 at 6:17 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: (We have maybe/c somewhere, and I think we should use it.) On May 8, 2014, at 4:19 PM, sa...@racket-lang.org wrote: samth has updated `master' from 98ae3d8b2d to e1ab2ffcf4. http://git.racket-lang.org/plt/98ae3d8b2d..e1ab2ffcf4 =[ One Commit ]= Directory summary: 100.0% pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/ ~~ e1ab2ff Sam Tobin-Hochstadt sa...@cs.indiana.edu 2014-05-08 16:18 : | Fix contract. | | First bug caught with new test. Thanks Robby! : M .../typed-racket-lib/typed-racket/infer/infer-unit.rkt | 2 +- =[ Overall Diff ]=== pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt ~ --- OLD/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt +++ NEW/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt @@ -360,7 +360,7 @@ (Type/c Type/c . - . (or/c #f cset?)) (cgen V X Y S T)) (define/cond-contract (cg/inv S T) - (Type/c Type/c . - . cset?) + (Type/c Type/c . - . (or/c #f cset?)) (cgen/inv V X Y S T)) ;; this places no constraints on any variables in X (define empty (empty-cset X Y)) _ Racket Developers list: http://lists.racket-lang.org/dev _ Racket Developers list: http://lists.racket-lang.org/dev
