fork download
  1. {
  2. private[geo] abstract class Shapes[GeoType : Numeric]
  3. {
  4. type Point = generic.Point[GeoType]
  5. type Rect = generic.Point[GeoType]
  6.  
  7. def Point = generic.Point[GeoType] _
  8. def Rect = generic.Rect[GeoType] _
  9. }
  10.  
  11. package generic
  12. {
  13. case class Point[A](x: A, y: A)
  14. case class Rect[A : Numeric](leftTop: Point[A], rightBottom: Point[A])
  15. }
  16.  
  17. package object floating extends Shapes[Double]
  18. {
  19. }
  20. }
  21.  
  22. package object geo extends Shapes[Int]
  23. {
  24. }
  25.  
  26. object Main extends App {
  27. import geo._
  28.  
  29. val p = Point(1,2)
  30. val dp = floating.Point(1.0,2.0)
  31. val lp = generic.Point(1L, 2L)
  32. }
Runtime error #stdin #stdout #stderr 0.07s 24132KB
stdin
Standard input is empty
stdout
Standard output is empty
stderr
Error: A JNI error has occurred, please check your installation and try again
Exception in thread "main" java.lang.NoClassDefFoundError: geo/generic/Point
	at java.lang.Class.getDeclaredMethods0(Native Method)
	at java.lang.Class.privateGetDeclaredMethods(Class.java:2701)
	at java.lang.Class.privateGetMethodRecursive(Class.java:3048)
	at java.lang.Class.getMethod0(Class.java:3018)
	at java.lang.Class.getMethod(Class.java:1784)
	at sun.launcher.LauncherHelper.validateMainClass(LauncherHelper.java:544)
	at sun.launcher.LauncherHelper.checkAndLoadMain(LauncherHelper.java:526)
Caused by: java.lang.ClassNotFoundException: geo.generic.Point
	at java.net.URLClassLoader.findClass(URLClassLoader.java:381)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:424)
	at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:349)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
	... 7 more