minigent/examples/1_poly/02-dup/in.minigent

dup : [x] Share x. x -> { p1 : x , p2 : x }#;
dup x = { p1 = x , p2 = x };

badDup : [x]. x -> { p1 : x , p2 : x }#;
badDup x = { p1 = x , p2 = x };

test : U8 -> { p1 : U8 , p2 : U8 }#;
test x = dup x;

badTest : [a]. a -> { p1 : a , p2 : a }#;
badTest x = dup x;