]> gerrit.simantics Code Review - simantics/platform.git/blob - TooManyParametersToSin.scl
003d0dc3cb7f0a6db60725ddb646afcb33e0903c
[simantics/platform.git] / TooManyParametersToSin.scl
1 import "Prelude"
2
3 main = sin 1 2
4 --
5 3:8-3:11: Constrain Real (a -> b) contains free variables not mentioned in the type of the value.
6 3:14-3:15: Constrain Ring a contains free variables not mentioned in the type of the value.