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

Add comment.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2013-05-21 07:53:43 +01:00
parent cba5bb7729
commit 9f659c7df3
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/constraints.rkt
View File

@ -12,7 +12,8 @@
(import restrict^ dmap^)
(export constraints^)
;; It's hard to remove this use of exceptions
;; because there's no monadic version of `hash-union` etc
(define-values (fail-sym exn:infer?)
(let ([sym (gensym 'infer-fail)])
(values sym (λ (s) (and (pair? s) (eq? (car s) sym))))))