Skip to content

(assert-typecheck-fail ...) fails with runtime error #1492

Description

@ilya-klyuchnikov

A repro:

#lang typed/racket/base

(: f11 (-> (Listof Real) (Listof Real)))
(define (f11 rs)
  (map (lambda (z) (assert-typecheck-fail (+ z 5.0) #:result (error 'a))) rs))
../../Applications/Racket9.0/share/pkgs/typed-racket-lib/typed-racket/types/tc-result.rkt:226:2: match: no matching clause for #f

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions