compile time pattern matching only took linearity into account but

not whether an argument of a constructor is in normal form

case [a] of { [b]->(b,b) }

transformed to

  let b=a in (b,b)

now it transfroms to

  (a,a)


git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@71 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d

0 files changed, 0 insertions, 0 deletions