gerrit.simantics Code Review - simantics/platform.git/blob

   1 import "Prelude"\r
   2 \r
   3 main = sin 1 2\r
   4 --\r
   5 3:8-3:11: Constrain Real (a -> b) contains free variables not mentioned in the type of the value.\r
   6 3:14-3:15: Constrain Ring a contains free variables not mentioned in the type of the value.