Correspondence between location/c and Location in typed/racket #1415
Description
See also: PR #1414
What version of Racket are you using?
v8.15.0.6-2024-11-22-04b9fa137c [cs]
What program did you run?
#lang typed/racket/base
(require typed/xml)
(p-i #f #f 'xml "version=\"1.0\" encoding=\"UTF-8\"")
Which results in the following error message:
Type Checker: type mismatch
expected: Location
given: False in: #f
Type Checker: type mismatch
expected: Location
given: False in: #f
Type Checker: Summary: 2 errors encountered in:
#f
#f
What should have happened?
An XML processing instruction struct should have been constructed.
More
Following code works:
#lang racket/base
(require xml)
(p-i #f #f 'xml "version=\"1.0\" encoding=\"UTF-8\"")