We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
PolyKinds
1 parent 6b90f8f commit 02d6979Copy full SHA for 02d6979
tests/shouldwork/Basic/T1242.hs
@@ -27,17 +27,17 @@ instance WireApp (U16 'WireRep) (U16 'AppRep) where
27
toWire v = case v of U16 x -> U16 x
28
toApp v = case v of U16 x -> U16 x
29
30
-instance (BitPack (t 'AppRep), WireApp (t 'WireRep) (t 'AppRep)) => BitPack (t 'WireRep) where
31
- type BitSize (t 'WireRep) = BitSize (t 'AppRep)
+instance BitPack (U16 'WireRep) where
+ type BitSize (U16 'WireRep) = BitSize (U16 'AppRep)
32
pack x = bv
33
where
34
- bv :: BitVector (BitSize (t 'WireRep))
+ bv :: BitVector (BitSize (U16 'WireRep))
35
bv = pack app
36
- app :: t 'AppRep
+ app :: U16 'AppRep
37
app = toApp $ x
38
unpack x = toWire app
39
40
41
app = unpack x
42
43
data Record
0 commit comments