<div>Trying to use quote-module-path in TR. Minimum need is its no arg version, e.g. (quote-module-path). The below is giving me a syntax error however.</div><div><br></div><div>Thanks in advance.</div><div><br></div><div>
Ray</div><div><br></div><div>#lang typed/racket</div><div><br></div><div>(require/typed syntax/location</div><div> [quote-module-path (-> Module-Path)])</div>