Gibbon.HaskellFrontend
Contents
parseFile :: Config -> FilePath -> IO (PassM Prog0) Source #
primMap :: Map String (Prim a) Source #
multiArgsToOne :: [Var] -> [Ty0] -> Exp0 -> (Var, Exp0) Source #
desugarLinearExts :: Prog0 -> PassM Prog0 Source #
Methods
pretty :: SrcSpanInfo -> Doc
prettyPrec :: Int -> SrcSpanInfo -> Doc