suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Adjust TR and docs for alarm-evt's domain

Browse Source 
It was previously non-negative real, but the actual
implementation allows negative inputs. In addition, it's
harder to use the function in TR without a more permissive
type for the domain.

original commit: 91a015255dd077e81ed05f3cd1471b916bae5cf2
This commit is contained in:
Asumu Takikawa 2013-07-30 00:23:25 -04:00
parent 1a125acab7
commit 8cfeea9ab8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -315,7 +315,7 @@
[always-evt (-mu x (make-Evt x))]
[never-evt (make-Evt (Un))]
[system-idle-evt (-> (make-Evt -Void))]
[alarm-evt (-> -NonNegReal (-mu x (make-Evt x)))]
[alarm-evt (-> -Real (-mu x (make-Evt x)))]
[handle-evt? (make-pred-ty (make-Evt Univ))]
[current-evt-pseudo-random-generator
(-Param -Pseudo-Random-Generator -Pseudo-Random-Generator)]