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

   1 id0 () = ()\r
   2 \r
   3 id0A :: () -> ()\r
   4 id0A () = ()\r
   5 \r
   6 id2 (a,b) = (a,b)\r
   7 \r
   8 id2A :: (a,b) -> (a,b)\r
   9 id2A (a,b) = (a,b)\r
  10 \r
  11 id3 (a,b,c) = (a,b,c)\r
  12 \r
  13 id3A :: (a,b,c) -> (a,b,c)\r
  14 id3A (a,b,c) = (a,b,c)\r
  15 \r
  16 main = id3 (1 :: Integer,id0 (),3 :: Integer)\r
  17 --\r
  18 (1,(),3)