X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=examples%2FMarkus%2Fidentity%282%29.spl;h=04ff1964270180a57a369e9a509e3018f3d96505;hb=39f7799760a30737f57fb2b8ccdb15074ee9ac45;hp=96232a2ef5bd899030cb4c96052a12491ce69cbb;hpb=72fb877d00efbba5cc4540ee2e76fbb01c6f572d;p=cc1516.git

diff --git a/examples/Markus/identity(2).spl b/examples/Markus/identity(2).spl
index 96232a2..04ff196 100644
--- a/examples/Markus/identity(2).spl
+++ b/examples/Markus/identity(2).spl
@@ -1,18 +1,18 @@
-// Various versions of the identity function
+//// Various versions of the identity function//
 
 // Identity for integers
 // The type signature forces the function to have a more concrete type than it could have.
 id_int(x) :: Int -> Int
 {
   return x;
-}
-
+}//
+////
 
 // Polymorphic identity with type signature
 id_poly_with(x) :: a -> a
 {
   return x;
-}
+}//////
 
 
 // Polymorphic identity without type signature
@@ -20,7 +20,7 @@ id_poly_with(x) :: a -> a
 id_poly_without(x)
 {
   return x;
-}
+}//
 
 
 // Clumsy polymorphic identity
@@ -31,7 +31,7 @@ id_poly_wtf(x)
   var b = a;
   var c = b;
   return c;
-}
+}//
 
 
 // Clumsy identity for integers
@@ -43,3 +43,5 @@ id_int_wtf(x)
   var c = b;
   return c;
 }
+
+main() {return;}
\ No newline at end of file