ajhc- Haskell compiler that produce binary through C language

Safe HaskellNone




createInstanceRules :: Monad m => DataTable -> ClassHierarchy -> [(TVr, E)] -> m RulesSource

create a RULE for each instance attached to the class methods. These rules allow early specialization of monomorphic code, and are eventually used in E.TypeAnalysis.expandPlaceholder to fill out the generic class method bodies.

procAllSpecs :: Monad m => DataTable -> [Rule] -> [(TVr, E)] -> m ([(TVr, E)], Rules)Source