/testsuite/bsc.typechecker/kind/

• ../
• ClassDefFieldIsNum.bs
• ClassDefFieldIsNum.bs.bsc-out.expected
• ClassDefParamConflictingUses.bs
• ClassDefParamConflictingUses.bs.bsc-out.expected
• ClassDefParamGivenNonNumUsedNum.bs
• ClassDefParamGivenNonNumUsedNum.bs.bsc-out.expected
• ClassDefParamGivenNumUsedNonNum.bs
• ClassDefParamGivenNumUsedNonNum.bs.bsc-out.expected
• ClassDefResGivenNum.bs
• ClassDefResGivenNum.bs.bsc-out.expected
• DataConstrOfNoArgsAppliedToMultipleArgs.bsv
• DataConstrOfNoArgsAppliedToMultipleArgs.bsv.bsc-out.expected
• DataDefFieldIsNum.bs
• DataDefFieldIsNum.bs.bsc-out.expected
• DataDefParamConflictingUses.bs
• DataDefParamConflictingUses.bs.bsc-out.expected
• DataDefParamGivenNonNumUsedFunc.bs
• DataDefParamGivenNonNumUsedFunc.bs.bsc-out.expected
• DataDefParamGivenNonNumUsedNum.bs
• DataDefParamGivenNonNumUsedNum.bs.bsc-out.expected
• DataDefParamGivenNumUsedNonNum.bs
• DataDefParamGivenNumUsedNonNum.bs.bsc-out.expected
• DataDefResGivenNum.bs
• DataDefResGivenNum.bs.bsc-out.expected
• ImportModIfc_TooFewArgs.bsv
• ImportModIfc_TooManyArgs.bsv
• Makefile
• ModIfc_TooFewArgs_Local.bsv
• ModIfc_TooFewArgs_TopLevel.bsv
• ModIfc_TooManyArgs_TopLevel.bsv
• NoArgPlusOne.bs
• NoArgPlusOne.bs.bsc-out.expected
• NonNumWhereNumExpected.bs
• NonNumWhereNumExpected.bs.bsc-out.expected
• NumPlusOne.bs
• NumPlusOne.bs.bsc-out.expected
• NumWhereNonNumExpected.bs
• NumWhereNonNumExpected.bs.bsc-out.expected
• OneArgMissingOne.bs
• OneArgMissingOne.bs.bsc-out.expected
• OneArgPlusOne.bs
• OneArgPlusOne.bs.bsc-out.expected
• StructDefFieldIsNum.bs
• StructDefFieldIsNum.bs.bsc-out.expected
• StructDefParamConflictingUses.bs
• StructDefParamConflictingUses.bs.bsc-out.expected
• StructDefParamGivenNonNumUsedNum.bs
• StructDefParamGivenNonNumUsedNum.bs.bsc-out.expected
• StructDefParamGivenNumUsedNonNum.bs
• StructDefParamGivenNumUsedNonNum.bs.bsc-out.expected
• StructDefResGivenNum.bs
• StructDefResGivenNum.bs.bsc-out.expected
• TwoArgMissingOne.bs
• TwoArgMissingOne.bs.bsc-out.expected
• TwoArgMissingTwo.bs
• TwoArgMissingTwo.bs.bsc-out.expected
• TypeAliasParamConflictingUses.bs
• TypeAliasParamConflictingUses.bs.bsc-out.expected
• TypeAliasParamGivenNonNumUsedNum.bs
• TypeAliasParamGivenNonNumUsedNum.bs.bsc-out.expected
• TypeAliasParamGivenNumUsedNonNum.bs
• TypeAliasParamGivenNumUsedNonNum.bs.bsc-out.expected
• TypeAliasParamGivenTooFew.bs
• TypeAliasParamGivenTooFew.bs.bsc-out.expected
• TypeAliasParamGivenTooFew_ToNone.bs
• TypeAliasParamGivenTooFew_ToNone.bs.bsc-out.expected
• TypeAliasParamGivenTooMany.bs
• TypeAliasParamGivenTooMany.bs.bsc-out.expected
• TypeAliasParamGivenTooMany_FromNone.bs
• TypeAliasParamGivenTooMany_FromNone.bs.bsc-out.expected
• TypeAliasParamGivenTooMany_OK.bs
• TypeAliasPartialAppWithConflictingKindSig.bs
• TypeAliasPartialAppWithConflictingKindSig.bs.bsc-out.expected
• TypeAliasPartialAppWithoutKindSig.bs
• TypeAliasResGivenNonNumIsNum.bs
• TypeAliasResGivenNonNumIsNum.bs.bsc-out.expected
• TypeAliasResGivenNonNumIsNumParam.bs
• TypeAliasResGivenNonNumIsNumParam.bs.bsc-out.expected
• TypeAliasResGivenNumIsNonNum.bs
• TypeAliasResGivenNumIsNonNum.bs.bsc-out.expected
• TypeAliasResGivenNumIsNonNumParam.bs
• TypeAliasResGivenNumIsNonNumParam.bs.bsc-out.expected
• bound-vars
• inferkinds
• kind.exp
• mismatch