Skip to content

Change the grammar for Type constructors , Add pattern rules and judgements

Artin Ghasivand requested to merge Ei30metry/haskell:wip/withPatterns into master

I changed the grammar for Type constructors and added all the pattern related stuff like rules and judgements. But I still get a multiple parse error for the P_Con Rule.

Edited by Artin Ghasivand

Merge request reports