Update Parser/Semantics.hs

add checkSyntaxRules