better error message

This commit is contained in:
Simon Cruanes 2025-12-09 12:11:03 -05:00
parent b3da5bc41e
commit 0947d2d523
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -73,7 +73,10 @@ let expand_top_let ~ctxt rec_flag (vbs : _ list) =
pstr_eval ~loc
(pexp_constant ~loc
(Pconst_string
("ppxtrace: cannot trace `function`", loc, None)))
( "ppxtrace: cannot trace `function`, please unsugar \
to `fun`+`match`.",
loc,
None )))
[];
] )
| _ ->