Searched refs:checkConstantNullary (Results 1 – 1 of 1) sorted by relevance
121 ,checkConstantNullary1405 prop_checkConstantNullary = verify checkConstantNullary "[[ '$(foo)' ]]"1406 prop_checkConstantNullary2 = verify checkConstantNullary "[ \"-f lol\" ]"1407 prop_checkConstantNullary3 = verify checkConstantNullary "[[ cmd ]]"1408 prop_checkConstantNullary4 = verify checkConstantNullary "[[ ! cmd ]]"1409 prop_checkConstantNullary5 = verify checkConstantNullary "[[ true ]]"1410 prop_checkConstantNullary6 = verify checkConstantNullary "[ 1 ]"1411 prop_checkConstantNullary7 = verify checkConstantNullary "[ false ]"1412 checkConstantNullary _ (TC_Nullary _ _ t) | isConstant t = function1422 checkConstantNullary _ _ = return () function