You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If you have a Union variant applied to a record completion, Idrall currently parses it as the application of the Union constructor to the name of the record type instead of applying the Union constructor to the result of the record completion.
Here's an example that is valid Dhall but fails to parse correctly in Idrall:
letTy= { Type= { name :Text }, default= { name ="hello world" } }
letOpts=<One:Ty.Type|Two>inOpts.OneTy::{=}
The text was updated successfully, but these errors were encountered:
If you have a Union variant applied to a record completion, Idrall currently parses it as the application of the Union constructor to the name of the record type instead of applying the Union constructor to the result of the record completion.
Here's an example that is valid Dhall but fails to parse correctly in Idrall:
The text was updated successfully, but these errors were encountered: