Zilin Chen comments

Results 85 comments of


                                            Zilin Chen

new syntax: `type` defines multiple types

originally I thought the latter.. just like typedef.. but as I realised the potential ambiguity I gave up...

Isabelle C-Parser refuses to handle string literals.

Yes you are right. The verification toolchain does not support strings, but the language supports strings anyway for writing debugging functions.

porting libgum to new language style

Depending on #29 (partly). If removing typeargs, it's really easy to fail. For `!`s, it's not always possible.

The ignore-exports option is broken and should be removed

I'm relying on this option for exactly this reason: > Causes Haddock to behave as if every module has the > ``ignore-exports`` attribute (:ref:`module-attrs`). This might be useful for >...

User guide update

I just started learning happy from the User Guide and haven't mastered it yet. I'd certainly contribute once I have a better knowledge. Hopefully others who know more can also...