/testsuite/bsc.typechecker/typeclasses/

• ../
• ClassKind1.bsv
• ClassKind1b.bsv
• ClassKind2.bsv
• ClassKind2b.bsv
• ClassKind3.bsv
• ClassKind3Sub.bs
• ContextOnClassSubset.bs
• ContextOnClassSubset.bs.bsc-out.expected
• DefaultBoundVars.bsv
• DefaultWithExplicitPred.bsv
• InstanceVariablePositions.bsv
• InstanceVariablePositions.bsv.bsc-out.expected
• Makefile
• NonDeferredInnerContext_NoInstance.bs
• NonDeferredInnerContext_NoInstance.bs.bsc-out.expected
• StructWithContext.bs
• TypeClassMethodWithContext.bs
• examples
• typeclasses.exp