unit testing - Typed racket error with check-random -


i'm trying convert project on typed racket racket , i'm encountering errors working code because of testing engine.

i've reduced smallest piece of code can create reproduces problem:

#lang typed/racket  ; provides check-expect , others testing (require typed/test-engine/racket-tests)  (: bar (-> positive-integer integer))  (check-random (bar 6) (random 6))  (define (bar x)   (random x))  (test)

and errors are:

. type checker: type mismatch   expected: pseudo-random-generator   given: in: (check-random (bar 6) (random 6))  . type checker: type mismatch   expected: positive-integer   given: in: (check-random (bar 6) (random 6))  . type checker: summary: 3 errors encountered in:   (check-random (bar 6) (random 6))   (check-random (bar 6) (random 6))   (check-random (bar 6) (random 6))

does have advice on how fix this? want able use type checking features if possible.

thanks

sure, can help, depends lot on want, , you're going this.

short overview: there multiple testing frameworks racket. you're using 1 that's built teaching languages. has several nice features, speaking rackunit testing framework used others.

it appears me typed version of teaching-language-test-framework doesn't include support check-random. i'll check on over mailing list. steer toward rackunit.

unfortunately, rackunit doesn't include "check-random" form. fortunately, it's not hard implement. here's implementation, attached code.

#lang typed/racket  ; provides check-expect , others testing (require typed/rackunit)  ;; create new prng, set seed given number, run thunk. (: run-with-seed (all (t) ((-> t) positive-integer -> t))) (define (run-with-seed thunk seed)   (parameterize ([current-pseudo-random-generator                   (make-pseudo-random-generator)])     (random-seed seed)     (thunk)))  ;; run check-equal both sides same prng seed (define-syntax check-random-equal?   (syntax-rules ()     [(_ b) (let ([seed (add1 (random (sub1 (expt 2 31))))])                (check-equal? (run-with-seed (λ () a) seed)                              (run-with-seed (λ () b) seed)))]))  (: bar (-> positive-integer integer)) (define (bar x)   (random x))  (check-random-equal? (bar 6)                      (random 6))

i should tell several important differences between 2 testing frameworks.

  • you don't need call "(test)" @ end; tests run interleaved rest of code.
  • since tests interleaved code, must appear below of definitions required run test.
  • nothing printed when test succeeds.

Comments

Post a Comment

Popular posts from this blog

javascript - Clear button on addentry page doesn't work -

this addentry blog page have made scratch , there underlying problems code particularly clear button supposed clear text entered when button clicked on doesn't work have saved html file problem. also 1 other problem submit button works doesn't pass of text index file have written php , reason whenever click on submit button redirects me index page without posting entry have made. <!doctype html> <html> <head> <script> function message() { alert("clear form?"); } </script> <style> body {background-color: beige;} h1 {color: black;} p {color: black;} textarea { width: 50%; height: 150px; padding: 12px 20px; box-sizing: border-box; border: 2px solid #ccc; border-radius: 4px; background-color: white; font-size: 16px; resize: none; } div { padding-left: 20px; } </style> </head> <meta charset="utf-8"> <link rel="stylesheet" href=".
Read more

c# - Selenium Authentication Popup preventing driver close or quit -

i have selenium automated task setup login website retrieve information. it's basic in automation. logging in , clicking 2 links. running issue proving problem. the site in question uses authentication required popup not javascript popup rather regular windows auth popup. have read isn't handled out of box selenium. i using " http://username:password@url.com " site every , site has issues on end prompt me again username/password randomly. have enter username/password twice in row when navigating there hand. since task loops continuously few hours picking needed info figured use webdriverwait verify element present on page. if authentication popup appears, element isn't present. no need care run, start over. the problem having when authentication popup displayed , hit timeout limit want close driver/browser window can start task on again. however, driver.close() , driver.quit() not doing anything. browser remains open , unloaded page still there login p
Read more

tensorflow when input_data MNIST_data , zlib.error: Error -3 while decompressing: invalid block type -

i'm geting started tensorflow,followed tutorials,but cannot download mnist data. import tensorflow tf tensorflow.examples.tutorials.mnist import input_data mnist=input_data.read_data_sets("mnist_data/",one_hot=true) print("download done!") error information: extracting mnist_data/train-images-idx3-ubyte.gz traceback (most recent call last): file "/home/sj/program/tesorflow_try.py", line 6, in <module> mnist=input_data.read_data_sets("mnist_data/",one_hot=true) file "/usr/local/lib/python2.7/dist-packages/tensorflow/contrib/learn/python/learn/datasets/mnist.py", line 213, in read_data_sets train_images = extract_images(f) file "/usr/local/lib/python2.7/dist-packages/tensorflow/contrib/learn/python/learn/datasets/mnist.py", line 60, in extract_images buf = bytestream.read(rows * cols * num_images) file "/usr/lib/python2.7/gzip.py", line 268, in read self._read(readsize) file
Read more