language: Nice (nicec 0.9.6)
date: 256 days 20 hours ago
link:
visibility: public 
1
2
3
4
5
6
7

void main (String[] args)
{
  java.io.BufferedReader r = new java.io.BufferedReader (new java.io.InputStreamReader (System.in));
  Float s;
        s=notNull(r.readLine());
   System.out.println(s);
}
nice.lang: parsing
.: parsing
.: typechecking

/home/nPfb7E/.//main.nice: line 5, column 9:
Incorrect type in assignment to s
Found   : java.lang.String
Expected: java.lang.Float