X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=examples%2FMarkus%2Fidentity%282%29.spl;h=cba491c69b1b5919dc77a6fc08cd322302323a91;hb=1f01e39fb2383aa2c63234d0750c0459fe3de752;hp=96232a2ef5bd899030cb4c96052a12491ce69cbb;hpb=b0a8d161ec4566b50febd63640fab70f8081c685;p=cc1516.git

diff --git a/examples/Markus/identity(2).spl b/examples/Markus/identity(2).spl
index 96232a2..cba491c 100644
--- a/examples/Markus/identity(2).spl
+++ b/examples/Markus/identity(2).spl
@@ -12,34 +12,34 @@ id_int(x) :: Int -> Int
 id_poly_with(x) :: a -> a
 {
   return x;
-}
+}//
 
 
-// Polymorphic identity without type signature
-// Type checking should figure out the type forall a . a -> a
-id_poly_without(x)
-{
-  return x;
-}
+//// Polymorphic identity without type signature
+//// Type checking should figure out the type forall a . a -> a
+//id_poly_without(x)
+//{
+//  return x;
+//}//
 
 
 // Clumsy polymorphic identity
 // Type checking should give type forall a . a -> a
-id_poly_wtf(x)
+id_poly_wtf(x) :: a -> a
 {
   var a = x;
   var b = a;
   var c = b;
   return c;
-}
-
-
-// Clumsy identity for integers
-// Type checking should give type Int -> Int
-id_int_wtf(x)
-{
-  var a = x;
-  Int b = a;
-  var c = b;
-  return c;
-}
+}//
+
+
+//// Clumsy identity for integers
+//// Type checking should give type Int -> Int
+//id_int_wtf(x)
+//{
+//  var a = x;
+//  Int b = a;
+//  var c = b;
+//  return c;
+//}