Stanisław Barzowski b00b56c335 Avoid depending on stdlib variable for desugaring.
The fix is easy – we just use "$std" which the user cannot access,
because it's not a valid identifier.
2021-08-09 19:25:33 +01:00
..
2020-04-02 21:59:03 +02:00
2021-05-19 15:10:49 +02:00
2021-05-19 15:10:49 +02:00
2020-09-08 17:27:47 +02:00
2021-05-19 15:10:49 +02:00
2021-05-19 15:10:49 +02:00