Searched refs:addForeignCode (Results 1 – 2 of 2) sorted by relevance
357 addForeignCode :: BackendName -> String -> TCM ()358 addForeignCode backend code = do function
2293 toAbstract (C.ForeignPragma _ rb s) = [] <$ addForeignCode (rangedThing rb) s