gistfile1.scala

package metascala.test

object UnitsTest extends App {
  import metascala.Units._
  
  val length1 = m(23)
  val length2 = m(17)
  val area: Area = length1 * length2 // Works, Quantity[_2, _0]
  
  val time = s(42)
  val foo: Foo = time * length1  // Works, Quantity[_1, _1]
  
//val speed: Speed = length1 / time // Doesn't work, Quantity[_1, _1#Neg]
  /*
  type mismatch;
    found   : 
      metascala.Units.Quantity[metascala.Subtractables.-[metascala.Integers._1,metascala.Integers._0],
                               metascala.Subtractables.-[metascala.Integers._0,metascala.Integers._1]]
    required:
      metascala.Units.Speed
  */
}