
 0 | module Compiler.Generated
 1 | 
 2 | import Idris.Version
 3 | 
 4 | export
 5 | generatedString : String -> String
 6 | generatedString backend =
 7 |   "@" ++ "generated by Idris " ++ (show version) ++ ", " ++ backend ++ " backend"
 8 |