jacinda-3.3.0.0: test/data/ghc
GHCi, version 9.10.1: https://www.haskell.org/ghc/ :? for help
Command is not supported (yet) in multi-mode
/Users/vanessa/dev/haskell/apple/src/IR.hs:139:10: warning: [GHC-06201] [-Wmissing-methods]
• No explicit implementation for
‘abs’ and ‘signum’
• In the instance declaration for ‘Num Exp’
|
139 | instance Num Exp where
| ^^^^^^^
/Users/vanessa/dev/haskell/apple/src/IR.hs:142:10: warning: [GHC-06201] [-Wmissing-methods]
• No explicit implementation for
‘abs’ and ‘signum’
• In the instance declaration for ‘Num (FExp ftemp Double e)’
|
142 | instance Num (FExp ftemp Double e) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Hs/A.hs:33:10: warning: [GHC-06201] [-Wmissing-methods]
• No explicit implementation for
‘alignment’
• In the instance declaration for ‘Storable AB’
|
33 | instance Storable AB where
| ^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Hs/A.hs:35:15: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In a \case alternative:
Patterns of type ‘Word8’ not matched:
p where p is not one of {1, 0}
|
35 | peek p = (\case 1 -> T; 0 -> F) <$> peek (castPtr p :: Ptr Word8)
| ^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Hs/A.hs:39:10: warning: [GHC-06201] [-Wmissing-methods]
• No explicit implementation for
‘alignment’ and (either ‘poke’ or ‘pokeElemOff’ or ‘pokeByteOff’)
• In the instance declaration for ‘Storable (P2 a b)’
|
39 | instance (Storable a, Storable b) => Storable (P2 a b) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Hs/A.hs:43:10: warning: [GHC-06201] [-Wmissing-methods]
• No explicit implementation for
‘alignment’ and (either ‘poke’ or ‘pokeElemOff’ or ‘pokeByteOff’)
• In the instance declaration for ‘Storable (P3 a b c)’
|
43 | instance (Storable a, Storable b, Storable c) => Storable (P3 a b c) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Hs/A.hs:47:10: warning: [GHC-06201] [-Wmissing-methods]
• No explicit implementation for
‘alignment’ and (either ‘poke’ or ‘pokeElemOff’ or ‘pokeByteOff’)
• In the instance declaration for ‘Storable (P4 a b c d)’
|
47 | instance (Storable a, Storable b, Storable c, Storable d) => Storable (P4 a b c d) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Hs/A.hs:69:10: warning: [GHC-06201] [-Wmissing-methods]
• No explicit implementation for
‘alignment’
• In the instance declaration for ‘Storable (Apple a)’
|
69 | instance Storable a => Storable (Apple a) where
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/IR/Hoist.hs:62:21: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In a case alternative:
Patterns of type ‘FTemp’ not matched:
F0
F1
F2
F3
...
|
62 | view f (F2Temp i) = case f (FTemp i) of (FTemp j) -> F2Temp j
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/IR/Hoist.hs:124:32: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘(Stmt, ControlAnn)’ not matched:
((MJ _ _), _)
((J _), _)
((MT _ _), _)
((MX _ _), _)
...
|
124 | ss = getCf<$>IS.toList ns; (L lh,_) = getCf n
| ^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/IR/Hoist.hs:128:14: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of S ‘su’
|
128 | , su :: !(M.Map FTemp FTemp)
| ^^
/Users/vanessa/dev/haskell/apple/src/Asm/X86/Frame.hs:29:11: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘handleRax’:
Patterns of type ‘CFunc’ not matched:
JR
Exp
Log
Pow
|
29 | handleRax Malloc = filter (/=Rax)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Asm/X86/Frame.hs:34:11: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘mx’:
Patterns of type ‘CFunc’ not matched:
JR
Exp
Log
Pow
|
34 | mx Free = const []
| ^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Asm/Aarch64.hs:104:5: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘pw’:
Patterns of type ‘AbsReg’ not matched:
LR
FP
ASP
|
104 | pw (IReg i) = "W" <> pretty i
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Asm/Aarch64.hs:116:27: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘pq’:
Patterns of type ‘V2Reg FAbsReg’ not matched:
V2Reg FArg0
V2Reg FArg1
V2Reg FArg2
V2Reg FArg3
...
|
116 | instance SIMD F2Abs where pq (V2Reg (FReg i)) = "~Q" <> pretty i; pv (V2Reg (FReg i)) = "~V" <> pretty i
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Asm/Aarch64.hs:116:67: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘pv’:
Patterns of type ‘V2Reg FAbsReg’ not matched:
V2Reg FArg0
V2Reg FArg1
V2Reg FArg2
V2Reg FArg3
...
|
116 | instance SIMD F2Abs where pq (V2Reg (FReg i)) = "~Q" <> pretty i; pv (V2Reg (FReg i)) = "~V" <> pretty i
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Asm/Aarch64.hs:215:8: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In a case alternative:
Patterns of type ‘String’ not matched:
[]
(p:_) where p is not one of {'l', 'd'}
['l']
('l':p:_) where p is not one of {'i'}
...
|
215 | pSym = case os of {"linux" -> id; "darwin" -> ("_"<>)}.pretty
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Asm/X86/CF.hs:78:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘usesF’:
Patterns of type ‘X86 reg freg ann’ not matched:
Vfmadd213sd _ _ _ _
Vfmsub231sd _ _ _ _
Vfmsub213sd _ _ _ _
Vfmsub132sd _ _ _ _
...
|
78 | usesF (Movapd _ _ r) = singleton r
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Asm/X86/CF.hs:165:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘uses’:
Patterns of type ‘X86 reg freg ann’ not matched:
Vfmadd213sd _ _ _ _
Vfmsub231sd _ _ _ _
Vfmsub213sd _ _ _ _
Vfmsub132sd _ _ _ _
...
|
165 | uses (MovRR _ _ r) = singleton r
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Asm/X86/CF.hs:254:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘defsF’:
Patterns of type ‘X86 reg freg ann’ not matched:
Vfmadd213sd _ _ _ _
Vfmsub231sd _ _ _ _
Vfmsub213sd _ _ _ _
Vfmsub132sd _ _ _ _
...
|
254 | defsF (Movapd _ r _) = singleton r
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Asm/X86/CF.hs:342:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘defs’:
Patterns of type ‘X86 reg freg ann’ not matched:
Vfmadd213sd _ _ _ _
Vfmsub231sd _ _ _ _
Vfmsub213sd _ _ _ _
Vfmsub132sd _ _ _ _
...
|
342 | defs (MovRR _ r _) = singleton r
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Asm/X86/Sp.hs:54:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘ao’: Patterns of type ‘Int’ not matched: _
|
54 | ao o | Just i8 <- mi8 o = RC BP i8
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Asm/Aarch64/Fr.hs:65:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘fi’:
Patterns of type ‘a’ not matched:
p where p is not one of {(-46), (-45), (-44), ...}
|
65 | fi 10 = D0; fi 11 = D1; fi 12 = D2; fi 13 = D3
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Asm/Aarch64/Sp.hs:55:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘ao’: Patterns of type ‘Int’ not matched: _
|
55 | ao o | Just w16 <- m16 o = RP FP w16
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Asm/G.hs:261:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘freeze’:
Patterns of type ‘K’, ‘St’ not matched: _ _
|
261 | freeze ᴋ s | Just (u, _) <- IS.minView (fr$wkls s) =
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Asm/G.hs:286:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘coalesce’:
Patterns of type ‘K’, ‘St’ not matched: _ _
|
286 | coalesce ᴋ s | Just (m@(x,y), nWl) <- S.minView (wl$mvS s) =
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Asm/G.hs:299:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘sspill’:
Patterns of type ‘K’, ‘St’ not matched: _ _
|
299 | sspill ᴋ s | Just (m, nSp) <- IS.minView (sp$wkls s) = freezeMoves ᴋ m $ mapWk (iSimp m . \wk -> wk { sp = nSp }) s
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Asm/X86/P.hs:38:29: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In a case alternative:
Patterns of type ‘(Either
Data.IntSet.Internal.IntSet (IM.IntMap X86Reg),
Either
Data.IntSet.Internal.IntSet (IM.IntMap FX86Reg))’ not matched:
((Right _), (Left _))
((Left _), (Left _))
|
38 | where rmaps = case (regsM, fregsM) of
| ^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Asm/X86/P.hs:40:40: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: ‘fregs’
|
40 | (Left s, Right fregs) ->
| ^^^^^
/Users/vanessa/dev/haskell/apple/src/Asm/Aarch64/P.hs:37:29: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In a case alternative:
Patterns of type ‘(Either
Data.IntSet.Internal.IntSet (IM.IntMap AReg),
Either Data.IntSet.Internal.IntSet (IM.IntMap FAReg))’ not matched:
((Right _), (Left _))
((Left _), (Left _))
|
37 | where rmaps = case (regsM, fregsM) of
| ^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Asm/Aarch64/P.hs:42:40: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: ‘fregs’
|
42 | (Left s, Right fregs) ->
| ^^^^^
/Users/vanessa/dev/haskell/apple/src/Asm/X86/Byte.hs:116:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘bitC’:
Patterns of type ‘Word8’ not matched:
p where p is not one of {0, 1}
|
116 | bitC 0x0 = 0x1
| ^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Asm/X86/Byte.hs:147:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘mkVexA’:
Patterns of type ‘Word8’, ‘PP’, ‘VEXM’, ‘FX86Reg’, ‘FX86Reg’,
‘Addr X86Reg’ not matched:
_ _ _ _ _ (R _)
_ _ _ _ _ (RC32 _ _)
_ _ _ _ _ (RS _ _ _)
_ _ _ _ _ (RC Rcx _)
...
|
147 | mkVexA opc pp mm xr0 xr1 (RSD b s i d)=
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Asm/X86/Byte.hs:346:9: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘(Word8, Word8)’ not matched:
(p, _) where p is not one of {0}
|
346 | (0, b1) = modRM r1
| ^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Asm/X86/Byte.hs:362:9: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘(Word8, Word8)’ not matched:
(p, _) where p is not one of {0}
|
362 | (0, b1) = modRM r1
| ^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Asm/X86/Byte.hs:392:9: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘(Word8, Word8)’ not matched:
(p, _) where p is not one of {0}
|
392 | let (0, b1) = modRM r1
| ^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Asm/X86/Byte.hs:430:9: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘(Word8, Word8)’ not matched:
(p, _) where p is not one of {0}
(p, _) where p is not one of {0}
|
430 | (0, b1) = modRM r1
| ^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Asm/X86/Byte.hs:445:9: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘(Word8, Word8)’ not matched:
(p, _) where p is not one of {0}
|
445 | let (0, b0) = modRM r0
| ^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Asm/X86/Byte.hs:451:9: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘(Word8, Word8)’ not matched:
(p, _) where p is not one of {0}
|
451 | let (0, bb) = modRM rb
| ^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Asm/X86/Byte.hs:755:9: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘(Word8, Word8)’ not matched:
(p, _) where p is not one of {0}
|
755 | let (0, b) = modRM Rsp
| ^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Asm/X86/Byte.hs:781:9: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘(Word8, Word8)’ not matched:
(p, _) where p is not one of {0}
|
781 | (0, bi) = modRM Rsp
| ^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Asm/X86/Byte.hs:789:9: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘(Word8, Word8)’ not matched:
(p, _) where p is not one of {0}
|
789 | (0, bi) = modRM Rsp
| ^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Asm/X86/Byte.hs:839:9: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘(Word8, Word8)’ not matched:
(p, _) where p is not one of {0}
|
839 | let (0, bi) = modRM ar
| ^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Asm/X86/Byte.hs:846:9: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘(Word8, Word8)’ not matched:
(p, _) where p is not one of {0}
|
846 | let (0, bi) = modRM ar
| ^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Asm/Aarch64/Byte.hs:287:104: warning: [GHC-97441] [-Woverflowed-literals]
Literal 18446462598732840960 is out of the Int range -9223372036854775808..9223372036854775807
|
287 | w0=p .&. 0xffff; w1=(p .&. 0xffff0000) `lsr` 16; w2=(p .&. 0xFFFF00000000) `lsr` 32; w3=(p .&. 0xFFFF000000000000) `lsr` 48
| ^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Asm/Aarch64/Byte.hs:295:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘rpf’:
Patterns of type ‘Pfop’ not matched:
Pfop PLI _ _
Pfop PLD L2 _
Pfop PLD L3 _
Pfop PST L2 _
...
|
295 | rpf (Pfop PLD L1 Keep) = 0b0
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Asm/Aarch64/Byte.hs:300:109: warning: [GHC-97441] [-Woverflowed-literals]
Literal 18446462598732840960 is out of the Int range -9223372036854775808..9223372036854775807
|
300 | m4 r a = let w0=a .&. 0xffff; w1=(a .&. 0xffff0000) `lsr` 16; w2=(a .&. 0xFFFF00000000) `lsr` 32; w3=(a .&. 0xFFFF000000000000) `lsr` 48
| ^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C.hs:113:10: warning: [GHC-06201] [-Wmissing-methods]
• No explicit implementation for
‘abs’ and ‘signum’
• In the instance declaration for ‘Num CE’
|
113 | instance Num CE where
| ^^^^^^
/Users/vanessa/dev/haskell/apple/src/C.hs:120:10: warning: [GHC-06201] [-Wmissing-methods]
• No explicit implementation for
‘abs’ and ‘signum’
• In the instance declaration for ‘Num (CFE t Double e)’
|
120 | instance Num (CFE t Double e) where
| ^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C.hs:272:11: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: ‘ds’
|
272 | prettyCS (ds,ss) = pCS (const"") ss
| ^^
/Users/vanessa/dev/haskell/apple/src/IR/C.hs:45:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘cToIRM’:
Patterns of type ‘CS a’ not matched: PlProd _ _ []
|
45 | cToIRM (G _ l retL) = pure [IR.C l, IR.L retL]
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/IR/C.hs:167:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘irAt’:
Patterns of type ‘ArrAcc’ not matched: At _ _ _ _ _
|
167 | irAt (ARnk t l) = AP (ctemp t) Nothing l
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/C/CF.hs:308:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘uses’:
Patterns of type ‘CS a’ not matched:
For _ _ _ _ _ _
Rof _ _ _ _
Rof1 _ _ _ _
R2of _ _ _ _ _
...
|
308 | uses (Ma _ _ _ _ r n _) = uE r<>uE n
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/C/Alloc.hs:28:35: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of Ss ‘mLive’
|
28 | data Slots = Ss { keep :: !Alias, mLive :: [(AL, Sh ())] }
| ^^^^^
/Users/vanessa/dev/haskell/apple/src/A.hs:201:5: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘pt’:
Patterns of type ‘E (T a)’ not matched:
Dfn _ _
ResVar _ _
Parens _ _
Ann _ _ _
...
|
201 | pt (Var t n) = parens (pretty n <+> ":" <+> pretty t)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Ty/Clone.hs:63:5: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘cT’: Patterns of type ‘T a’ not matched: Ρ _ _
|
63 | cT F = pure F
| ^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Ty.hs:40:24: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of Subst ‘tySubst’
|
40 | data Subst a = Subst { tySubst :: IM.IntMap (T a)
| ^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Ty.hs:42:24: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of Subst ‘sSubst’
|
42 | , sSubst :: IM.IntMap (Sh a) -- ^ Shape variables
| ^^^^^^
/Users/vanessa/dev/haskell/apple/src/Ty.hs:114:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘mI’:
Patterns of type ‘Focus’, ‘I a’, ‘I a’ not matched:
RF (IEVar _ _) (Ix _ _)
RF (IEVar _ _) (StaPlus _ _ _)
RF (IEVar _ _) (StaMul _ _ _)
LF (IEVar _ _) (StaPlus _ _ _)
...
|
114 | mI f i0@(Ix _ i) i1@(Ix _ j) | i == j = Right mempty
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Ty.hs:364:6: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: ‘f’
|
364 | mgSh f l inp (Π t0) (Π t1) = undefined
| ^
/Users/vanessa/dev/haskell/apple/src/Ty.hs:364:8: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: ‘l’
|
364 | mgSh f l inp (Π t0) (Π t1) = undefined
| ^
/Users/vanessa/dev/haskell/apple/src/Ty.hs:364:10: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: ‘inp’
|
364 | mgSh f l inp (Π t0) (Π t1) = undefined
| ^^^
/Users/vanessa/dev/haskell/apple/src/Ty.hs:364:17: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: ‘t0’
|
364 | mgSh f l inp (Π t0) (Π t1) = undefined
| ^^
/Users/vanessa/dev/haskell/apple/src/Ty.hs:364:24: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: ‘t1’
|
364 | mgSh f l inp (Π t0) (Π t1) = undefined
| ^^
/Users/vanessa/dev/haskell/apple/src/Ty.hs:503:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘tydrop’:
Patterns of type ‘Int’, ‘Sh a’ not matched:
p Nil where p is not one of {0}
p (SVar _) where p is not one of {0}
p (Rev _) where p is not one of {0}
p (Cat _ _) where p is not one of {0}
...
|
503 | tydrop 0 sh = sh
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Ty.hs:810:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘checkTy’:
Patterns of type ‘T a’, ‘(C, a)’ not matched:
(P _) (IsOrd, _)
(P _) (IsEq, _)
(Ρ _ _) (IsOrd, _)
(Ρ _ _) (IsEq, _)
...
|
810 | checkTy (TVar n) (c, _) = pure $ Just(n, c)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Ty.hs:847:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘tyE’:
Patterns of type ‘Subst a’, ‘E a’ not matched: _ (Id _ _)
|
847 | tyE s (EApp _ (Builtin _ Re) (ILit _ n)) = do
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/R/Dfn.hs:9:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘dedfn’:
Patterns of type ‘E a’ not matched: Id _ _
|
9 | dedfn e@ILit{} = e
| ^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/R/Dfn.hs:37:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘replaceXY’:
Patterns of type ‘a -> Nm a’, ‘a -> Nm a’, ‘E a’ not matched:
_ _ (Dfn _ _)
_ _ (Parens _ _)
_ _ (Id _ _)
|
37 | replaceXY _ y (ResVar l Y) = (Var l (y l), True)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/R.hs:70:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘rE’:
Patterns of type ‘E a’ not matched:
Dfn _ _
ResVar _ _
Parens _ _
Id _ (FoldSOfZip _ _ _)
...
|
70 | rE (Lam l n e) = doLocal $ do
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/run/QC.hs:36:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘gg’:
Patterns of type ‘Sh a’ not matched:
Rev _
Cat _ _
Π _
Cons (IEVar _ _) _
...
|
36 | gg Nil = pure (0, [])
| ^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/run/QC.hs:74:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘ga’:
Patterns of type ‘T a’ not matched:
Li _
TVar _
Arrow _ _
P _
...
|
74 | ga (Arr sh A.F) = do
| ^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Parser/Rw.hs:43:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘fi’:
Patterns of type ‘Builtin’ not matched:
Log
IDiv
Neg
Sqrt
...
|
43 | fi C = 9
| ^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Parser/Rw.hs:59:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘lassoc’:
Patterns of type ‘Builtin’ not matched:
Log
IDiv
Neg
Sqrt
...
|
59 | lassoc IntExp = False
| ^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/CGen.hs:18:5: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘pretty’:
Patterns of type ‘CType’ not matched:
ΠC []
ΠC ((AC _):_)
ΠC ((ΠC _):_)
ΠC ((SC CI):_)
...
|
18 | pretty (AC CR)="Af"; pretty (AC CI)="Ai"; pretty (AC CB)="Ab"
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/CGen.hs:56:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘cTy’:
Patterns of type ‘T a’ not matched:
Li _
TVar _
Ρ _ _
Arrow (Arr _ _) _
...
|
56 | cTy F = pure (SC CR)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/CGen.hs:69:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘irTy’: Patterns of type ‘T a’ not matched: Li _
|
69 | irTy F = pure ([], F)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/A/Opt.hs:25:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘optA’:
Patterns of type ‘E (T ())’ not matched:
Def _ _ _
Dfn _ _
ResVar _ _
Parens _ _
...
|
25 | optA (ILit F x) = pure (FLit F (realToFrac x))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/A/Opt.hs:25:1: warning: [GHC-61505]
Pattern match checker ran into -fmax-pmcheck-models=30 limit, so
• Redundant clauses might not be reported at all
• Redundant clauses might be reported as inaccessible
• Patterns reported as unmatched might actually be matched
Suggested fix:
Increase the limit or resolve the warnings to suppress this message.
|
25 | optA (ILit F x) = pure (FLit F (realToFrac x))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/A/Eta.hs:20:114: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘T ()’ not matched:
Arr _ _
F
I
B
...
|
20 | lApps <- traverse (\t -> do { n <- nextN t ; pure (\e' -> let t' = eAnn e' in Lam (t ~> t') n e', \e' -> let Arrow _ cod = eAnn e' in EApp cod e' (Var t n)) }) ts
| ^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/A/Eta.hs:69:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘ηM’:
Patterns of type ‘E (T ())’ not matched:
Let _ _ _
Def _ _ _
Dfn _ _
ResVar _ _
...
|
69 | ηM e@FLit{} = pure e
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/I.hs:62:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘iM’:
Patterns of type ‘E (T ())’ not matched: Id _ _
|
62 | iM e@Builtin{} = pure e
| ^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/I.hs:91:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘bM’:
Patterns of type ‘E (T ())’ not matched:
Let _ _ _
Def _ _ _
|
91 | bM e@Builtin{} = pure e
| ^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:15:58: warning: [GHC-38856] [-Wunused-imports]
The import of ‘foldl1'’ from module ‘Data.List’ is redundant
|
15 | import Data.List (find, foldl1', scanl')
| ^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:26:18: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of CSt ‘tempU’
|
26 | data CSt = CSt { tempU :: !Int
| ^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:27:18: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of CSt ‘arrU’
|
27 | , arrU :: !AL
| ^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:28:18: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of CSt ‘assemblerSt’
|
28 | , assemblerSt :: !Int
| ^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:29:18: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of CSt ‘label’
|
29 | , label :: !Label
| ^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:33:18: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of CSt ‘d2vars’
|
33 | , d2vars :: IM.IntMap F2Temp
| ^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:37:18: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of CSt ‘mts’
|
37 | , mts :: IM.IntMap Temp
| ^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:96:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘bT’:
Patterns of type ‘T a’ not matched:
Li _
TVar _
Arrow _ _
Ρ _ _
|
96 | bT (P ts)=sum (bT<$>ts); bT F=8; bT I=8; bT B=1; bT Arr{}=8
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:226:5: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘go’:
Patterns of type ‘E (T ())’, ‘[FTemp]’, ‘[Temp]’ not matched:
(ALit _ _) _ _
(Var _ _) _ _
(Builtin _ _) _ _
(EApp _ _ _) _ _
...
|
226 | go (Lam _ x@(Nm _ _ F) e) (fr:frs) rs = addD x fr *> go e frs rs
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:227:79: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘bt’:
Patterns of type ‘Temp’ not matched:
ATemp _
C0
C1
C2
...
|
227 | go (Lam _ x@(Nm _ _ B) e) frs (r:rs) = addB x (bt r) *> go e frs rs where bt (ITemp i)=BTemp i
| ^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:240:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘rtemp’:
Patterns of type ‘T a’ not matched:
Arr _ _
Li _
TVar _
Arrow _ _
...
|
240 | rtemp F=FT<$>nF; rtemp I=IT<$>nI; rtemp B=PT<$>nBT
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:252:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘hasS’:
Patterns of type ‘E a’ not matched:
ALit _ _
ILit _ _
BLit _ _
Let _ _ _
...
|
252 | hasS (Builtin _ b) = bS b
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:261:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘write2’:
Patterns of type ‘E (T ())’, ‘[F2Temp]’, ‘F2Temp’ not matched:
(ALit _ _) (_:_) _
(Var _ _) (_:_) _
(Builtin _ _) (_:_) _
(EApp _ _ _) (_:_) _
...
|
261 | write2 (Lam _ x e) (v:vs) vret = addD2 x v *> write2 e vs vret
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:268:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘writeF’:
Patterns of type ‘E (T ())’, ‘[Arg]’, ‘RT’ not matched:
(ALit _ _) (_:_) _
(Var _ _) (_:_) _
(Builtin _ _) (_:_) _
(EApp _ _ _) (_:_) _
...
|
268 | writeF (Lam _ x e) (AA r l:rs) ret = addAVar x (l,r) *> writeF e rs ret
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:307:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘arg’:
Patterns of type ‘T ()’, ‘Ix'd’ not matched: _ _
|
307 | arg ty at | isR ty = do
| ^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:315:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘rW’:
Patterns of type ‘T ()’, ‘Ix'd’ not matched: _ _
|
315 | rW ty at | isR ty = do
| ^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:337:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘art’:
Patterns of type ‘Arg’ not matched: AA _ _
|
337 | art (IPA r)=IT r;art (FA r)=FT r; art (BA r)=PT r
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:406:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘codT’:
Patterns of type ‘T ()’ not matched:
Arr _ _
F
I
B
...
|
406 | codT (Arrow _ t@Arrow{}) = codT t; codT (Arrow _ t) = t
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:418:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘llet’:
Patterns of type ‘(Nm (T ()), E (T ()))’ not matched:
(_, _)
(_, _)
|
418 | llet (n,e') | isArr (eAnn e') = do
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:432:16: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of AD ‘eigen’
|
432 | data AD = AD { eigen :: !Temp, alabel :: !(Maybe AL), eit :: Maybe (T ())
| ^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:432:32: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of AD ‘alabel’
|
432 | data AD = AD { eigen :: !Temp, alabel :: !(Maybe AL), eit :: Maybe (T ())
| ^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:432:55: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of AD ‘eit’
|
432 | data AD = AD { eigen :: !Temp, alabel :: !(Maybe AL), eit :: Maybe (T ())
| ^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:433:16: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of AD ‘elemSz’
|
433 | , elemSz :: Maybe Int64
| ^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:434:16: warning: [GHC-40910] [-Wunused-top-binds]
Defined but not used: record field of AD ‘arrn’
|
434 | , arrn :: Maybe CE
| ^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:440:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘fill’:
Patterns of type ‘E (T ())’, ‘AD’, ‘[RA]’ not matched:
(ALit _ _) _ _
(Var _ _) _ _
(Lam _ _ _) _ _
(ILit _ _) _ _
...
|
440 | fill (Builtin (Arr sh F) Eye) (AD t lA _ _ _) [] | Just [i,_] <- staIx sh = do
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:440:1: warning: [GHC-61505]
Pattern match checker ran into -fmax-pmcheck-models=30 limit, so
• Redundant clauses might not be reported at all
• Redundant clauses might be reported as inaccessible
• Patterns reported as unmatched might actually be matched
Suggested fix:
Increase the limit or resolve the warnings to suppress this message.
|
440 | fill (Builtin (Arr sh F) Eye) (AD t lA _ _ _) [] | Just [i,_] <- staIx sh = do
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:502:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘afort’:
Patterns of type ‘T a’, ‘CE’, ‘IRel’, ‘CE’,
‘Temp -> [CS ()]’ not matched:
F _ _ _ _
I _ _ _ _
B _ _ _ _
(Li _) _ _ _ _
...
|
502 | afort (Arr sh _) el c eu ss = do {i <- nI; pure (for sh i el c eu (ss i))}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:622:5: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘w’:
Patterns of type ‘T a’, ‘ArrAcc’, ‘RT’ not matched:
_ _ (FT _)
_ _ (PT _)
_ _ (FT _)
_ _ (PT _)
...
|
622 | w ty at tt | isR ty = wt at tt
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:750:9: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘[Temp]’ not matched:
[]
[]
[]
|
750 | let _:sstrides = sts; sss=init sssϵ
| ^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:788:9: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘[Temp]’ not matched:
[]
[]
[]
|
788 | let _:sstrides = sts; sss=init sssϵ
| ^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:827:9: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘[Temp]’ not matched:
[]
[]
[]
|
827 | let _:sstrides = sts; sss=init sssϵ
| ^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:857:9: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘[Temp]’ not matched:
[]
[]
[]
|
857 | let _:sstrides = sts; sss=init sssϵ
| ^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:968:21: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In an irrefutable pattern:
Patterns of type ‘Maybe FTemp’ not matched:
Nothing
Nothing
Nothing
|
968 | (prologue, et, ~(Just zs)) <- if re xSh then pure (id, FTmp z0, Nothing) else do {zs <- nF; pure ((MX () zs 0:), FTmp zs+FTmp z0, Just zs)}
| ^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:1041:21: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In an irrefutable pattern:
Patterns of type ‘Maybe FTemp’ not matched:
Nothing
Nothing
Nothing
|
1041 | (prologue, et, ~(Just zs)) <- if ce bSh then pure (id, FTmp z0, Nothing) else do {zs <- nF; pure ((MX () zs 0:), FTmp zs+FTmp z0, Just zs)}
| ^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:1303:9: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘[Temp]’ not matched:
[]
[]
[]
[]
|
1303 | let _:sstrides = sts; (_:dstrides) = std
| ^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:1303:27: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘[Temp]’ not matched:
[]
[]
[]
[]
|
1303 | let _:sstrides = sts; (_:dstrides) = std
| ^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:1396:9: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘[Temp]’ not matched:
[]
[]
[]
|
1396 | let _:strides = sts; sss=init plS
| ^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:1482:17: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In a case alternative:
Patterns of type ‘T ()’ not matched:
Arr _ _
Li _
TVar _
Arrow _ _
...
|
1482 | eCond = case ty of
| ^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:1659:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘cond’:
Patterns of type ‘E (T ())’, ‘E (T ())’, ‘E (T ())’,
‘RT’ not matched:
(ALit _ _) _ _ _
(Var _ _) _ _ _
(Builtin _ _) _ _ _
(Lam _ _ _) _ _ _
...
|
1659 | cond (EApp _ (EApp _ (Builtin (Arrow F _) op) c0) c1) e e1 (FT t) | Just cmp <- frel op, Just cfe <- mFEval e1 = do
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:1810:17: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In a case alternative:
Patterns of type ‘FBin’ not matched:
FMinus
FDiv
FExp
|
1810 | let seed2 = case c0 of {FPlus -> MX2 () acc2 (ConstF (0,0)); FTimes -> MX2 () acc2 (ConstF (1,1)); FMax -> DS () acc2 acc; FMin -> DS () acc2 acc}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:1831:17: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In a case alternative:
Patterns of type ‘FBin’ not matched:
FMinus
FDiv
FExp
|
1831 | let seedO = case c of {FPlus -> MX2 () acc2 (ConstF (0,0)); FTimes -> MX2 () acc2 (ConstF (1,1)); FMax -> DS () acc2 acc; FMin -> DS () acc2 acc}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:1898:9: warning: [GHC-62161] [-Wincomplete-uni-patterns]
Pattern match(es) are non-exhaustive
In a pattern binding:
Patterns of type ‘(Label, [Arg], RT)’ not matched:
(_, [], _)
(_, (_:_:_), _)
(_, [_], (IT _))
(_, [_], (PT _))
|
1898 | let (l, [a], FT r) = getT st f
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/C/Trans.hs:1934:13: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In a case alternative:
Patterns of type ‘T ()’ not matched:
Li _
TVar _
Arrow _ _
P _
...
|
1934 | case eAnn e of
| ^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/as/As.hs:26:15: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In a case alternative:
Patterns of type ‘(String, String)’ not matched:
([], _)
((p:_), _) where p is not one of {'a'}
(['a'], _)
(('a':p:_), _) where p is not one of {'a'}
...
|
26 | exe=case (arch, os) of {("aarch64",_) -> "as"; (_,"linux") -> "aarch64-linux-gnu-as"}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/as/As.hs:26:15: warning: [GHC-61505]
Pattern match checker ran into -fmax-pmcheck-models=30 limit, so
• Redundant clauses might not be reported at all
• Redundant clauses might be reported as inaccessible
• Patterns reported as unmatched might actually be matched
Suggested fix:
Increase the limit or resolve the warnings to suppress this message.
|
26 | exe=case (arch, os) of {("aarch64",_) -> "as"; (_,"linux") -> "aarch64-linux-gnu-as"}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/src/Dbg.hs:82:11: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘zipS’:
Patterns of type ‘[X86.X86 reg freg a]’,
‘[BS.ByteString]’ not matched:
[] (_:_)
((X86.IAddRR _ _ _):_) []
((X86.IAddRI _ _ _):_) []
((X86.ISubRR _ _ _):_) []
...
|
82 | where zipS [] [] = []
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/src/Dbg.hs:93:11: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘zipS’:
Patterns of type ‘[Aarch64.AArch64 reg freg a]’,
‘[BS.ByteString]’ not matched:
[] (_:_)
((Aarch64.B _ _):_) []
((Aarch64.Blr _ _):_) []
((Aarch64.Bl _ _):_) []
...
|
93 | where zipS [] [] = []
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/run/Main.hs:334:18: warning: [GHC-40910] [-Wunused-matches]
Defined but not used: ‘mp’
|
334 | freeAsm (sz, fp, mp) = freeFunPtr sz fp -- *> traverse_ free mp
| ^^
/Users/vanessa/dev/haskell/apple/run/Main.hs:427:9: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘cb’:
Patterns of type ‘a’ not matched: p where p is not one of {0, 1}
|
427 | cb 0=False; cb 1=True
| ^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/run/Main.hs:441:21: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In a case alternative:
Patterns of type ‘T ()’ not matched:
Li _
TVar _
Ρ _ _
|
441 | case eAnn e of
| ^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/run/Main.hs:471:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘rSz’:
Patterns of type ‘T a’ not matched:
Li _
TVar _
A.Arrow _ _
Ρ _ _
|
471 | rSz A.B=1; rSz I=8; rSz A.F=8; rSz (P ts) = sum (rSz<$>ts); rSz Arr{}=8
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
/Users/vanessa/dev/haskell/apple/run/Main.hs:485:1: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘pR’:
Patterns of type ‘T a’, ‘Ptr b’ not matched:
(Arr _ _) _
(Li _) _
(TVar _) _
(A.Arrow _ _) _
...
|
485 | pR I p = do {i <- peek (castPtr p :: Ptr Int64); pure (pretty i)}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
/Users/vanessa/dev/haskell/apple/run/Main.hs:554:35: warning: [GHC-62161] [-Wincomplete-patterns]
Pattern match(es) are non-exhaustive
In an equation for ‘sB’:
Patterns of type ‘a’ not matched: p where p is not one of {1, 0}
|
554 | where sB 1 = "#t"; sB 0 = "#f"
| ^^^^^^^^^^^^^^^^^^^^^^^^
lib/E.chs:155:1: error: [GHC-03355]
• Illegal foreign declaration: requires one of these back ends:
native code generator, LLVM, compiling via C,
compiling to JavaScript, or no code generated
• When checking declaration:
foreign export ccall "apple_compile" apple_compile
:: Ptr JitCtx
-> CString -> Ptr CSize -> Ptr (Ptr Word64) -> IO (Ptr Word8)
|
155 | foreign export ccall apple_compile :: Ptr JitCtx -> CString -> Ptr CSize -> Ptr (Ptr Word64) -> IO (Ptr Word8)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
lib/E.chs:156:1: error: [GHC-03355]
• Illegal foreign declaration: requires one of these back ends:
native code generator, LLVM, compiling via C,
compiling to JavaScript, or no code generated
• When checking declaration:
foreign export ccall "apple_printty" apple_printty
:: CString -> Ptr CString -> IO CString
|
156 | foreign export ccall apple_printty :: CString -> Ptr CString -> IO CString
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
lib/E.chs:157:1: error: [GHC-03355]
• Illegal foreign declaration: requires one of these back ends:
native code generator, LLVM, compiling via C,
compiling to JavaScript, or no code generated
• When checking declaration:
foreign export ccall "apple_dumpasm" apple_dumpasm
:: CString -> Ptr CString -> IO CString
|
157 | foreign export ccall apple_dumpasm :: CString -> Ptr CString -> IO CString
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
lib/E.chs:158:1: error: [GHC-03355]
• Illegal foreign declaration: requires one of these back ends:
native code generator, LLVM, compiling via C,
compiling to JavaScript, or no code generated
• When checking declaration:
foreign export ccall "apple_dumpir" apple_dumpir
:: CString -> Ptr CString -> IO CString
|
158 | foreign export ccall apple_dumpir :: CString -> Ptr CString -> IO CString
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
lib/E.chs:159:1: error: [GHC-03355]
• Illegal foreign declaration: requires one of these back ends:
native code generator, LLVM, compiling via C,
compiling to JavaScript, or no code generated
• When checking declaration:
foreign export ccall "apple_ty" apple_ty
:: CString -> Ptr CString -> IO (Ptr FnTy)
|
159 | foreign export ccall apple_ty :: CString -> Ptr CString -> IO (Ptr FnTy)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
lib/E.chs:160:1: error: [GHC-03355]
• Illegal foreign declaration: requires one of these back ends:
native code generator, LLVM, compiling via C,
compiling to JavaScript, or no code generated
• When checking declaration:
foreign export ccall "apple_print_ts_sz" apple_print_ts_sz
:: CString -> Ptr CSize -> Ptr CString -> IO CString
|
160 | foreign export ccall apple_print_ts_sz :: CString -> Ptr CSize -> Ptr CString -> IO CString
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^