if
can mean match
internally, so how does the pretty-printer tell them apart?
Inductive Op : Set := | Read | Write.
Definition write_op (evt : Op) : bool :=
match evt with
| Write => true
| Read => false
end.
Definition write_op' (evt : Op) : bool :=
if evt then false else true.
Print write_op.
Print write_op'.
Is the parser just storing the appropriate case_style
value (type case_style = LetStyle | IfStyle | LetPatternStyle | MatchStyle | RegularStyle
), just to preserve this in printing?
Last updated: Mar 28 2024 at 20:01 UTC