aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/NamedFieldPuns/named-puns-let.hs
{- ORACLE_TEST pass -}
{-# LANGUAGE NamedFieldPuns #-}
module NamedFieldPunsLet where
data User = User {userName :: String, userId :: Int}
render :: User -> String
render u =
let User {userName, userId} = u
in userName ++ "#" ++ show userId