Cyclic simple variable definitions generate invalid code
The following curry code
f = x
where x = y
y = x
generates the following invalid haskell code:
d_C_f cd cs = let x1 = x2 x2 = x1 in x1
The following curry code
f = x
where x = y
y = x
generates the following invalid haskell code:
d_C_f cd cs = let x1 = x2 x2 = x1 in x1