[ fix #306 ] Correctly error on dot patterns corresponding to module arguments#439

jespercockx merged 5 commits intoagda:masteragda/agda2hs:masterfrom

NathanielB123:module-param-dotNathanielB123/agda2hs:module-param-dotCopy head branch name to clipboard