Eric Dobson endobson
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| genrule( | |
| name = "gen_foo", | |
| outs = ["foo.txt"], | |
| cmd = "echo foobar > $@" | |
| ) |
endobson
/ repo1.WORKSPACE
Created
February 13, 2016 04:25
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| foo |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| http_file( | |
| name = "racket-minimal-x86_64-6.2.1-osx", | |
| url = "http://mirror.racket-lang.org/installers/6.2.1/racket-minimal-6.2.1-x86_64-macosx.dmg", | |
| sha256 = "84929d97299089a0078c3cbe4b9cb930713e0e055de9071d9b6f1667c9878d56" | |
| ) | |
| git_repository( | |
| name = "minimal-racket", | |
| commit = "6a7103026bbd93e4bbcaff2be489c20410155917", | |
| remote = "https://github.com/endobson/minimal-racket.git" |
endobson
/ gist:c592bdb64d1a08935f30
Created
January 5, 2016 07:49
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (define (kw-split kws) | |
| (define kw-hash (apply hash kws)) | |
| (for/lists (kws vals) ([kw (in-list (sort (hash-keys kw-hash) keyword<?))]) | |
| (values kw (hash-ref kw-hash kw)))) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| bazel-* |
endobson
/ gist:b8d141a04c4a317dc696
Created
May 5, 2015 15:13
Output of running tests (racket unit-tests/typecheck-tests.rkt)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| -------------------- | |
| Typechecker tests > tc-expr tests > 3649 (lambda: ((x : Flonum) (y : Flonum-Zero)) (values (fl<= x y) (fl< x y) (fl= x y) (fl> x y) (fl>= x y))) | |
| 3649 (lambda: ((x : Flonum) (y : Flonum-Zero)) (values (fl<= x y) (fl< x y) (fl= x y) (fl> x y) (fl>= x y))) | |
| FAILURE | |
| location: <pkgs>/typed-racket-test/unit-tests/typecheck-tests.rkt:3648:7 | |
| actual: (tc-results | |
| (list | |
| (tc-result | |
| (-> | |
| (U |
endobson
/ gist:2162052fc8e82290dd41
Created
April 6, 2015 16:57
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Typed Racket Tests > Integration tests > fail > unbound-non-reg.rkt > #f | |
| Unnamed test | |
| FAILURE | |
| name: check-exn | |
| location: main.rkt:88:34 | |
| params: #<procedure:...et-test/main.rkt:20:3> | |
| #<procedure:...et-test/main.rkt:73:10> | |
| message: "Wrong exception raised" | |
| exn-message:"make-Name: contract violation\n expected: (or/c #f (listof identifier?))\n given: '(T)\n in: the 2nd argument of\n (->*\n (identifier?\n (or/c #f (listof identifier?))\n boolean?)\n (#:syntax (or/c syntax? #f))\n Name?)\n contract from: \n <pkgs>/typed-racket-lib/typed-racket/rep/type-rep.rkt\n blaming: <pkgs>/typed-racket-lib/typed-racket/typecheck/tc-structs.rkt\n (assuming the contract is correct)\n at: <pkgs>/typed-racket-lib/typed-racket/rep/type-rep.rkt:127.10" | |
| exn: #(struct:exn:fail:contract "make-Name: contract violation\n expected: (or/c #f (listof identifier?))\n given: '(T)\n in: the 2nd argument of\n (->*\n (identifier?\n (or/c #f (listof ident |
endobson
/ gist:f410fcdca380fb855e20
Created
March 25, 2015 04:34
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Source: | |
| (: f (Number [#:y Boolean] -> Number)) | |
| (define (f x #:y [y #f] #:z [z 'this-can-be-anything]) | |
| (if y "y is truthy" x)) | |
| Expanded inner function: | |
| '(lambda (y1 y3 z2 z4 x5) | |
| (let-values (((x) x5)) | |
| (let-values (((y) (if y3 y1 '#f))) |
endobson
/ gist:e7d116936ad0604cd972
Created
March 20, 2015 23:49
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| endobson@yggdrasil () ~/tmp % racket (0) | |
| Welcome to Racket v6.1.1.8. | |
| -> (require typed/racket) | |
| -> (: f (Number [#:y Number] -> Number)) -> (define (f x #:y [y 0]) (+ x y)) | |
| -> f | |
| - : (-> Number [#:y Number] Number) | |
| #<procedure:f> | |
| -> (: g (Number #:y Number -> Number)) |
endobson
/ gist:401b8286895df0b9b84a
Created
March 8, 2015 19:53
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #lang racket/load | |
| (module a typed/racket | |
| (provide (all-defined-out)) | |
| (struct foo ()) | |
| (struct (A) bar foo ([v : (Boxof A)])) | |
| (: b (bar False)) | |
| (define b (bar (box #f))) |