Commit 634fa351 authored by Niels Bunkenburg's avatar Niels Bunkenburg

Allow higher-order for level 2

parent ce797d03
Pipeline #238 canceled with stage
......@@ -107,7 +107,6 @@ levelTwo p = do
check $ checkAST cId cId lambdaCheck cId
check $ checkASTv2 cId cId cId cId noTypeDef
check $ checkAST cId shadowing cId cId
check $ checkAST cId cId cId checkForTypVar
check $ checkASTv2 cId cId cId cId pragmaCheck
check $ checkASTv2 cId typeinstanceCheck cId cId cId
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment