repositories
/
cc1516.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Assignments are now typechecked
[cc1516.git]
/
examples
/
Markus
/
identity(2).spl
diff --git
a/examples/Markus/identity(2).spl
b/examples/Markus/identity(2).spl
index
b06167a
..
04ff196
100644
(file)
--- a/
examples/Markus/identity(2).spl
+++ b/
examples/Markus/identity(2).spl
@@
-6,13
+6,13
@@
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