-- Lines that we prepend (in comments) to generated code.
headerLines :: [T.Text]
headerLines = T.lines $ "Generated by Futhark " <> T.pack versionString
headerLines :: [T.Text]
headerLines = T.lines $ "Generated by Futhark " <> T.pack versionString
headerLines = T.lines $ "Generated by Futhark " <> T.pack versionString