Conversation

butlerian mujahid

The type variable He escaped his scope Yes YES The type variable is out

2

12

47

Brendan Zabarauskas

Replying to

just working on making my compiler diagnostics more user-friendly

A compiler diagnostic message, rendered in the terminal. The main message of the diagnostic is: "error: failed to unify due to to escaping variable" The offending source code is underlined with the message: "run little variable!"

There is some follow up help text too, rendered as a cute little poem:

The variable
He escaped his scope
Yes
YES
The variable is out

read image description

ALT

12:31 AM · Aug 16, 2021Twitter Web App