diff options
Diffstat (limited to 'utils/check-exact/cases/WhereIn4.hs')
| -rw-r--r-- | utils/check-exact/cases/WhereIn4.hs | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/utils/check-exact/cases/WhereIn4.hs b/utils/check-exact/cases/WhereIn4.hs deleted file mode 100644 index 8b941fff4a..0000000000 --- a/utils/check-exact/cases/WhereIn4.hs +++ /dev/null @@ -1,19 +0,0 @@ -module WhereIn4 where - ---A definition can be demoted to the local 'where' binding of a friend declaration, ---if it is only used by this friend declaration. - ---Demoting a definition narrows down the scope of the definition. ---In this example, demote the top level 'sq' to 'sumSquares' ---In this case (there is single matches), if possible, ---the parameters will be folded after demoting and type sigature will be removed. - -sumSquares x y = sq p x + sq p y - where p=2 {-There is a comment-} - -sq::Int->Int->Int -sq pow z = z^pow --there is a comment - -anotherFun 0 y = sq y - where sq x = x^2 - |