Shadows.dfy(6,19): Error: Duplicate type-parameter name: beta
Shadows.dfy(7,13): Warning: Shadowed type-parameter name: alpha
Shadows.dfy(8,27): Error: Duplicate type-parameter name: beta
Shadows.dfy(9,21): Warning: Shadowed type-parameter name: alpha
Shadows.dfy(11,31): Error: Duplicate parameter name: x
Shadows.dfy(18,10): Warning: Shadowed local-variable name: x
Shadows.dfy(19,10): Error: Duplicate local-variable name: y
Shadows.dfy(26,10): Error: Duplicate local-variable name: f
Shadows.dfy(32,12): Warning: Shadowed local-variable name: x
Shadows.dfy(38,28): Warning: Shadowed bound-variable name: x
Shadows.dfy(39,40): Warning: Shadowed bound-variable name: y
Shadows.dfy(71,8): Warning: Shadowed let-variable name: x
Shadows.dfy(72,8): Warning: Shadowed let-variable name: x
Shadows.dfy(65,10): Warning: Shadowed let-variable name: x
Shadows.dfy(66,10): Warning: Shadowed let-variable name: x
Shadows.dfy(62,17): Warning: Shadowed let-variable name: r
Shadows.dfy(87,8): Warning: Shadowed let-variable name: x
Shadows.dfy(88,8): Warning: Shadowed let-variable name: x
Shadows.dfy(81,10): Warning: Shadowed let-variable name: x
Shadows.dfy(82,10): Warning: Shadowed let-variable name: x
Shadows.dfy(78,17): Warning: Shadowed let-variable name: r
Shadows.dfy(102,8): Warning: Shadowed let-variable name: x
Shadows.dfy(103,8): Warning: Shadowed let-variable name: x
Shadows.dfy(96,10): Warning: Shadowed let-variable name: x
Shadows.dfy(97,10): Warning: Shadowed let-variable name: x
Shadows.dfy(94,17): Warning: Shadowed let-variable name: r
Shadows.dfy(119,8): Error: Duplicate local-variable name: x
Shadows.dfy(120,8): Error: Duplicate local-variable name: r
Shadows.dfy(133,8): Warning: Shadowed local-variable name: x
Shadows.dfy(134,8): Error: Duplicate local-variable name: x
Shadows.dfy(135,8): Error: Duplicate local-variable name: r
Shadows.dfy(127,10): Warning: Shadowed let-variable name: x
Shadows.dfy(128,10): Warning: Shadowed let-variable name: x
Shadows.dfy(124,17): Warning: Shadowed let-variable name: r
Shadows.dfy(148,8): Warning: Shadowed local-variable name: x
Shadows.dfy(149,8): Error: Duplicate local-variable name: x
Shadows.dfy(150,8): Error: Duplicate local-variable name: r
Shadows.dfy(142,10): Warning: Shadowed let-variable name: x
Shadows.dfy(143,10): Warning: Shadowed let-variable name: x
Shadows.dfy(139,17): Warning: Shadowed let-variable name: r
Shadows.dfy(162,8): Warning: Shadowed local-variable name: x
Shadows.dfy(163,8): Error: Duplicate local-variable name: x
Shadows.dfy(164,8): Error: Duplicate local-variable name: r
Shadows.dfy(156,10): Warning: Shadowed let-variable name: x
Shadows.dfy(157,10): Warning: Shadowed let-variable name: x
Shadows.dfy(154,17): Warning: Shadowed let-variable name: r
13 resolution/type errors detected in Shadows.dfy
