Skip to content
Snippets Groups Projects
Commit d5c0b1a3 authored by Fredrik Wieczerkowski's avatar Fredrik Wieczerkowski
Browse files

Move case mode check after syntax check

This fixes a constructor disambiguation that caused a test to fail.
parent 51aec5ff
Branches
No related tags found
1 merge request!91Always emit a (possibly empty) list of warnings and move the CaseModeCheck before the TypeCheck
......@@ -248,10 +248,10 @@ checkModule opts mdl = do
_ <- dumpCS DumpParsed mdl
exc <- extensionCheck opts mdl >>= dumpCS DumpExtensionChecked
tsc <- typeSyntaxCheck opts exc >>= dumpCS DumpTypeSyntaxChecked
cmc <- caseModeCheck opts tsc >>= dumpCS DumpCaseModeChecked
kc <- kindCheck opts cmc >>= dumpCS DumpKindChecked
kc <- kindCheck opts tsc >>= dumpCS DumpKindChecked
sc <- syntaxCheck opts kc >>= dumpCS DumpSyntaxChecked
pc <- precCheck opts sc >>= dumpCS DumpPrecChecked
cmc <- caseModeCheck opts sc >>= dumpCS DumpCaseModeChecked
pc <- precCheck opts cmc >>= dumpCS DumpPrecChecked
dc <- deriveCheck opts pc >>= dumpCS DumpDeriveChecked
inc <- instanceCheck opts dc >>= dumpCS DumpInstanceChecked
tc <- typeCheck opts inc >>= dumpCS DumpTypeChecked
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment