utils/check-exact/cases/LocToName.expected.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

module LocToName where

{-


-}


LocToName.newPoint (x:xs) = x ^2 + LocToName.newPoint xs
    -- where sq x = x ^pow
    --       pow = 2

LocToName.newPoint [] = 0