language-dickinson-1.3.0.3: test/data/tupleRename.rename

Dickinson
  { modImports = []
  , modDefs =
    [ Define
      { declAnn = ()
      , defName = Name
        { name = "prolix" :| []
        , unique = Unique
          { unUnique = 4 }
        , loc = ()
        }
      , defExpr = Let
        { exprAnn = ()
        , letBinds =
          ( Name
            { name = "xy" :| []
            , unique = Unique
              { unUnique = 5 }
            , loc = ()
            }
          , Literal
            { exprAnn = ()
            , litText = "hello"
            }
          ) :| []
        , letExpr = Lambda
          { exprAnn = ()
          , lambdaVar = Name
            { name = "xy" :| []
            , unique = Unique
              { unUnique = 6 }
            , loc = ()
            }
          , lambdaTy = TyTuple ()
            ( TyText () :|
              [ TyText () ]
            )
          , lambdaExpr = Match
            { exprAnn = ()
            , exprMatch = Var
              { exprAnn = ()
              , exprVar = Name
                { name = "xy" :| []
                , unique = Unique
                  { unUnique = 6 }
                , loc = ()
                }
              }
            , exprBranch =
              ( PatternTuple
                { patAnn = ()
                , patTup = PatternVar
                  { patAnn = ()
                  , patName = Name
                    { name = "x" :| []
                    , unique = Unique
                      { unUnique = 7 }
                    , loc = ()
                    }
                  } :|
                  [ Wildcard
                    { patAnn = () }
                  ]
                }
              , Var
                { exprAnn = ()
                , exprVar = Name
                  { name = "x" :| []
                  , unique = Unique
                    { unUnique = 7 }
                  , loc = ()
                  }
                }
              ) :| []
            }
          }
        }
      }
    ]
  }