summaryrefslogblamecommitdiff
path: root/test/files/presentation/random.check
blob: 1e40e178bea1c3509948313803b82bb86c901b89 (plain) (tree)
1
2
3
4
5
6
7



                                                                                
                            
                                  
                                                   










                                                                                
                            




                                                                                
                            
 
                                                                                
reload: Random.scala

askType at Random.scala(18,14)
================================================================================
[response] askTypeAt (18,14)
val filter: Int => Boolean = try {
  java.lang.Integer.parseInt(args.apply(0)) match {
    case 1 => ((x: Int) => x.%(2).!=(0))
    case 2 => ((x: Int) => x.%(2).==(0))
    case _ => ((x: Int) => x.!=(0))
  }
} catch {
  case _ => ((x: Int) => x.<(100))
}
================================================================================

askType at Random.scala(19,30)
================================================================================
[response] askTypeAt (19,30)
0
================================================================================

askType at Random.scala(26,12)
================================================================================
[response] askTypeAt (26,12)
_
================================================================================