A typo in the GHC user's guide, section 6.5.8.2
Summary
the GHC user's guide
section 6.5.8.2
Syntax highlighting is broken due to a typo
Proposed improvements or changes
Should be:
data Record (xs :: [(k, Type)]) where
Nil :: Record '[]
Cons :: Proxy x -> a -> Record xs -> Record ('(x, a) ': xs)
instance HasField x (Record ('(x, a) ': xs)) a where
getField (Cons _ v _) = v
instance HasField x (Record xs) a => HasField x (Record ('(y, b) ': xs)) a where
getField (Cons _ _ r) = getField @x r
r :: Record '[ '("name", String) ]
r = Cons Proxy "R" Nil
x = getField @"name" r
Environment
- GHC version used (if appropriate):
didn't compile