]> gerrit.simantics Code Review - simantics/platform.git/blob - TooManyParametersToSin.scl
bfaf3db56fae2015bce2c15076d4e808b5b684d3
[simantics/platform.git] / TooManyParametersToSin.scl
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.