Skip to content

Instantly share code, notes, and snippets.

@kai-qu

kai-qu/typedefaults.hs

Created August 21, 2018 17:43
Show Gist options
  • Save kai-qu/4da36989a8d1ad8e2b5cd33d88f9bb39 to your computer and use it in GitHub Desktop.
Save kai-qu/4da36989a8d1ad8e2b5cd33d88f9bb39 to your computer and use it in GitHub Desktop.
Download ZIP
Command: on branch `new-style-fast`, run `stack build --profile --ghc-options -Wtype-defaults`
Raw
typedefaults.hs
penrose-0.1.0.2: configure (exe)
Configuring penrose-0.1.0.2...
penrose-0.1.0.2: build (exe)
Preprocessing executable 'penrose' for penrose-0.1.0.2...
[ 5 of 16] Compiling ShapeDef ( src/ShapeDef.hs, .stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build/penrose/penrose-tmp/ShapeDef.p_o )
/Users/katherineye/Desktop/Code/penrose/src/ShapeDef.hs:529:58: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(RealFloat a0)
arising from a use of ‘findDef’ at src/ShapeDef.hs:529:58-74
(Floating a0)
arising from a use of ‘findDef’ at src/ShapeDef.hs:529:58-74
(Real a0)
arising from a use of ‘findDef’ at src/ShapeDef.hs:529:58-74
(Show a0)
arising from a use of ‘findDef’ at src/ShapeDef.hs:529:58-74
(Ord a0)
arising from a use of ‘findDef’ at src/ShapeDef.hs:529:58-74
• In the second argument of ‘($)’, namely ‘findDef shapeType’
In the second argument of ‘($)’, namely ‘snd $ findDef shapeType’
In the second argument of ‘($)’, namely
‘M.filter (\ (t, _) -> t == propType) $ snd $ findDef shapeType’
/Users/katherineye/Desktop/Code/penrose/src/ShapeDef.hs:534:58: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(RealFloat a0)
arising from a use of ‘findDef’ at src/ShapeDef.hs:534:58-74
(Floating a0)
arising from a use of ‘findDef’ at src/ShapeDef.hs:534:58-74
(Real a0)
arising from a use of ‘findDef’ at src/ShapeDef.hs:534:58-74
(Show a0)
arising from a use of ‘findDef’ at src/ShapeDef.hs:534:58-74
(Ord a0)
arising from a use of ‘findDef’ at src/ShapeDef.hs:534:58-74
• In the second argument of ‘($)’, namely ‘findDef shapeType’
In the second argument of ‘($)’, namely ‘snd $ findDef shapeType’
In the second argument of ‘($)’, namely
‘M.filter (\ (t, _) -> t /= propType) $ snd $ findDef shapeType’
[ 6 of 16] Compiling NewFunctions ( src/NewFunctions.hs, .stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build/penrose/penrose-tmp/NewFunctions.p_o )
/Users/katherineye/Desktop/Code/penrose/src/NewFunctions.hs:207:13: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewFunctions.hs:207:13-23
(Num b0) arising from the literal ‘2’ at src/NewFunctions.hs:208:23
• In the expression: max x 0 ^ q
In an equation for ‘penalty’:
penalty x
= max x 0 ^ q
where
q = 2
/Users/katherineye/Desktop/Code/penrose/src/NewFunctions.hs:432:43: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewFunctions.hs:432:43-45
(Num b0) arising from the literal ‘2’ at src/NewFunctions.hs:432:45
• In the second argument of ‘($)’, namely ‘x ^ 2’
In the expression: tr "centerX" $ x ^ 2
In an equation for ‘centerX’:
centerX [Val (FloatV x)] = tr "centerX" $ x ^ 2
/Users/katherineye/Desktop/Code/penrose/src/NewFunctions.hs:444:29: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewFunctions.hs:444:29-47
(Num b0) arising from the literal ‘2’ at src/NewFunctions.hs:444:47
• In the first argument of ‘(+)’, namely ‘(getX a - getX b) ^ 2’
In the expression: (getX a - getX b) ^ 2 + (getY a - getY b) ^ 2
In an equation for ‘sameCenter’:
sameCenter [GPI a, GPI b]
= (getX a - getX b) ^ 2 + (getY a - getY b) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/NewFunctions.hs:444:51: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewFunctions.hs:444:51-69
(Num b0) arising from the literal ‘2’ at src/NewFunctions.hs:444:69
• In the second argument of ‘(+)’, namely ‘(getY a - getY b) ^ 2’
In the expression: (getX a - getX b) ^ 2 + (getY a - getY b) ^ 2
In an equation for ‘sameCenter’:
sameCenter [GPI a, GPI b]
= (getX a - getX b) ^ 2 + (getY a - getY b) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/NewFunctions.hs:457:9: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewFunctions.hs:457:9-24
(Num b0) arising from the literal ‘2’ at src/NewFunctions.hs:457:24
• In the first argument of ‘(+)’, namely ‘(px + 10 - lx) ^ 2’
In the expression: (px + 10 - lx) ^ 2 + (py + 20 - ly) ^ 2
In the expression:
let [px, py, lx, ly] = [...]
in (px + 10 - lx) ^ 2 + (py + 20 - ly) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/NewFunctions.hs:457:28: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewFunctions.hs:457:28-43
(Num b0) arising from the literal ‘2’ at src/NewFunctions.hs:457:43
• In the second argument of ‘(+)’, namely ‘(py + 20 - ly) ^ 2’
In the expression: (px + 10 - lx) ^ 2 + (py + 20 - ly) ^ 2
In the expression:
let [px, py, lx, ly] = [...]
in (px + 10 - lx) ^ 2 + (py + 20 - ly) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/NewFunctions.hs:464:9: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewFunctions.hs:464:9-19
(Num b0) arising from the literal ‘2’ at src/NewFunctions.hs:464:19
• In the first argument of ‘(+)’, namely ‘(mx - lx) ^ 2’
In the expression:
(mx - lx) ^ 2 + (my + 1.1 * getNum text "h" - ly) ^ 2
In the expression:
let
(sx, sy, ex, ey)
= (getNum arr "startX", getNum arr "startY", getNum arr "endX",
getNum arr "endY")
(mx, my) = midpoint (sx, sy) (ex, ey)
(lx, ly) = (getX text, getY text)
in (mx - lx) ^ 2 + (my + 1.1 * getNum text "h" - ly) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/NewFunctions.hs:464:23: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewFunctions.hs:464:23-57
(Num b0) arising from the literal ‘2’ at src/NewFunctions.hs:464:57
• In the second argument of ‘(+)’, namely
‘(my + 1.1 * getNum text "h" - ly) ^ 2’
In the expression:
(mx - lx) ^ 2 + (my + 1.1 * getNum text "h" - ly) ^ 2
In the expression:
let
(sx, sy, ex, ey)
= (getNum arr "startX", getNum arr "startY", getNum arr "endX",
getNum arr "endY")
(mx, my) = midpoint (sx, sy) (ex, ey)
(lx, ly) = (getX text, getY text)
in (mx - lx) ^ 2 + (my + 1.1 * getNum text "h" - ly) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/NewFunctions.hs:519:5: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewFunctions.hs:519:5-18
(Num b0) arising from the literal ‘2’ at src/NewFunctions.hs:519:18
• In the first argument of ‘(+)’, namely ‘(fromx - sx) ^ 2’
In the first argument of ‘(+)’, namely
‘(fromx - sx) ^ 2 + (fromy - sy) ^ 2’
In the first argument of ‘(+)’, namely
‘(fromx - sx) ^ 2 + (fromy - sy) ^ 2 + (tox - ex) ^ 2’
/Users/katherineye/Desktop/Code/penrose/src/NewFunctions.hs:519:22: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewFunctions.hs:519:22-35
(Num b0) arising from the literal ‘2’ at src/NewFunctions.hs:519:35
• In the second argument of ‘(+)’, namely ‘(fromy - sy) ^ 2’
In the first argument of ‘(+)’, namely
‘(fromx - sx) ^ 2 + (fromy - sy) ^ 2’
In the first argument of ‘(+)’, namely
‘(fromx - sx) ^ 2 + (fromy - sy) ^ 2 + (tox - ex) ^ 2’
/Users/katherineye/Desktop/Code/penrose/src/NewFunctions.hs:519:39: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewFunctions.hs:519:39-50
(Num b0) arising from the literal ‘2’ at src/NewFunctions.hs:519:50
• In the second argument of ‘(+)’, namely ‘(tox - ex) ^ 2’
In the first argument of ‘(+)’, namely
‘(fromx - sx) ^ 2 + (fromy - sy) ^ 2 + (tox - ex) ^ 2’
In the expression:
(fromx - sx) ^ 2 + (fromy - sy) ^ 2 + (tox - ex) ^ 2
+ (toy - ey) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/NewFunctions.hs:519:54: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewFunctions.hs:519:54-65
(Num b0) arising from the literal ‘2’ at src/NewFunctions.hs:519:65
• In the second argument of ‘(+)’, namely ‘(toy - ey) ^ 2’
In the expression:
(fromx - sx) ^ 2 + (fromy - sy) ^ 2 + (tox - ex) ^ 2
+ (toy - ey) ^ 2
In the expression:
let
vec = [...]
dir = normalize vec
[sx, sy, ex, ey]
= if norm vec > o1 + abs o2 then
(s1 +. o1 *. dir) ++ (s2 +. o2 *. dir)
else
s1 ++ s2
....
in
(fromx - sx) ^ 2 + (fromy - sy) ^ 2 + (tox - ex) ^ 2
+ (toy - ey) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/NewFunctions.hs:576:52: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewFunctions.hs:576:52-86
(Num b0) arising from the literal ‘2’ at src/NewFunctions.hs:576:86
• In the expression: (getY top - getY bottom - offset) ^ 2
In an equation for ‘above’:
above [GPI top, GPI bottom, Val (FloatV offset)]
= (getY top - getY bottom - offset) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/NewFunctions.hs:577:31: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewFunctions.hs:577:31-62
(Num b0) arising from the literal ‘2’ at src/NewFunctions.hs:577:62
• In the expression: (getY top - getY bottom - 100) ^ 2
In an equation for ‘above’:
above [GPI top, GPI bottom] = (getY top - getY bottom - 100) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/NewFunctions.hs:581:29: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewFunctions.hs:581:29-47
(Num b0) arising from the literal ‘2’ at src/NewFunctions.hs:581:47
• In the expression: (getY a - getY b) ^ 2
In an equation for ‘sameHeight’:
sameHeight [GPI a, GPI b] = (getY a - getY b) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/NewFunctions.hs:584:42: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewFunctions.hs:584:42-50
(Num b0) arising from the literal ‘2’ at src/NewFunctions.hs:584:50
• In the expression: (a - b) ^ 2
In an equation for ‘equal’:
equal [Val (FloatV a), Val (FloatV b)] = (a - b) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/NewFunctions.hs:591:5: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewFunctions.hs:591:5-18
(Num b0) arising from the literal ‘2’ at src/NewFunctions.hs:591:18
• In the first argument of ‘(+)’, namely ‘(getX o - x) ^ 2’
In the expression: (getX o - x) ^ 2 + (getY o - y) ^ 2
In an equation for ‘at’:
at [GPI o, Val (FloatV x), Val (FloatV y)]
= (getX o - x) ^ 2 + (getY o - y) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/NewFunctions.hs:591:22: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewFunctions.hs:591:22-35
(Num b0) arising from the literal ‘2’ at src/NewFunctions.hs:591:35
• In the second argument of ‘(+)’, namely ‘(getY o - y) ^ 2’
In the expression: (getX o - x) ^ 2 + (getY o - y) ^ 2
In an equation for ‘at’:
at [GPI o, Val (FloatV x), Val (FloatV y)]
= (getX o - x) ^ 2 + (getY o - y) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/NewFunctions.hs:655:16: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewFunctions.hs:655:16-22
(Num b0) arising from the literal ‘2’ at src/NewFunctions.hs:655:22
• In the expression: (a - l) ^ 2
In an equation for ‘inRange’:
inRange a l r
| a < l = (a - l) ^ 2
| a > r = (a - r) ^ 2
| a == r = 0
/Users/katherineye/Desktop/Code/penrose/src/NewFunctions.hs:656:16: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewFunctions.hs:656:16-22
(Num b0) arising from the literal ‘2’ at src/NewFunctions.hs:656:22
• In the expression: (a - r) ^ 2
In an equation for ‘inRange’:
inRange a l r
| a < l = (a - l) ^ 2
| a > r = (a - r) ^ 2
| a == r = 0
[ 7 of 16] Compiling Functions ( src/Functions.hs, .stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build/penrose/penrose-tmp/Functions.p_o )
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:86:37: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:86:37-57
(Num b0) arising from the literal ‘2’ at src/Functions.hs:86:57
• In the first argument of ‘(+)’, namely ‘(minimum xs - xmin) ^ 2’
In the first argument of ‘(+)’, namely
‘(minimum xs - xmin) ^ 2 + (maximum xs - xmax) ^ 2’
In the expression:
(minimum xs - xmin) ^ 2 + (maximum xs - xmax) ^ 2 + sum (map f xs)
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:86:61: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:86:61-81
(Num b0) arising from the literal ‘2’ at src/Functions.hs:86:81
• In the second argument of ‘(+)’, namely ‘(maximum xs - xmax) ^ 2’
In the first argument of ‘(+)’, namely
‘(minimum xs - xmin) ^ 2 + (maximum xs - xmax) ^ 2’
In the expression:
(minimum xs - xmin) ^ 2 + (maximum xs - xmax) ^ 2 + sum (map f xs)
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:88:17: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:88:17-36
(Num b0) arising from the literal ‘2’ at src/Functions.hs:88:36
• In the first argument of ‘(+)’, namely ‘(max 0 $ xmax - x) ^ 2’
In the expression: (max 0 $ xmax - x) ^ 2 + (max 0 $ x - xmin) ^ 2
In an equation for ‘f’:
f x = (max 0 $ xmax - x) ^ 2 + (max 0 $ x - xmin) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:88:40: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:88:40-59
(Num b0) arising from the literal ‘2’ at src/Functions.hs:88:59
• In the second argument of ‘(+)’, namely ‘(max 0 $ x - xmin) ^ 2’
In the expression: (max 0 $ xmax - x) ^ 2 + (max 0 $ x - xmin) ^ 2
In an equation for ‘f’:
f x = (max 0 $ xmax - x) ^ 2 + (max 0 $ x - xmin) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:91:37: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:91:37-57
(Num b0) arising from the literal ‘2’ at src/Functions.hs:91:57
• In the first argument of ‘(+)’, namely ‘(minimum ys - ymin) ^ 2’
In the first argument of ‘(+)’, namely
‘(minimum ys - ymin) ^ 2 + (maximum ys - ymax) ^ 2’
In the expression:
(minimum ys - ymin) ^ 2 + (maximum ys - ymax) ^ 2 + sum (map f ys)
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:91:61: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:91:61-81
(Num b0) arising from the literal ‘2’ at src/Functions.hs:91:81
• In the second argument of ‘(+)’, namely ‘(maximum ys - ymax) ^ 2’
In the first argument of ‘(+)’, namely
‘(minimum ys - ymin) ^ 2 + (maximum ys - ymax) ^ 2’
In the expression:
(minimum ys - ymin) ^ 2 + (maximum ys - ymax) ^ 2 + sum (map f ys)
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:93:17: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:93:17-36
(Num b0) arising from the literal ‘2’ at src/Functions.hs:93:36
• In the first argument of ‘(+)’, namely ‘(max 0 $ ymax - y) ^ 2’
In the expression: (max 0 $ ymax - y) ^ 2 + (max 0 $ y - ymin) ^ 2
In an equation for ‘f’:
f y = (max 0 $ ymax - y) ^ 2 + (max 0 $ y - ymin) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:93:40: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:93:40-59
(Num b0) arising from the literal ‘2’ at src/Functions.hs:93:59
• In the second argument of ‘(+)’, namely ‘(max 0 $ y - ymin) ^ 2’
In the expression: (max 0 $ ymax - y) ^ 2 + (max 0 $ y - ymin) ^ 2
In an equation for ‘f’:
f y = (max 0 $ ymax - y) ^ 2 + (max 0 $ y - ymin) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:96:32: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:96:32-93
(Num b0) arising from the literal ‘2’ at src/Functions.hs:96:93
• In the expression:
(1 - dotL [startx' a1, starty' a1] [startx' a2, starty' a2]) ^ 2
In an equation for ‘orthogonal’:
orthogonal [A' a1, A' a2] []
= (1 - dotL [startx' a1, starty' a1] [startx' a2, starty' a2]) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:99:24: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:99:24-46
(Num b0) arising from the literal ‘2’ at src/Functions.hs:99:46
• In the expression: (starty' a - endy' a) ^ 2
In an equation for ‘horizontal’:
horizontal [A' a] [] = (starty' a - endy' a) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:102:21: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:102:21-43
(Num b0) arising from the literal ‘2’ at src/Functions.hs:102:43
• In the expression: (startx' a - endx' a) ^ 2
In an equation for ‘upright’:
upright [A' a] [] = (startx' a - endx' a) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:110:24: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:110:24-45
(Num b0) arising from the literal ‘2’ at src/Functions.hs:110:45
• In the expression: (y1 - (y0 + y1) / 2) ^ 2
In an equation for ‘f’: f (y0, y1) = (y1 - (y0 + y1) / 2) ^ 2
In an equation for ‘increasingX’:
increasingX l []
= sum $ map f $ zip l' (drop 1 l')
where
l' = map getX l
f (y0, y1) = (y1 - (y0 + y1) / 2) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:115:24: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:115:24-45
(Num b0) arising from the literal ‘2’ at src/Functions.hs:115:45
• In the expression: (x1 - (x0 + x1) / 2) ^ 2
In an equation for ‘f’: f (x0, x1) = (x1 - (x0 + x1) / 2) ^ 2
In an equation for ‘increasingY’:
increasingY l []
= sum $ map f $ zip l' (drop 1 l')
where
l' = map getY l
f (x0, x1) = (x1 - (x0 + x1) / 2) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:120:33: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:120:33-65
(Num b0) arising from the literal ‘2’ at src/Functions.hs:120:65
• In the first argument of ‘(+)’, namely
‘(getX mid - getX left - offset) ^ 2’
In the expression:
(getX mid - getX left - offset) ^ 2
+ (getX right - getX mid - offset) ^ 2
In an equation for ‘between’:
between [mid, left, right] []
= (getX mid - getX left - offset) ^ 2
+ (getX right - getX mid - offset) ^ 2
where
offset = 100
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:120:69: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:120:69-102
(Num b0) arising from the literal ‘2’ at src/Functions.hs:120:102
• In the second argument of ‘(+)’, namely
‘(getX right - getX mid - offset) ^ 2’
In the expression:
(getX mid - getX left - offset) ^ 2
+ (getX right - getX mid - offset) ^ 2
In an equation for ‘between’:
between [mid, left, right] []
= (getX mid - getX left - offset) ^ 2
+ (getX right - getX mid - offset) ^ 2
where
offset = 100
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:125:17: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:125:17-26
(Num b0) arising from the literal ‘2’ at src/Functions.hs:125:26
• In the first argument of ‘(+)’, namely ‘getX o ^ 2’
In the expression: getX o ^ 2 + getY o ^ 2
In an equation for ‘center’:
center [o] [] = getX o ^ 2 + getY o ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:125:30: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:125:30-39
(Num b0) arising from the literal ‘2’ at src/Functions.hs:125:39
• In the second argument of ‘(+)’, namely ‘getY o ^ 2’
In the expression: getX o ^ 2 + getY o ^ 2
In an equation for ‘center’:
center [o] [] = getX o ^ 2 + getY o ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:129:37: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:129:37-71
(Num b0) arising from the literal ‘2’ at src/Functions.hs:129:71
• In the expression: (getY top - getY bottom - offset) ^ 2
In an equation for ‘above’:
above [top, bottom] [TNum offset]
= (getY top - getY bottom - offset) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:130:26: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:130:26-57
(Num b0) arising from the literal ‘2’ at src/Functions.hs:130:57
• In the expression: (getY top - getY bottom - 100) ^ 2
In an equation for ‘above’:
above [top, bottom] [] = (getY top - getY bottom - 100) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:134:20: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:134:20-44
(Num b0) arising from the literal ‘2’ at src/Functions.hs:134:44
• In the expression: (getX a - getX b + 400) ^ 2
In an equation for ‘toLeft’:
toLeft [a, b] [] = (getX a - getX b + 400) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:138:24: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:138:24-42
(Num b0) arising from the literal ‘2’ at src/Functions.hs:138:42
• In the expression: (getY a - getY b) ^ 2
In an equation for ‘sameHeight’:
sameHeight [a, b] [] = (getY a - getY b) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:141:29: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:141:29-37
(Num b0) arising from the literal ‘2’ at src/Functions.hs:141:37
• In the expression: (a - b) ^ 2
In an equation for ‘equal’: equal [] [TNum a, TNum b] = (a - b) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:144:43: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:144:43-59
(Num b0) arising from the literal ‘2’ at src/Functions.hs:144:59
• In the expression: (a - b * ratio) ^ 2
In an equation for ‘ratioOf’:
ratioOf [] [TNum a, TNum b, TNum ratio] = (a - b * ratio) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:152:7: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:152:7-29
(Num b0) arising from the literal ‘2’ at src/Functions.hs:152:29
• In the expression: (arrMidX - labMidX) ^ 2
In the expression: let labMidX = xl' l in (arrMidX - labMidX) ^ 2
In the expression:
let arrMidX = (startx' a + endx' a) / 2 in
let labMidX = xl' l in (arrMidX - labMidX) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:154:19: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:154:19-37
(Num b0) arising from the literal ‘2’ at src/Functions.hs:154:37
• In the expression: (getX a - getX b) ^ 2
In an equation for ‘sameX’: sameX [a, b] [] = (getX a - getX b) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:158:19: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:158:19-37
(Num b0) arising from the literal ‘2’ at src/Functions.hs:158:37
• In the expression: (getY a - getY b) ^ 2
In an equation for ‘sameY’: sameY [a, b] [] = (getY a - getY b) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:162:24: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:162:24-42
(Num b0) arising from the literal ‘2’ at src/Functions.hs:162:42
• In the first argument of ‘(+)’, namely ‘(getY a - getY b) ^ 2’
In the expression: (getY a - getY b) ^ 2 + (getX a - getX b) ^ 2
In an equation for ‘sameCenter’:
sameCenter [a, b] []
= (getY a - getY b) ^ 2 + (getX a - getX b) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:162:46: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:162:46-64
(Num b0) arising from the literal ‘2’ at src/Functions.hs:162:64
• In the second argument of ‘(+)’, namely ‘(getX a - getX b) ^ 2’
In the expression: (getY a - getY b) ^ 2 + (getX a - getX b) ^ 2
In an equation for ‘sameCenter’:
sameCenter [a, b] []
= (getY a - getY b) ^ 2 + (getX a - getX b) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:197:5: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:197:5-18
(Num b0) arising from the literal ‘2’ at src/Functions.hs:197:18
• In the first argument of ‘(+)’, namely ‘(fromx - sx) ^ 2’
In the first argument of ‘(+)’, namely
‘(fromx - sx) ^ 2 + (fromy - sy) ^ 2’
In the first argument of ‘(+)’, namely
‘(fromx - sx) ^ 2 + (fromy - sy) ^ 2 + (tox - ex) ^ 2’
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:197:22: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:197:22-35
(Num b0) arising from the literal ‘2’ at src/Functions.hs:197:35
• In the second argument of ‘(+)’, namely ‘(fromy - sy) ^ 2’
In the first argument of ‘(+)’, namely
‘(fromx - sx) ^ 2 + (fromy - sy) ^ 2’
In the first argument of ‘(+)’, namely
‘(fromx - sx) ^ 2 + (fromy - sy) ^ 2 + (tox - ex) ^ 2’
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:197:39: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:197:39-50
(Num b0) arising from the literal ‘2’ at src/Functions.hs:197:50
• In the second argument of ‘(+)’, namely ‘(tox - ex) ^ 2’
In the first argument of ‘(+)’, namely
‘(fromx - sx) ^ 2 + (fromy - sy) ^ 2 + (tox - ex) ^ 2’
In the expression:
(fromx - sx) ^ 2 + (fromy - sy) ^ 2 + (tox - ex) ^ 2
+ (toy - ey) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:197:54: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:197:54-65
(Num b0) arising from the literal ‘2’ at src/Functions.hs:197:65
• In the second argument of ‘(+)’, namely ‘(toy - ey) ^ 2’
In the expression:
(fromx - sx) ^ 2 + (fromy - sy) ^ 2 + (tox - ex) ^ 2
+ (toy - ey) ^ 2
In the expression:
let
vec = [...]
dir = normalize vec
[sx, sy, ex, ey]
= if norm vec > o1 + abs o2 then
(s1 +. o1 *. dir) ++ (s2 +. o2 *. dir)
else
s1 ++ s2
....
in
(fromx - sx) ^ 2 + (fromy - sy) ^ 2 + (tox - ex) ^ 2
+ (toy - ey) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:202:28: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:202:28-51
(Num b0) arising from the literal ‘2’ at src/Functions.hs:202:51
• In the first argument of ‘(+)’, namely
‘(startx_l' l - xp' p1) ^ 2’
In the expression:
(startx_l' l - xp' p1) ^ 2 + (starty_l' l - yp' p1) ^ 2
In an equation for ‘p1_distsq’:
p1_distsq = (startx_l' l - xp' p1) ^ 2 + (starty_l' l - yp' p1) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:202:55: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:202:55-78
(Num b0) arising from the literal ‘2’ at src/Functions.hs:202:78
• In the second argument of ‘(+)’, namely
‘(starty_l' l - yp' p1) ^ 2’
In the expression:
(startx_l' l - xp' p1) ^ 2 + (starty_l' l - yp' p1) ^ 2
In an equation for ‘p1_distsq’:
p1_distsq = (startx_l' l - xp' p1) ^ 2 + (starty_l' l - yp' p1) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:203:28: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:203:28-49
(Num b0) arising from the literal ‘2’ at src/Functions.hs:203:49
• In the first argument of ‘(+)’, namely ‘(endx_l' l - xp' p2) ^ 2’
In the expression:
(endx_l' l - xp' p2) ^ 2 + (endy_l' l - yp' p2) ^ 2
In an equation for ‘p2_distsq’:
p2_distsq = (endx_l' l - xp' p2) ^ 2 + (endy_l' l - yp' p2) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:203:53: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:203:53-74
(Num b0) arising from the literal ‘2’ at src/Functions.hs:203:74
• In the second argument of ‘(+)’, namely
‘(endy_l' l - yp' p2) ^ 2’
In the expression:
(endx_l' l - xp' p2) ^ 2 + (endy_l' l - yp' p2) ^ 2
In an equation for ‘p2_distsq’:
p2_distsq = (endx_l' l - xp' p2) ^ 2 + (endy_l' l - yp' p2) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:243:17: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘Integer’ Num t0
• When checking that the inferred type
xmargin :: forall t t1. (Num t, Num t1) => t1
is as general as its inferred signature
xmargin :: forall t. Num t => t
In the expression:
let
((lx, ly), (rx, ry)) = bezierBbox bez
(xmargin, ymargin) = (- 10, 30)
midbez = ((lx + rx) / 2 + xmargin, (ly + ry) / 2 + ymargin)
in distsq midbez (getX lab, getY lab)
In an equation for ‘centerLabel’:
centerLabel [CB' bez, L' lab] []
= let
((lx, ly), (rx, ry)) = bezierBbox bez
(xmargin, ymargin) = ...
....
in distsq midbez (getX lab, getY lab)
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:243:17: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘Integer’ Num t0
• When checking that the inferred type
ymargin :: forall t t1. (Num t, Num t1) => t
is as general as its inferred signature
ymargin :: forall t. Num t => t
In the expression:
let
((lx, ly), (rx, ry)) = bezierBbox bez
(xmargin, ymargin) = (- 10, 30)
midbez = ((lx + rx) / 2 + xmargin, (ly + ry) / 2 + ymargin)
in distsq midbez (getX lab, getY lab)
In an equation for ‘centerLabel’:
centerLabel [CB' bez, L' lab] []
= let
((lx, ly), (rx, ry)) = bezierBbox bez
(xmargin, ymargin) = ...
....
in distsq midbez (getX lab, getY lab)
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:254:17: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:254:17-32
(Num b0) arising from the literal ‘2’ at src/Functions.hs:254:32
• In the first argument of ‘(+)’, namely ‘(px + 10 - lx) ^ 2’
In the expression: (px + 10 - lx) ^ 2 + (py + 20 - ly) ^ 2
In the expression:
let [px, py, lx, ly] = [...]
in (px + 10 - lx) ^ 2 + (py + 20 - ly) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:254:36: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:254:36-51
(Num b0) arising from the literal ‘2’ at src/Functions.hs:254:51
• In the second argument of ‘(+)’, namely ‘(py + 20 - ly) ^ 2’
In the expression: (px + 10 - lx) ^ 2 + (py + 20 - ly) ^ 2
In the expression:
let [px, py, lx, ly] = [...]
in (px + 10 - lx) ^ 2 + (py + 20 - ly) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:261:17: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:261:17-27
(Num b0) arising from the literal ‘2’ at src/Functions.hs:261:27
• In the first argument of ‘(+)’, namely ‘(mx - lx) ^ 2’
In the expression: (mx - lx) ^ 2 + (my + 1.1 * hl' l - ly) ^ 2
In the expression:
let
(sx, sy, ex, ey) = (startx' a, starty' a, endx' a, endy' a)
(mx, my) = midpoint (sx, sy) (ex, ey)
(lx, ly) = (xl' l, yl' l)
in (mx - lx) ^ 2 + (my + 1.1 * hl' l - ly) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:261:31: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:261:31-55
(Num b0) arising from the literal ‘2’ at src/Functions.hs:261:55
• In the second argument of ‘(+)’, namely
‘(my + 1.1 * hl' l - ly) ^ 2’
In the expression: (mx - lx) ^ 2 + (my + 1.1 * hl' l - ly) ^ 2
In the expression:
let
(sx, sy, ex, ey) = (startx' a, starty' a, endx' a, endy' a)
(mx, my) = midpoint (sx, sy) (ex, ey)
(lx, ly) = (xl' l, yl' l)
in (mx - lx) ^ 2 + (my + 1.1 * hl' l - ly) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:265:27: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:265:27-87
(Num b0) arising from the literal ‘2’ at src/Functions.hs:265:87
• In the expression:
(dist (xl' o, yl' o) (xc' i, yc' i) - (1.5 * r' i) - wl' o) ^ 2
In an equation for ‘outside’:
outside [L' o, C' i] []
= (dist (xl' o, yl' o) (xc' i, yc' i) - (1.5 * r' i) - wl' o) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:266:27: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:266:27-95
(Num b0) arising from the literal ‘2’ at src/Functions.hs:266:95
• In the expression:
(dist (xl' o, yl' o) (xs' i, ys' i) - 2 * (halfDiagonal . side') i)
^ 2
In an equation for ‘outside’:
outside [L' o, S' i] []
= (dist (xl' o, yl' o) (xs' i, ys' i)
- 2 * (halfDiagonal . side') i)
^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:327:27: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:327:27-40
(Num b0) arising from the literal ‘2’ at src/Functions.hs:327:40
• In the first argument of ‘(+)’, namely ‘(getX o - x) ^ 2’
In the expression: (getX o - x) ^ 2 + (getY o - y) ^ 2
In an equation for ‘at’:
at [o] [TNum x, TNum y] = (getX o - x) ^ 2 + (getY o - y) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:327:44: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:327:44-57
(Num b0) arising from the literal ‘2’ at src/Functions.hs:327:57
• In the second argument of ‘(+)’, namely ‘(getY o - y) ^ 2’
In the expression: (getX o - x) ^ 2 + (getY o - y) ^ 2
In an equation for ‘at’:
at [o] [TNum x, TNum y] = (getX o - x) ^ 2 + (getY o - y) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:350:11: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘Integer’ Num t0
• When checking that the inferred type
w :: forall t t1. (Num t, Num t1) => t1
is as general as its inferred signature
w :: forall t. Num t => t
In an equation for ‘ellipseRatio’:
ellipseRatio [E' e] []
= (rx' e / w - ry' e / l) ** 2
where
(w, l) = (9, 16)
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:350:11: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘Integer’ Num t0
• When checking that the inferred type
l :: forall t t1. (Num t, Num t1) => t
is as general as its inferred signature
l :: forall t. Num t => t
In an equation for ‘ellipseRatio’:
ellipseRatio [E' e] []
= (rx' e / w - ry' e / l) ** 2
where
(w, l) = (9, 16)
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:393:35: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:393:35-41
(Num b0) arising from the literal ‘2’ at src/Functions.hs:393:41
• In the expression: (a - l) ^ 2
In the expression:
if (a < l) then (a - l) ^ 2 else if (a > r) then (a - r) ^ 2 else 0
In an equation for ‘isInRange’:
isInRange a l r
= if (a < l) then
(a - l) ^ 2
else
if (a > r) then (a - r) ^ 2 else 0
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:393:64: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:393:64-70
(Num b0) arising from the literal ‘2’ at src/Functions.hs:393:70
• In the expression: (a - r) ^ 2
In the expression: if (a > r) then (a - r) ^ 2 else 0
In the expression:
if (a < l) then (a - l) ^ 2 else if (a > r) then (a - r) ^ 2 else 0
/Users/katherineye/Desktop/Code/penrose/src/Functions.hs:498:28: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Functions.hs:498:28-40
(Num b0) arising from a use of ‘q’ at src/Functions.hs:498:40
• In the second argument of ‘($)’, namely ‘(max x 0) ^ q’
In the expression: tr "penalty" $ (max x 0) ^ q
In an equation for ‘penalty’:
penalty x
= tr "penalty" $ (max x 0) ^ q
where
q = 2
[ 8 of 16] Compiling Substance ( src/Substance.hs, .stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build/penrose/penrose-tmp/Substance.p_o )
[10 of 16] Compiling NewStyle ( src/NewStyle.hs, .stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build/penrose/penrose-tmp/NewStyle.p_o )
/Users/katherineye/Desktop/Code/penrose/src/NewStyle.hs:1240:33: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(Show a0)
arising from a use of ‘show’ at src/NewStyle.hs:1240:33-47
(RealFloat a0)
arising from a use of ‘weight’ at src/NewStyle.hs:1240:39-46
(Floating a0)
arising from a use of ‘weight’ at src/NewStyle.hs:1240:39-46
(Real a0)
arising from a use of ‘weight’ at src/NewStyle.hs:1240:39-46
(Ord a0)
arising from a use of ‘weight’ at src/NewStyle.hs:1240:39-46
• In the first argument of ‘(++)’, namely ‘show (weight p)’
In the second argument of ‘(++)’, namely
‘show (weight p) ++ " | Opt status: " ++ show (optStatus p)’
In the expression:
"Weight: "
++ show (weight p) ++ " | Opt status: " ++ show (optStatus p)
/Users/katherineye/Desktop/Code/penrose/src/NewStyle.hs:1260:35: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(Show a0)
arising from a use of ‘ppShow’ at src/NewStyle.hs:1260:35-52
(RealFloat a0)
arising from a use of ‘shapesr’ at src/NewStyle.hs:1260:43-51
(Floating a0)
arising from a use of ‘shapesr’ at src/NewStyle.hs:1260:43-51
(Real a0)
arising from a use of ‘shapesr’ at src/NewStyle.hs:1260:43-51
(Ord a0)
arising from a use of ‘shapesr’ at src/NewStyle.hs:1260:43-51
• In the first argument of ‘(++)’, namely ‘ppShow (shapesr s)’
In the second argument of ‘(++)’, namely
‘ppShow (shapesr s)
++
"\n\
\Shape names: \n"
++
ppShow (shapeNames s)
++
"\n\
\Translation: \n"
++
ppShow (transr s)
++
"\n\
\Varying paths: \n"
++
ppShow (varyingPaths s)
++
"\n\
\Uninitialized paths: \n"
++
ppShow (uninitializedPaths s)
++
"\n\
\Varying state: \n"
++
ppShow (varyingState s)
++
"\n\
\Params: \n"
++
ppShow (paramsr s)
++
"\n\
\Objective Functions: \n"
++
ppShowList (objFns s)
++
"\n\
\Constraint Functions: \n"
++
ppShowList (constrFns s)
++
"\n\
\Autostep: \n"
++ ppShow (autostep s)’
In the expression:
"Shapes: \n"
++
ppShow (shapesr s)
++
"\n\
\Shape names: \n"
++
ppShow (shapeNames s)
++
"\n\
\Translation: \n"
++
ppShow (transr s)
++
"\n\
\Varying paths: \n"
++
ppShow (varyingPaths s)
++
"\n\
\Uninitialized paths: \n"
++
ppShow (uninitializedPaths s)
++
"\n\
\Varying state: \n"
++
ppShow (varyingState s)
++
"\n\
\Params: \n"
++
ppShow (paramsr s)
++
"\n\
\Objective Functions: \n"
++
ppShowList (objFns s)
++
"\n\
\Constraint Functions: \n"
++
ppShowList (constrFns s)
++
"\n\
\Autostep: \n"
++ ppShow (autostep s)
/Users/katherineye/Desktop/Code/penrose/src/NewStyle.hs:1262:42: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(Show a0)
arising from a use of ‘ppShow’ at src/NewStyle.hs:1262:42-58
(RealFloat a0)
arising from a use of ‘transr’ at src/NewStyle.hs:1262:50-57
(Floating a0)
arising from a use of ‘transr’ at src/NewStyle.hs:1262:50-57
(Real a0)
arising from a use of ‘transr’ at src/NewStyle.hs:1262:50-57
(Ord a0)
arising from a use of ‘transr’ at src/NewStyle.hs:1262:50-57
• In the first argument of ‘(++)’, namely ‘ppShow (transr s)’
In the second argument of ‘(++)’, namely
‘ppShow (transr s)
++
"\n\
\Varying paths: \n"
++
ppShow (varyingPaths s)
++
"\n\
\Uninitialized paths: \n"
++
ppShow (uninitializedPaths s)
++
"\n\
\Varying state: \n"
++
ppShow (varyingState s)
++
"\n\
\Params: \n"
++
ppShow (paramsr s)
++
"\n\
\Objective Functions: \n"
++
ppShowList (objFns s)
++
"\n\
\Constraint Functions: \n"
++
ppShowList (constrFns s)
++
"\n\
\Autostep: \n"
++ ppShow (autostep s)’
In the second argument of ‘(++)’, namely
‘"\n\
\Translation: \n"
++
ppShow (transr s)
++
"\n\
\Varying paths: \n"
++
ppShow (varyingPaths s)
++
"\n\
\Uninitialized paths: \n"
++
ppShow (uninitializedPaths s)
++
"\n\
\Varying state: \n"
++
ppShow (varyingState s)
++
"\n\
\Params: \n"
++
ppShow (paramsr s)
++
"\n\
\Objective Functions: \n"
++
ppShowList (objFns s)
++
"\n\
\Constraint Functions: \n"
++
ppShowList (constrFns s)
++
"\n\
\Autostep: \n"
++ ppShow (autostep s)’
/Users/katherineye/Desktop/Code/penrose/src/NewStyle.hs:1621:16: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/NewStyle.hs:1621:16-21
(Num b0) arising from the literal ‘4’ at src/NewStyle.hs:1621:21
• In the expression: 10 ^ 4
In an equation for ‘constrWeight’: constrWeight = 10 ^ 4
/Users/katherineye/Desktop/Code/penrose/src/NewStyle.hs:1801:27: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(RealFloat a0)
arising from a use of ‘findVarying’ at src/NewStyle.hs:1801:27-43
(Floating a0)
arising from a use of ‘findVarying’ at src/NewStyle.hs:1801:27-43
(Real a0)
arising from a use of ‘findVarying’ at src/NewStyle.hs:1801:27-43
(Show a0)
arising from a use of ‘findVarying’ at src/NewStyle.hs:1801:27-43
(Ord a0)
arising from a use of ‘findVarying’ at src/NewStyle.hs:1801:27-43
• In the expression: findVarying trans
In an equation for ‘varyingPaths’: varyingPaths = findVarying trans
In the expression:
let varyingPaths = findVarying trans in
let uninitializedPaths = findUninitialized trans in
let shapeNames = findShapeNames trans in
let (transInit, g') = initShapes trans shapeNames initRng in
let shapeProperties = findShapesProperties transInit in
let
(objfns, constrfns)
= (toFns . partitionEithers . findObjfnsConstrs) transInit in
let
(defaultObjFns, defaultConstrs)
= (toFns . partitionEithers . findDefaultFns) transInit in
let
(objFnsWithDefaults, constrsWithDefaults)
= (objfns ++ defaultObjFns, constrfns ++ defaultConstrs) in
let
overallFn
= genObjfn
transInit objFnsWithDefaults constrsWithDefaults varyingPaths in
let initVaryingMap = M.empty in
let
(initialGPIs, transEvaled)
= evalShapes
evalIterRange
(map (mkPath . list2) $ shapeNames)
transInit
initVaryingMap in
let initState = lookupPaths varyingPaths transEvaled
in
RState
{shapesr = initialGPIs, shapeNames = shapeNames,
shapeProperties = shapeProperties, transr = transInit,
varyingPaths = varyingPaths,
uninitializedPaths = uninitializedPaths, varyingState = initState,
objFns = objFnsWithDefaults, constrFns = constrsWithDefaults,
paramsr = Params
{weight = initWeight, optStatus = NewIter,
overallObjFn = overallFn},
rng = g', autostep = False}
/Users/katherineye/Desktop/Code/penrose/src/NewStyle.hs:1803:30: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(RealFloat a0)
arising from a use of ‘findUninitialized’
at src/NewStyle.hs:1803:30-52
(Floating a0)
arising from a use of ‘findUninitialized’
at src/NewStyle.hs:1803:30-52
(Real a0)
arising from a use of ‘findUninitialized’
at src/NewStyle.hs:1803:30-52
(Show a0)
arising from a use of ‘findUninitialized’
at src/NewStyle.hs:1803:30-52
(Ord a0)
arising from a use of ‘findUninitialized’
at src/NewStyle.hs:1803:30-52
• In the expression: findUninitialized trans
In an equation for ‘uninitializedPaths’:
uninitializedPaths = findUninitialized trans
In the expression:
let uninitializedPaths = findUninitialized trans in
let shapeNames = findShapeNames trans in
let (transInit, g') = initShapes trans shapeNames initRng in
let shapeProperties = findShapesProperties transInit in
let
(objfns, constrfns)
= (toFns . partitionEithers . findObjfnsConstrs) transInit in
let
(defaultObjFns, defaultConstrs)
= (toFns . partitionEithers . findDefaultFns) transInit in
let
(objFnsWithDefaults, constrsWithDefaults)
= (objfns ++ defaultObjFns, constrfns ++ defaultConstrs) in
let
overallFn
= genObjfn
transInit objFnsWithDefaults constrsWithDefaults varyingPaths in
let initVaryingMap = M.empty in
let
(initialGPIs, transEvaled)
= evalShapes
evalIterRange
(map (mkPath . list2) $ shapeNames)
transInit
initVaryingMap in
let initState = lookupPaths varyingPaths transEvaled
in
RState
{shapesr = initialGPIs, shapeNames = shapeNames,
shapeProperties = shapeProperties, transr = transInit,
varyingPaths = varyingPaths,
uninitializedPaths = uninitializedPaths, varyingState = initState,
objFns = objFnsWithDefaults, constrFns = constrsWithDefaults,
paramsr = Params
{weight = initWeight, optStatus = NewIter,
overallObjFn = overallFn},
rng = g', autostep = False}
/Users/katherineye/Desktop/Code/penrose/src/NewStyle.hs:1804:42: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(RealFloat t0)
arising from a use of ‘trans’ at src/NewStyle.hs:1804:42-46
(Floating t0)
arising from a use of ‘trans’ at src/NewStyle.hs:1804:42-46
(Real t0)
arising from a use of ‘trans’ at src/NewStyle.hs:1804:42-46
(Show t0)
arising from a use of ‘trans’ at src/NewStyle.hs:1804:42-46
(Ord t0)
arising from a use of ‘trans’ at src/NewStyle.hs:1804:42-46
• In the first argument of ‘findShapeNames’, namely ‘trans’
In the expression: findShapeNames trans
In an equation for ‘shapeNames’: shapeNames = findShapeNames trans
/Users/katherineye/Desktop/Code/penrose/src/NewStyle.hs:1807:9: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(Show a0)
arising from a type equality forall a.
(Show a, RealFloat a) =>
StdGen
~
StdGen
at src/NewStyle.hs:1807:9-61
(RealFloat a0)
arising from a type equality forall a.
(Show a, RealFloat a) =>
StdGen
~
StdGen
at src/NewStyle.hs:1807:9-61
• When checking that the inferred type
g' :: forall a. (Show a, RealFloat a) => StdGen
is as general as its inferred signature
g' :: StdGen
In the expression:
let (transInit, g') = initShapes trans shapeNames initRng in
let shapeProperties = findShapesProperties transInit in
let
(objfns, constrfns)
= (toFns . partitionEithers . findObjfnsConstrs) transInit in
let
(defaultObjFns, defaultConstrs)
= (toFns . partitionEithers . findDefaultFns) transInit in
let
(objFnsWithDefaults, constrsWithDefaults)
= (objfns ++ defaultObjFns, constrfns ++ defaultConstrs) in
let
overallFn
= genObjfn
transInit objFnsWithDefaults constrsWithDefaults varyingPaths in
let initVaryingMap = M.empty in
let
(initialGPIs, transEvaled)
= evalShapes
evalIterRange
(map (mkPath . list2) $ shapeNames)
transInit
initVaryingMap in
let initState = lookupPaths varyingPaths transEvaled
in
RState
{shapesr = initialGPIs, shapeNames = shapeNames,
shapeProperties = shapeProperties, transr = transInit,
varyingPaths = varyingPaths,
uninitializedPaths = uninitializedPaths, varyingState = initState,
objFns = objFnsWithDefaults, constrFns = constrsWithDefaults,
paramsr = Params
{weight = initWeight, optStatus = NewIter,
overallObjFn = overallFn},
rng = g', autostep = False}
In the expression:
let shapeNames = findShapeNames trans in
let (transInit, g') = initShapes trans shapeNames initRng in
let shapeProperties = findShapesProperties transInit in
let
(objfns, constrfns)
= (toFns . partitionEithers . findObjfnsConstrs) transInit in
let
(defaultObjFns, defaultConstrs)
= (toFns . partitionEithers . findDefaultFns) transInit in
let
(objFnsWithDefaults, constrsWithDefaults)
= (objfns ++ defaultObjFns, constrfns ++ defaultConstrs) in
let
overallFn
= genObjfn
transInit objFnsWithDefaults constrsWithDefaults varyingPaths in
let initVaryingMap = M.empty in
let
(initialGPIs, transEvaled)
= evalShapes
evalIterRange
(map (mkPath . list2) $ shapeNames)
transInit
initVaryingMap in
let initState = lookupPaths varyingPaths transEvaled
in
RState
{shapesr = initialGPIs, shapeNames = shapeNames,
shapeProperties = shapeProperties, transr = transInit,
varyingPaths = varyingPaths,
uninitializedPaths = uninitializedPaths, varyingState = initState,
objFns = objFnsWithDefaults, constrFns = constrsWithDefaults,
paramsr = Params
{weight = initWeight, optStatus = NewIter,
overallObjFn = overallFn},
rng = g', autostep = False}
/Users/katherineye/Desktop/Code/penrose/src/NewStyle.hs:1808:48: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(Show t0)
arising from a use of ‘transInit’ at src/NewStyle.hs:1808:48-56
(RealFloat t0)
arising from a use of ‘transInit’ at src/NewStyle.hs:1808:48-56
• In the first argument of ‘findShapesProperties’, namely
‘transInit’
In the expression: findShapesProperties transInit
In an equation for ‘shapeProperties’:
shapeProperties = findShapesProperties transInit
/Users/katherineye/Desktop/Code/penrose/src/NewStyle.hs:1810:78: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(Show t0)
arising from a use of ‘transInit’ at src/NewStyle.hs:1810:78-86
(RealFloat t0)
arising from a use of ‘transInit’ at src/NewStyle.hs:1810:78-86
• In the first argument of ‘toFns
. partitionEithers . findObjfnsConstrs’, namely
‘transInit’
In the expression:
(toFns . partitionEithers . findObjfnsConstrs) transInit
In a pattern binding:
(objfns, constrfns)
= (toFns . partitionEithers . findObjfnsConstrs) transInit
/Users/katherineye/Desktop/Code/penrose/src/NewStyle.hs:1811:87: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(Show t0)
arising from a use of ‘transInit’ at src/NewStyle.hs:1811:87-95
(RealFloat t0)
arising from a use of ‘transInit’ at src/NewStyle.hs:1811:87-95
• In the first argument of ‘toFns
. partitionEithers . findDefaultFns’, namely
‘transInit’
In the expression:
(toFns . partitionEithers . findDefaultFns) transInit
In a pattern binding:
(defaultObjFns, defaultConstrs)
= (toFns . partitionEithers . findDefaultFns) transInit
[11 of 16] Compiling Optimizer ( src/Optimizer.hs, .stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build/penrose/penrose-tmp/Optimizer.p_o ) [NewStyle changed]
/Users/katherineye/Desktop/Code/penrose/src/Optimizer.hs:83:14: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(Show t0)
arising from a type equality forall t.
(Show t, RealFloat t) =>
OptStatus
~
OptStatus
at src/Optimizer.hs:83:14-69
(RealFloat t0)
arising from a type equality forall t.
(Show t, RealFloat t) =>
OptStatus
~
OptStatus
at src/Optimizer.hs:83:14-69
• When checking that the inferred type
epStatus :: forall t. (Show t, RealFloat t) => OptStatus
is as general as its inferred signature
epStatus :: OptStatus
In the expression:
let (epWeight, epStatus) = (weight params, optStatus params)
in
case epStatus of {
NewIter
-> let ...
in (vstate', params {weight = initWeight, optStatus = status'})
UnconstrainedRunning lastEPstate
-> let ... in if unconstrConverged then ... else ...
UnconstrainedConverged lastEPstate
-> let ... in if epConverged then ... else ...
EPConverged -> (vstate, params) }
In an equation for ‘stepShapes’:
stepShapes params vstate
= let (epWeight, epStatus) = ...
in
case epStatus of {
NewIter -> let ... in ...
UnconstrainedRunning lastEPstate -> let ... in ...
UnconstrainedConverged lastEPstate -> let ... in ...
EPConverged -> (vstate, params) }
where
(vstate', gradEval) = stepWithObjective params vstate
objFnApplied = (overallObjFn params) (weight params)
/Users/katherineye/Desktop/Code/penrose/src/Optimizer.hs:115:67: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(Show a0)
arising from a use of ‘show’ at src/Optimizer.hs:115:67-80
(RealFloat a0)
arising from a use of ‘epWeight'’ at src/Optimizer.hs:115:72-80
• In the second argument of ‘(++)’, namely ‘show epWeight'’
In the first argument of ‘trace’, namely
‘("Unconstrained converged. New weight: " ++ show epWeight')’
In the expression:
trace ("Unconstrained converged. New weight: " ++ show epWeight')
/Users/katherineye/Desktop/Code/penrose/src/Optimizer.hs:156:21: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(Real a0)
arising from a use of ‘realToFrac’ at src/Optimizer.hs:156:21-46
(RealFloat a0)
arising from a use of ‘weight’ at src/Optimizer.hs:156:34-46
(Floating a0)
arising from a use of ‘weight’ at src/Optimizer.hs:156:34-46
(Show a0)
arising from a use of ‘weight’ at src/Optimizer.hs:156:34-46
(Ord a0)
arising from a use of ‘weight’ at src/Optimizer.hs:156:34-46
• In the expression: realToFrac $ weight params
In an equation for ‘cWeight’: cWeight = realToFrac $ weight params
In an equation for ‘stepWithObjective’:
stepWithObjective params state
= (steppedState, gradEval)
where
(t', gradEval) = timeAndGrad objFnApplied state
steppedState
= let ... in
let ...
in
tro
("||x' - x||: "
++
(show $ norm (state -. state'))
++
"\n\
\|f(x') - f(x)|: "
++
(show $ abs (fx' - fx))
++
"\n\
\f(x'): \n"
++
(show fx')
++
"\n\
\gradEval: \n"
++
(show gradEval)
++
"\n\
\||gradEval||: \n"
++
(show $ norm gradEval)
++
"\n\
\state: \n"
++ (show state'))
state'
objFnApplied :: ObjFn1 b
objFnApplied = (overallObjFn params) cWeight
....
/Users/katherineye/Desktop/Code/penrose/src/Optimizer.hs:204:17: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘Integer’ Num t0
• When checking that the inferred type
a0 :: forall t t1 t2. (Num t, Num t2, Floating t1) => t2
is as general as its inferred signature
a0 :: forall t. Num t => t
In an equation for ‘awLineSearch’:
awLineSearch f duf_noU descentDir x0
= let
(numUpdates, (af, bf, tf))
= head
$ dropWhile intervalOK_or_notArmijoAndWolfe
$ zip ... $ iterate update ...
in tr ("Line search # updates: " ++ show numUpdates) $ tf
where
(a0, b0, t0) = (0, infinity, 1)
duf = duf_noU descentDir
update (a, b, t) = let ... in if sat then ... else ...
intervalOK_or_notArmijoAndWolfe (numUpdates, (a, b, t))
= not
$ if armijo t && weakWolfe t then
tr
("stop: both sat. |-gradf(x0)| = " ++ show (norm descentDir)) True
else
if abs (b - a) < minInterval then
tr
("stop: interval too small. |-gradf(x0)| = "
++ show (norm descentDir))
True
else
...
....
/Users/katherineye/Desktop/Code/penrose/src/Optimizer.hs:204:17: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘Double’ Floating t0
• When checking that the inferred type
a0 :: forall t t1 t2. (Num t, Num t2, Floating t1) => t2
is as general as its inferred signature
a0 :: forall t. Num t => t
In an equation for ‘awLineSearch’:
awLineSearch f duf_noU descentDir x0
= let
(numUpdates, (af, bf, tf))
= head
$ dropWhile intervalOK_or_notArmijoAndWolfe
$ zip ... $ iterate update ...
in tr ("Line search # updates: " ++ show numUpdates) $ tf
where
(a0, b0, t0) = (0, infinity, 1)
duf = duf_noU descentDir
update (a, b, t) = let ... in if sat then ... else ...
intervalOK_or_notArmijoAndWolfe (numUpdates, (a, b, t))
= not
$ if armijo t && weakWolfe t then
tr
("stop: both sat. |-gradf(x0)| = " ++ show (norm descentDir)) True
else
if abs (b - a) < minInterval then
tr
("stop: interval too small. |-gradf(x0)| = "
++ show (norm descentDir))
True
else
...
....
/Users/katherineye/Desktop/Code/penrose/src/Optimizer.hs:204:17: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘Integer’ Num t0
• When checking that the inferred type
b0 :: forall t t1 t2. (Num t, Num t2, Floating t1) => t1
is as general as its inferred signature
b0 :: forall t. Floating t => t
In an equation for ‘awLineSearch’:
awLineSearch f duf_noU descentDir x0
= let
(numUpdates, (af, bf, tf))
= head
$ dropWhile intervalOK_or_notArmijoAndWolfe
$ zip ... $ iterate update ...
in tr ("Line search # updates: " ++ show numUpdates) $ tf
where
(a0, b0, t0) = (0, infinity, 1)
duf = duf_noU descentDir
update (a, b, t) = let ... in if sat then ... else ...
intervalOK_or_notArmijoAndWolfe (numUpdates, (a, b, t))
= not
$ if armijo t && weakWolfe t then
tr
("stop: both sat. |-gradf(x0)| = " ++ show (norm descentDir)) True
else
if abs (b - a) < minInterval then
tr
("stop: interval too small. |-gradf(x0)| = "
++ show (norm descentDir))
True
else
...
....
/Users/katherineye/Desktop/Code/penrose/src/Optimizer.hs:204:17: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘Integer’ Num t0
• When checking that the inferred type
b0 :: forall t t1 t2. (Num t, Num t2, Floating t1) => t1
is as general as its inferred signature
b0 :: forall t. Floating t => t
In an equation for ‘awLineSearch’:
awLineSearch f duf_noU descentDir x0
= let
(numUpdates, (af, bf, tf))
= head
$ dropWhile intervalOK_or_notArmijoAndWolfe
$ zip ... $ iterate update ...
in tr ("Line search # updates: " ++ show numUpdates) $ tf
where
(a0, b0, t0) = (0, infinity, 1)
duf = duf_noU descentDir
update (a, b, t) = let ... in if sat then ... else ...
intervalOK_or_notArmijoAndWolfe (numUpdates, (a, b, t))
= not
$ if armijo t && weakWolfe t then
tr
("stop: both sat. |-gradf(x0)| = " ++ show (norm descentDir)) True
else
if abs (b - a) < minInterval then
tr
("stop: interval too small. |-gradf(x0)| = "
++ show (norm descentDir))
True
else
...
....
/Users/katherineye/Desktop/Code/penrose/src/Optimizer.hs:204:17: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘Double’ Floating t0
• When checking that the inferred type
t0 :: forall t t1 t2. (Num t, Num t2, Floating t1) => t
is as general as its inferred signature
t0 :: forall t. Num t => t
In an equation for ‘awLineSearch’:
awLineSearch f duf_noU descentDir x0
= let
(numUpdates, (af, bf, tf))
= head
$ dropWhile intervalOK_or_notArmijoAndWolfe
$ zip ... $ iterate update ...
in tr ("Line search # updates: " ++ show numUpdates) $ tf
where
(a0, b0, t0) = (0, infinity, 1)
duf = duf_noU descentDir
update (a, b, t) = let ... in if sat then ... else ...
intervalOK_or_notArmijoAndWolfe (numUpdates, (a, b, t))
= not
$ if armijo t && weakWolfe t then
tr
("stop: both sat. |-gradf(x0)| = " ++ show (norm descentDir)) True
else
if abs (b - a) < minInterval then
tr
("stop: interval too small. |-gradf(x0)| = "
++ show (norm descentDir))
True
else
...
....
/Users/katherineye/Desktop/Code/penrose/src/Optimizer.hs:204:17: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘Integer’ Num t0
• When checking that the inferred type
t0 :: forall t t1 t2. (Num t, Num t2, Floating t1) => t
is as general as its inferred signature
t0 :: forall t. Num t => t
In an equation for ‘awLineSearch’:
awLineSearch f duf_noU descentDir x0
= let
(numUpdates, (af, bf, tf))
= head
$ dropWhile intervalOK_or_notArmijoAndWolfe
$ zip ... $ iterate update ...
in tr ("Line search # updates: " ++ show numUpdates) $ tf
where
(a0, b0, t0) = (0, infinity, 1)
duf = duf_noU descentDir
update (a, b, t) = let ... in if sat then ... else ...
intervalOK_or_notArmijoAndWolfe (numUpdates, (a, b, t))
= not
$ if armijo t && weakWolfe t then
tr
("stop: both sat. |-gradf(x0)| = " ++ show (norm descentDir)) True
else
if abs (b - a) < minInterval then
tr
("stop: interval too small. |-gradf(x0)| = "
++ show (norm descentDir))
True
else
...
....
[12 of 16] Compiling Server ( src/Server.hs, .stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build/penrose/penrose-tmp/Server.p_o ) [NewStyle changed]
/Users/katherineye/Desktop/Code/penrose/src/Server.hs:133:42: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(Show a0) arising from a use of ‘show’ at src/Server.hs:133:42-72
(RealFloat a0)
arising from a use of ‘NS.weight’ at src/Server.hs:133:49-72
(Real a0)
arising from a use of ‘NS.weight’ at src/Server.hs:133:49-72
(Ord a0)
arising from a use of ‘NS.weight’ at src/Server.hs:133:49-72
(Floating a0)
arising from a use of ‘NS.weight’ at src/Server.hs:133:49-72
• In the second argument of ‘(++)’, namely
‘(show $ NS.weight (NS.paramsr s))’
In the first argument of ‘putStrLn’, namely
‘("Current weight: " ++ (show $ NS.weight (NS.paramsr s)))’
In a stmt of a 'do' block:
putStrLn ("Current weight: " ++ (show $ NS.weight (NS.paramsr s)))
/Users/katherineye/Desktop/Code/penrose/src/Server.hs:187:9: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘Double’
Fractional t0
• When checking that the inferred type
xm' :: forall t t1. (Fractional t, Fractional t1) => t1
is as general as its inferred signature
xm' :: forall t. Fractional t => t
In the expression:
let
(xm', ym') = (r2f xm, r2f ym)
newShapes = map (\ shape -> ...) (NS.shapesr s)
news
= s {NS.shapesr = newShapes,
NS.varyingState = NS.shapes2floats newShapes $ NS.varyingPaths s,
NS.paramsr = ...}
in if NS.autostep s then stepAndSend conn news else loop conn news
In an equation for ‘dragUpdate’:
dragUpdate name xm ym conn s
= let
(xm', ym') = ...
newShapes = map (\ shape -> ...) (NS.shapesr s)
....
in if NS.autostep s then stepAndSend conn news else loop conn news
/Users/katherineye/Desktop/Code/penrose/src/Server.hs:187:9: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘Double’
Fractional t0
• When checking that the inferred type
ym' :: forall t t1. (Fractional t, Fractional t1) => t
is as general as its inferred signature
ym' :: forall t. Fractional t => t
In the expression:
let
(xm', ym') = (r2f xm, r2f ym)
newShapes = map (\ shape -> ...) (NS.shapesr s)
news
= s {NS.shapesr = newShapes,
NS.varyingState = NS.shapes2floats newShapes $ NS.varyingPaths s,
NS.paramsr = ...}
in if NS.autostep s then stepAndSend conn news else loop conn news
In an equation for ‘dragUpdate’:
dragUpdate name xm ym conn s
= let
(xm', ym') = ...
newShapes = map (\ shape -> ...) (NS.shapesr s)
....
in if NS.autostep s then stepAndSend conn news else loop conn news
/Users/katherineye/Desktop/Code/penrose/src/Server.hs:207:9: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(Show a0)
arising from a type equality forall a.
(Show a, RealFloat a) =>
StdGen
~
StdGen
at src/Server.hs:207:9-69
(RealFloat a0)
arising from a type equality forall a.
(Show a, RealFloat a) =>
StdGen
~
StdGen
at src/Server.hs:207:9-69
• When checking that the inferred type
rng' :: forall a. (Show a, RealFloat a) => StdGen
is as general as its inferred signature
rng' :: StdGen
In the expression:
do { let (newShapes, rng')
= SD.sampleShapes (NS.rng s) (NS.shapesr s);
let uninitVals
= map NS.toTagExpr
$ NS.shapes2vals newShapes $ NS.uninitializedPaths s;
let trans'
= NS.insertPaths
(NS.uninitializedPaths s) uninitVals (NS.transr s);
let nexts = ...;
.... }
In an equation for ‘resampleAndSend’:
resampleAndSend conn s
= do { let (newShapes, rng') = ...;
let uninitVals = ...;
let trans' = ...;
.... }
[13 of 16] Compiling Style ( src/Style.hs, .stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build/penrose/penrose-tmp/Style.p_o ) [Substance changed]
[14 of 16] Compiling Runtime ( src/Runtime.hs, .stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build/penrose/penrose-tmp/Runtime.p_o ) [Functions changed]
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:261:38: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(RealFloat x0)
arising from a use of ‘imgPack’ at src/Runtime.hs:261:38-58
(Floating x0)
arising from a use of ‘imgPack’ at src/Runtime.hs:261:38-58
(Real x0)
arising from a use of ‘imgPack’ at src/Runtime.hs:261:38-58
(Show x0)
arising from a use of ‘imgPack’ at src/Runtime.hs:261:38-58
(Ord x0)
arising from a use of ‘imgPack’ at src/Runtime.hs:261:38-58
• In the second argument of ‘($)’, namely ‘imgPack im flatParams’
In the expression: IM' $ imgPack im flatParams
In a case alternative: IM im -> IM' $ imgPack im flatParams
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:651:16: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0) arising from a use of ‘^’ at src/Runtime.hs:651:16-21
(Num b0) arising from the literal ‘4’ at src/Runtime.hs:651:21
• In the expression: 10 ^ 4
In an equation for ‘constrWeight’: constrWeight = 10 ^ 4
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:709:18: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(Show a0)
arising from a type equality forall a.
(Show a, RealFloat a) =>
[Obj]
~
[Obj]
at src/Runtime.hs:709:18-103
(RealFloat a0)
arising from a type equality forall a.
(Show a, RealFloat a) =>
[Obj]
~
[Obj]
at src/Runtime.hs:709:18-103
• When checking that the inferred type
initObjs :: forall a. (Show a, RealFloat a) => [Obj]
is as general as its inferred signature
initObjs :: [Obj]
In the expression:
let
(initObjs, initObjFns, initConstrFns, computations)
= genAllObjs (decls, constrs) dict in
let objFns = userObjFns ++ initObjFns in
let ambientObjFns = [] in
let ambientConstrFns = [] in
let
constrObjFns
= initConstrFns ++ userConstrFns ++ ambientConstrFns in
let
(initStateConstr, initRng')
= sampleConstrainedState initRng initObjs constrs in
let
initStateComputed
= computeOnObjs (addGrads initStateConstr) computations in
let objsInit = zeroGrads initStateComputed in
let flatObjsAnnotated = unpackAnnotate initStateComputed in
let annotationsCalc = map (map snd) flatObjsAnnotated in
let
objFnOverall
= genObjFn
annotationsCalc computations objFns ambientObjFns constrObjFns
in
State
{objs = objsInit, constrs = constrs, comps = computations,
params = initParams
{objFn = objFnOverall, annotations = annotationsCalc},
rng = initRng', autostep = False}
In the expression:
let
(dict, userObjFns, userConstrFns) = S.getDictAndFns objs stys in
let
(initObjs, initObjFns, initConstrFns, computations)
= genAllObjs (decls, constrs) dict in
let objFns = userObjFns ++ initObjFns in
let ambientObjFns = [] in
let ambientConstrFns = [] in
let
constrObjFns
= initConstrFns ++ userConstrFns ++ ambientConstrFns in
let
(initStateConstr, initRng')
= sampleConstrainedState initRng initObjs constrs in
let
initStateComputed
= computeOnObjs (addGrads initStateConstr) computations in
let objsInit = zeroGrads initStateComputed in
let flatObjsAnnotated = unpackAnnotate initStateComputed in
let annotationsCalc = map (map snd) flatObjsAnnotated in
let
objFnOverall
= genObjFn
annotationsCalc computations objFns ambientObjFns constrObjFns
in
State
{objs = objsInit, constrs = constrs, comps = computations,
params = initParams
{objFn = objFnOverall, annotations = annotationsCalc},
rng = initRng', autostep = False}
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:732:29: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(RealFloat a0)
arising from a use of ‘zeroGrads’ at src/Runtime.hs:732:29-55
(Floating a0)
arising from a use of ‘zeroGrads’ at src/Runtime.hs:732:29-55
(Real a0)
arising from a use of ‘zeroGrads’ at src/Runtime.hs:732:29-55
(Show a0)
arising from a use of ‘zeroGrads’ at src/Runtime.hs:732:29-55
(Ord a0)
arising from a use of ‘zeroGrads’ at src/Runtime.hs:732:29-55
• In the expression: zeroGrads initStateComputed
In an equation for ‘objsInit’:
objsInit = zeroGrads initStateComputed
In the expression:
let objsInit = zeroGrads initStateComputed in
let flatObjsAnnotated = unpackAnnotate initStateComputed in
let annotationsCalc = map (map snd) flatObjsAnnotated in
let
objFnOverall
= genObjFn
annotationsCalc computations objFns ambientObjFns constrObjFns
in
State
{objs = objsInit, constrs = constrs, comps = computations,
params = initParams
{objFn = objFnOverall, annotations = annotationsCalc},
rng = initRng', autostep = False}
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:737:50: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(Show a0)
arising from a use of ‘flatObjsAnnotated’
at src/Runtime.hs:737:50-66
(RealFloat a0)
arising from a use of ‘flatObjsAnnotated’
at src/Runtime.hs:737:50-66
• In the second argument of ‘map’, namely ‘flatObjsAnnotated’
In the expression: map (map snd) flatObjsAnnotated
In an equation for ‘annotationsCalc’:
annotationsCalc = map (map snd) flatObjsAnnotated
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1044:45: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(Show a0) arising from a use of ‘show’ at src/Runtime.hs:1044:45-56
(Floating a0)
arising from a use of ‘stopEps’ at src/Runtime.hs:1044:50-56
• In the second argument of ‘(++)’, namely ‘(show stopEps)’
In the second argument of ‘(++)’, namely
‘"\n\
\stopEps: "
++ (show stopEps)’
In the second argument of ‘(++)’, namely
‘(show $ norm gradEval)
++
"\n\
\stopEps: "
++ (show stopEps)’
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1295:10: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Num t0)
arising from a type equality forall t. (Num t, Enum t) => b ~ b
at src/Runtime.hs:(1295,10)-(1296,71)
(Enum t0)
arising from a type equality forall t. (Num t, Enum t) => b ~ b
at src/Runtime.hs:(1295,10)-(1296,71)
• When checking that the inferred type
af :: forall t. (Num t, Enum t) => b
is as general as its inferred signature
af :: b
In the expression:
let
(numUpdatas, (af, bf, tf))
= head
$ dropWhile (intervalOK_or_notArmijoAndWolfe . snd)
$ zip [0 .. ] $ iterate update (a0, b0, t0)
in tf
In an equation for ‘awLineSearch’:
awLineSearch f duf_noU descentDir x0
= let
(numUpdatas, (af, bf, tf))
= head
$ dropWhile (intervalOK_or_notArmijoAndWolfe . snd)
$ zip ... $ iterate update ...
in tf
where
(a0, b0, t0) = (0, infinity, 1)
duf = duf_noU descentDir
update (a, b, t) = let ... in if sat then ... else ...
intervalOK_or_notArmijoAndWolfe (a, b, t)
= not
$ if armijo t && weakWolfe t then
tr
("stop: both sat. |-gradf(x0)| = " ++ show (norm descentDir)) True
else
if abs (b - a) < minInterval then
tr
("stop: interval too small. |-gradf(x0)| = "
++ show (norm descentDir))
True
else
False
....
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1295:10: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Num t0)
arising from a type equality forall t. (Num t, Enum t) => b ~ b
at src/Runtime.hs:(1295,10)-(1296,71)
(Enum t0)
arising from a type equality forall t. (Num t, Enum t) => b ~ b
at src/Runtime.hs:(1295,10)-(1296,71)
• When checking that the inferred type
bf :: forall t. (Num t, Enum t) => b
is as general as its inferred signature
bf :: b
In the expression:
let
(numUpdatas, (af, bf, tf))
= head
$ dropWhile (intervalOK_or_notArmijoAndWolfe . snd)
$ zip [0 .. ] $ iterate update (a0, b0, t0)
in tf
In an equation for ‘awLineSearch’:
awLineSearch f duf_noU descentDir x0
= let
(numUpdatas, (af, bf, tf))
= head
$ dropWhile (intervalOK_or_notArmijoAndWolfe . snd)
$ zip ... $ iterate update ...
in tf
where
(a0, b0, t0) = (0, infinity, 1)
duf = duf_noU descentDir
update (a, b, t) = let ... in if sat then ... else ...
intervalOK_or_notArmijoAndWolfe (a, b, t)
= not
$ if armijo t && weakWolfe t then
tr
("stop: both sat. |-gradf(x0)| = " ++ show (norm descentDir)) True
else
if abs (b - a) < minInterval then
tr
("stop: interval too small. |-gradf(x0)| = "
++ show (norm descentDir))
True
else
False
....
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1295:10: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Num t0)
arising from a type equality forall t. (Num t, Enum t) => b ~ b
at src/Runtime.hs:(1295,10)-(1296,71)
(Enum t0)
arising from a type equality forall t. (Num t, Enum t) => b ~ b
at src/Runtime.hs:(1295,10)-(1296,71)
• When checking that the inferred type
tf :: forall t. (Num t, Enum t) => b
is as general as its inferred signature
tf :: b
In the expression:
let
(numUpdatas, (af, bf, tf))
= head
$ dropWhile (intervalOK_or_notArmijoAndWolfe . snd)
$ zip [0 .. ] $ iterate update (a0, b0, t0)
in tf
In an equation for ‘awLineSearch’:
awLineSearch f duf_noU descentDir x0
= let
(numUpdatas, (af, bf, tf))
= head
$ dropWhile (intervalOK_or_notArmijoAndWolfe . snd)
$ zip ... $ iterate update ...
in tf
where
(a0, b0, t0) = (0, infinity, 1)
duf = duf_noU descentDir
update (a, b, t) = let ... in if sat then ... else ...
intervalOK_or_notArmijoAndWolfe (a, b, t)
= not
$ if armijo t && weakWolfe t then
tr
("stop: both sat. |-gradf(x0)| = " ++ show (norm descentDir)) True
else
if abs (b - a) < minInterval then
tr
("stop: interval too small. |-gradf(x0)| = "
++ show (norm descentDir))
True
else
False
....
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1299:17: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘Integer’ Num t0
• When checking that the inferred type
a0 :: forall t t1 t2. (Num t, Num t2, Floating t1) => t2
is as general as its inferred signature
a0 :: forall t. Num t => t
In an equation for ‘awLineSearch’:
awLineSearch f duf_noU descentDir x0
= let
(numUpdatas, (af, bf, tf))
= head
$ dropWhile (intervalOK_or_notArmijoAndWolfe . snd)
$ zip ... $ iterate update ...
in tf
where
(a0, b0, t0) = (0, infinity, 1)
duf = duf_noU descentDir
update (a, b, t) = let ... in if sat then ... else ...
intervalOK_or_notArmijoAndWolfe (a, b, t)
= not
$ if armijo t && weakWolfe t then
tr
("stop: both sat. |-gradf(x0)| = " ++ show (norm descentDir)) True
else
if abs (b - a) < minInterval then
tr
("stop: interval too small. |-gradf(x0)| = "
++ show (norm descentDir))
True
else
False
....
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1299:17: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘Double’ Floating t0
• When checking that the inferred type
a0 :: forall t t1 t2. (Num t, Num t2, Floating t1) => t2
is as general as its inferred signature
a0 :: forall t. Num t => t
In an equation for ‘awLineSearch’:
awLineSearch f duf_noU descentDir x0
= let
(numUpdatas, (af, bf, tf))
= head
$ dropWhile (intervalOK_or_notArmijoAndWolfe . snd)
$ zip ... $ iterate update ...
in tf
where
(a0, b0, t0) = (0, infinity, 1)
duf = duf_noU descentDir
update (a, b, t) = let ... in if sat then ... else ...
intervalOK_or_notArmijoAndWolfe (a, b, t)
= not
$ if armijo t && weakWolfe t then
tr
("stop: both sat. |-gradf(x0)| = " ++ show (norm descentDir)) True
else
if abs (b - a) < minInterval then
tr
("stop: interval too small. |-gradf(x0)| = "
++ show (norm descentDir))
True
else
False
....
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1299:17: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘Integer’ Num t0
• When checking that the inferred type
b0 :: forall t t1 t2. (Num t, Num t2, Floating t1) => t1
is as general as its inferred signature
b0 :: forall t. Floating t => t
In an equation for ‘awLineSearch’:
awLineSearch f duf_noU descentDir x0
= let
(numUpdatas, (af, bf, tf))
= head
$ dropWhile (intervalOK_or_notArmijoAndWolfe . snd)
$ zip ... $ iterate update ...
in tf
where
(a0, b0, t0) = (0, infinity, 1)
duf = duf_noU descentDir
update (a, b, t) = let ... in if sat then ... else ...
intervalOK_or_notArmijoAndWolfe (a, b, t)
= not
$ if armijo t && weakWolfe t then
tr
("stop: both sat. |-gradf(x0)| = " ++ show (norm descentDir)) True
else
if abs (b - a) < minInterval then
tr
("stop: interval too small. |-gradf(x0)| = "
++ show (norm descentDir))
True
else
False
....
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1299:17: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘Integer’ Num t0
• When checking that the inferred type
b0 :: forall t t1 t2. (Num t, Num t2, Floating t1) => t1
is as general as its inferred signature
b0 :: forall t. Floating t => t
In an equation for ‘awLineSearch’:
awLineSearch f duf_noU descentDir x0
= let
(numUpdatas, (af, bf, tf))
= head
$ dropWhile (intervalOK_or_notArmijoAndWolfe . snd)
$ zip ... $ iterate update ...
in tf
where
(a0, b0, t0) = (0, infinity, 1)
duf = duf_noU descentDir
update (a, b, t) = let ... in if sat then ... else ...
intervalOK_or_notArmijoAndWolfe (a, b, t)
= not
$ if armijo t && weakWolfe t then
tr
("stop: both sat. |-gradf(x0)| = " ++ show (norm descentDir)) True
else
if abs (b - a) < minInterval then
tr
("stop: interval too small. |-gradf(x0)| = "
++ show (norm descentDir))
True
else
False
....
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1299:17: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘Double’ Floating t0
• When checking that the inferred type
t0 :: forall t t1 t2. (Num t, Num t2, Floating t1) => t
is as general as its inferred signature
t0 :: forall t. Num t => t
In an equation for ‘awLineSearch’:
awLineSearch f duf_noU descentDir x0
= let
(numUpdatas, (af, bf, tf))
= head
$ dropWhile (intervalOK_or_notArmijoAndWolfe . snd)
$ zip ... $ iterate update ...
in tf
where
(a0, b0, t0) = (0, infinity, 1)
duf = duf_noU descentDir
update (a, b, t) = let ... in if sat then ... else ...
intervalOK_or_notArmijoAndWolfe (a, b, t)
= not
$ if armijo t && weakWolfe t then
tr
("stop: both sat. |-gradf(x0)| = " ++ show (norm descentDir)) True
else
if abs (b - a) < minInterval then
tr
("stop: interval too small. |-gradf(x0)| = "
++ show (norm descentDir))
True
else
False
....
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1299:17: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘Integer’ Num t0
• When checking that the inferred type
t0 :: forall t t1 t2. (Num t, Num t2, Floating t1) => t
is as general as its inferred signature
t0 :: forall t. Num t => t
In an equation for ‘awLineSearch’:
awLineSearch f duf_noU descentDir x0
= let
(numUpdatas, (af, bf, tf))
= head
$ dropWhile (intervalOK_or_notArmijoAndWolfe . snd)
$ zip ... $ iterate update ...
in tf
where
(a0, b0, t0) = (0, infinity, 1)
duf = duf_noU descentDir
update (a, b, t) = let ... in if sat then ... else ...
intervalOK_or_notArmijoAndWolfe (a, b, t)
= not
$ if armijo t && weakWolfe t then
tr
("stop: both sat. |-gradf(x0)| = " ++ show (norm descentDir)) True
else
if abs (b - a) < minInterval then
tr
("stop: interval too small. |-gradf(x0)| = "
++ show (norm descentDir))
True
else
False
....
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1347:37: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘Double’
Floating a0 arising from a use of ‘objFnUnconstrained’
• In the first argument of ‘combineObjfns’, namely
‘objFnUnconstrained’
In the expression: combineObjfns objFnUnconstrained weight
In an equation for ‘objFnPenalty’:
objFnPenalty weight
= combineObjfns objFnUnconstrained weight
where
objFnUnconstrained :: Floating a => ObjFn2 a
objFnUnconstrained = centerAndRepel
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1407:67: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Runtime.hs:1407:67-77
(Num b0) arising from the literal ‘2’ at src/Runtime.hs:1407:77
• In the expression: (head xs) ^ 2
In the expression:
if length xs == 0 then error "minx1 empty list" else (head xs) ^ 2
In an equation for ‘minx1’:
minx1 _ xs
= if length xs == 0 then
error "minx1 empty list"
else
(head xs) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1411:35: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Runtime.hs:1411:35-38
(Num b0) arising from the literal ‘2’ at src/Runtime.hs:1411:38
• In the first argument of ‘(+)’, namely ‘x1 ^ 2’
In the expression: x1 ^ 2 + y1 ^ 2
In an equation for ‘centerObjNoSqrt’:
centerObjNoSqrt _ (x1 : y1 : _) = x1 ^ 2 + y1 ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1411:42: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Runtime.hs:1411:42-45
(Num b0) arising from the literal ‘2’ at src/Runtime.hs:1411:45
• In the second argument of ‘(+)’, namely ‘y1 ^ 2’
In the expression: x1 ^ 2 + y1 ^ 2
In an equation for ‘centerObjNoSqrt’:
centerObjNoSqrt _ (x1 : y1 : _) = x1 ^ 2 + y1 ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1415:30: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from an operator section at src/Runtime.hs:1415:30-31
(Num b0) arising from the literal ‘2’ at src/Runtime.hs:1415:31
• In the first argument of ‘sumMap’, namely ‘(^ 2)’
In the expression: sumMap (^ 2)
In an equation for ‘centerObjsNoSqrt’:
centerObjsNoSqrt _ = sumMap (^ 2)
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1418:34: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Runtime.hs:1418:34-37
(Num b0) arising from the literal ‘2’ at src/Runtime.hs:1418:37
• In the second argument of ‘($)’, namely ‘x1 ^ 2’
In the expression: sqrt $ x1 ^ 2
In an equation for ‘centerx1Sqrt’:
centerx1Sqrt _ (x1 : _) = sqrt $ x1 ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1426:34: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Runtime.hs:1426:34-44
(Num b0) arising from the literal ‘2’ at src/Runtime.hs:1426:44
• In the first argument of ‘(+)’, namely ‘(x1 - x2) ^ 2’
In the first argument of ‘(+)’, namely
‘(x1 - x2) ^ 2 + (y1 - y2) ^ 2’
In the second argument of ‘(/)’, namely
‘((x1 - x2) ^ 2 + (y1 - y2) ^ 2 + epsd)’
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1426:48: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Runtime.hs:1426:48-58
(Num b0) arising from the literal ‘2’ at src/Runtime.hs:1426:58
• In the second argument of ‘(+)’, namely ‘(y1 - y2) ^ 2’
In the first argument of ‘(+)’, namely
‘(x1 - x2) ^ 2 + (y1 - y2) ^ 2’
In the second argument of ‘(/)’, namely
‘((x1 - x2) ^ 2 + (y1 - y2) ^ 2 + epsd)’
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1432:54: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Runtime.hs:1432:54-64
(Num b0) arising from the literal ‘2’ at src/Runtime.hs:1432:64
• In the first argument of ‘(+)’, namely ‘(x1 - x2) ^ 2’
In the expression: (x1 - x2) ^ 2 + (y1 - y2) ^ 2
In an equation for ‘diffSq’:
diffSq [[x1, y1], [x2, y2]] = (x1 - x2) ^ 2 + (y1 - y2) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1432:68: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Runtime.hs:1432:68-78
(Num b0) arising from the literal ‘2’ at src/Runtime.hs:1432:78
• In the second argument of ‘(+)’, namely ‘(y1 - y2) ^ 2’
In the expression: (x1 - x2) ^ 2 + (y1 - y2) ^ 2
In an equation for ‘diffSq’:
diffSq [[x1, y1], [x2, y2]] = (x1 - x2) ^ 2 + (y1 - y2) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1448:62: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Runtime.hs:1448:62-72
(Num b0) arising from the literal ‘2’ at src/Runtime.hs:1448:72
• In the first argument of ‘(+)’, namely ‘(x1 - x2) ^ 2’
In the first argument of ‘(-)’, namely
‘(x1 - x2) ^ 2 + (y1 - y2) ^ 2’
In the first argument of ‘(-)’, namely
‘(x1 - x2) ^ 2 + (y1 - y2) ^ 2 - s1’
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1448:76: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Runtime.hs:1448:76-86
(Num b0) arising from the literal ‘2’ at src/Runtime.hs:1448:86
• In the second argument of ‘(+)’, namely ‘(y1 - y2) ^ 2’
In the first argument of ‘(-)’, namely
‘(x1 - x2) ^ 2 + (y1 - y2) ^ 2’
In the first argument of ‘(-)’, namely
‘(x1 - x2) ^ 2 + (y1 - y2) ^ 2 - s1’
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1484:41: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Runtime.hs:1484:41-76
(Num b0) arising from the literal ‘2’ at src/Runtime.hs:1484:76
• In the expression: (dist (x1, y1) (x2, y2) - overlap) ^ 2
In an equation for ‘setsIntersect2’:
setsIntersect2 sizes [x1, y1, x2, y2]
= (dist (x1, y1) (x2, y2) - overlap) ^ 2
where
overlap = rad + rad1 - 0.5 * rad1
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1503:32: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Runtime.hs:1503:32-38
(Num b0) arising from the literal ‘2’ at src/Runtime.hs:1503:38
• In the second argument of ‘(<=)’, namely ‘r_set ^ 2’
In the expression: dsq <= r_set ^ 2
In the expression:
if dsq <= r_set ^ 2 then
dsq
else
(if inSet then dsq else coeff * (d - const) ^ 2)
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1504:59: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Runtime.hs:1504:59-71
(Num b0) arising from the literal ‘2’ at src/Runtime.hs:1504:71
• In the second argument of ‘(*)’, namely ‘(d - const) ^ 2’
In the expression: coeff * (d - const) ^ 2
In the expression: (if inSet then dsq else coeff * (d - const) ^ 2)
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1507:36: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Runtime.hs:1507:36-42
(Num b0) arising from the literal ‘2’ at src/Runtime.hs:1507:42
• In the first argument of ‘(/)’, namely ‘r_set ^ 2’
In the expression: r_set ^ 2 / (r_set - const) ^ 2
In an equation for ‘coeff’: coeff = r_set ^ 2 / (r_set - const) ^ 2
/Users/katherineye/Desktop/Code/penrose/src/Runtime.hs:1507:46: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Integer’
(Integral b0)
arising from a use of ‘^’ at src/Runtime.hs:1507:46-62
(Num b0) arising from the literal ‘2’ at src/Runtime.hs:1507:62
• In the second argument of ‘(/)’, namely ‘(r_set - const) ^ 2’
In the expression: r_set ^ 2 / (r_set - const) ^ 2
In an equation for ‘coeff’: coeff = r_set ^ 2 / (r_set - const) ^ 2
[15 of 16] Compiling ShadowMain ( src/ShadowMain.hs, .stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build/penrose/penrose-tmp/ShadowMain.p_o ) [NewStyle changed]
/Users/katherineye/Desktop/Code/penrose/src/ShadowMain.hs:92:5: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(Show a0)
arising from a use of ‘pPrint’ at src/ShadowMain.hs:92:5-16
(RealFloat a0)
arising from a use of ‘trans’ at src/ShadowMain.hs:92:12-16
• In a stmt of a 'do' block: pPrint trans
In the expression:
do { args <- getArgs;
when (length args /= 3)
$ die "Usage: ./Main prog1.sub prog2.sty prog3.dsl";
let (subFile, styFile, dsllFile) = ...;
subIn <- readFile subFile;
.... }
In an equation for ‘shadowMain’:
shadowMain
= do { args <- getArgs;
when (length args /= 3)
$ die "Usage: ./Main prog1.sub prog2.sty prog3.dsl";
let (subFile, styFile, dsllFile) = ...;
.... }
/Users/katherineye/Desktop/Code/penrose/src/ShadowMain.hs:100:5: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(Show a0)
arising from a use of ‘pPrint’ at src/ShadowMain.hs:100:5-33
(RealFloat a0)
arising from a use of ‘NS.shapesr’ at src/ShadowMain.hs:100:14-33
(Real a0)
arising from a use of ‘NS.shapesr’ at src/ShadowMain.hs:100:14-33
(Ord a0)
arising from a use of ‘NS.shapesr’ at src/ShadowMain.hs:100:14-33
(Floating a0)
arising from a use of ‘NS.shapesr’ at src/ShadowMain.hs:100:14-33
• In a stmt of a 'do' block: pPrint $ NS.shapesr initState
In the expression:
do { args <- getArgs;
when (length args /= 3)
$ die "Usage: ./Main prog1.sub prog2.sty prog3.dsl";
let (subFile, styFile, dsllFile) = ...;
subIn <- readFile subFile;
.... }
In an equation for ‘shadowMain’:
shadowMain
= do { args <- getArgs;
when (length args /= 3)
$ die "Usage: ./Main prog1.sub prog2.sty prog3.dsl";
let (subFile, styFile, dsllFile) = ...;
.... }
/Users/katherineye/Desktop/Code/penrose/src/ShadowMain.hs:106:5: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(Show a0)
arising from a use of ‘pPrint’ at src/ShadowMain.hs:106:5-32
(RealFloat a0)
arising from a use of ‘NS.transr’ at src/ShadowMain.hs:106:14-32
(Real a0)
arising from a use of ‘NS.transr’ at src/ShadowMain.hs:106:14-32
(Ord a0)
arising from a use of ‘NS.transr’ at src/ShadowMain.hs:106:14-32
(Floating a0)
arising from a use of ‘NS.transr’ at src/ShadowMain.hs:106:14-32
• In a stmt of a 'do' block: pPrint $ NS.transr initState
In the expression:
do { args <- getArgs;
when (length args /= 3)
$ die "Usage: ./Main prog1.sub prog2.sty prog3.dsl";
let (subFile, styFile, dsllFile) = ...;
subIn <- readFile subFile;
.... }
In an equation for ‘shadowMain’:
shadowMain
= do { args <- getArgs;
when (length args /= 3)
$ die "Usage: ./Main prog1.sub prog2.sty prog3.dsl";
let (subFile, styFile, dsllFile) = ...;
.... }
/Users/katherineye/Desktop/Code/penrose/src/ShadowMain.hs:127:9: warning: [-Wtype-defaults]
• Defaulting the following constraint to type ‘Integer’ Num t0
• When checking that the inferred type
domain :: forall t. Num t => [Char]
is as general as its inferred signature
domain :: [Char]
In the expression:
do { args <- getArgs;
when (length args /= 3)
$ die "Usage: ./Main prog1.sub prog2.sty prog3.dsl";
let (subFile, styFile, dsllFile) = ...;
subIn <- readFile subFile;
.... }
In an equation for ‘shadowMain’:
shadowMain
= do { args <- getArgs;
when (length args /= 3)
$ die "Usage: ./Main prog1.sub prog2.sty prog3.dsl";
let (subFile, styFile, dsllFile) = ...;
.... }
/Users/katherineye/Desktop/Code/penrose/src/ShadowMain.hs:152:14: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(Show t0)
arising from a type equality forall t.
(Show t, Ord t, Floating t) =>
NS.RState
~
NS.RState
at src/ShadowMain.hs:152:14-105
(Ord t0)
arising from a type equality forall t.
(Show t, Ord t, Floating t) =>
NS.RState
~
NS.RState
at src/ShadowMain.hs:152:14-105
(Floating t0)
arising from a type equality forall t.
(Show t, Ord t, Floating t) =>
NS.RState
~
NS.RState
at src/ShadowMain.hs:152:14-105
• When checking that the inferred type
finalState :: forall t. (Show t, Ord t, Floating t) => NS.RState
is as general as its inferred signature
finalState :: NS.RState
In the expression:
let
(finalState, numSteps)
= head
$ dropWhile notConverged $ iterate stepAndCount (initState, 0)
in
trace
("\n\
\number of outer steps: "
++ show numSteps)
$ finalState
In an equation for ‘stepsWithoutServer’:
stepsWithoutServer initState
= let
(finalState, numSteps)
= head $ dropWhile notConverged $ iterate stepAndCount ...
in
trace
("\n\
\number of outer steps: "
++ show numSteps)
$ finalState
where
stepAndCount (s, n) = traceShowId (O.step s, n + 1)
notConverged (s, n)
= NS.optStatus (NS.paramsr s) /= NS.EPConverged || n < maxSteps
maxSteps = 10 ** 3
/Users/katherineye/Desktop/Code/penrose/src/ShadowMain.hs:153:48: warning: [-Wtype-defaults]
• Defaulting the following constraints to type ‘Double’
(Show a0)
arising from a use of ‘show’ at src/ShadowMain.hs:153:48-60
(Ord a0)
arising from a use of ‘numSteps’ at src/ShadowMain.hs:153:53-60
(Floating a0)
arising from a use of ‘numSteps’ at src/ShadowMain.hs:153:53-60
• In the second argument of ‘(++)’, namely ‘show numSteps’
In the first argument of ‘trace’, namely
‘("\n\
\number of outer steps: "
++ show numSteps)’
In the expression:
trace
("\n\
\number of outer steps: "
++ show numSteps)
[16 of 16] Compiling Main ( src/Main.hs, .stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build/penrose/penrose-tmp/Main.p_o ) [ShadowMain changed]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment