tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/TypeInferenceBug4.scl

   1 import "Prelude"
   2
   3 // See gitlab #303
   4
   5 test :: () -> Integer
   6 test _ = let
   7     f = id :: Integer -> Integer
   8     in min f 1 f 2
   9
  10 main = test ()
  11 --
  12 8:8-8:11: Constraint <Ord (Integer -> Integer)> is not given and cannot be derived.
  13 8:8-8:19: Application of non-function
  14 8:16-8:17: Expected <Integer> got <Integer -> Integer>.