/test/pos/

• ../
• A.scala
• IntSet.scala
• List1.scala
• Rational.scala
• S1.scala
• S3.scala
• S5.scala
• S8.scala
• X.scala
• Y.scala
• Z.scala
• abstract.scala
• cls.scala
• cls1.scala
• clsrefine.scala
• cours1.scala
• cours2.scala
• cours2a.scala
• cours2b.scala
• cours2c.scala
• eta.scala
• exceptions.scala
• imports.scala
• lambda.scala
• lambdalift.scala
• lambdalift1.scala
• matthias1.scala
• maxim1.scala
• michel1.scala
• michel2.scala
• michel3.scala
• michel4.scala
• michel5.scala
• modules.scala
• modules1.scala
• moduletrans.scala
• nested.scala
• override.scala
• partialfun.scala
• patterns.scala
• patterns2.scala
• philippe1.scala
• philippe2.scala
• philippe3.scala
• reftest.scala
• scall.bat
• sort1.scala
• sqrt.scala
• stable.scala
• strings.scala
• test1.scala
• test2.scala
• test4.scala
• test4a.scala
• test4refine.scala
• test5.scala
• test5refine.scala
• valdefs.scala