FStar icon indicating copy to clipboard operation
FStar copied to clipboard

Published 20 hours ago • verified publisher icon FStarLang

Dummy ranges on auto-generated projectors, discriminators, typeclass methods, and programs generated using splice_t

Open nikswamy opened this issue 2 years ago • 0 comments

The range info on these constructs is set to dummyRange. Discovered by @bollu .. thanks!

nikswamy avatar Aug 02 '23 18:08 nikswamy