diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2011-09-23 09:57:42 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2011-09-23 09:57:42 +0100 |
| commit | 488e21c8cf07340c4d2f86f8177825a321cb312d (patch) | |
| tree | bee6beca864278f07500d23c98073db1277af649 /compiler/specialise | |
| parent | f3c7ed721133d53f81d945ecb737a77c2ef6ef73 (diff) | |
| download | haskell-488e21c8cf07340c4d2f86f8177825a321cb312d.tar.gz | |
Make a new type synonym CoreProgram = [CoreBind]
and comment its invariants in Note [CoreProgram] in CoreSyn
I'm not totally convinced that CoreProgram is the right name
(perhaps CoreTopBinds might better), but it is useful to have
a clue that you are looking at the top-level bindings.
This is only a matter of a type synonym change; no deep
refactoring here.
Diffstat (limited to 'compiler/specialise')
| -rw-r--r-- | compiler/specialise/Rules.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/specialise/Rules.lhs b/compiler/specialise/Rules.lhs index f9d02e5ab7..a439f2ac27 100644 --- a/compiler/specialise/Rules.lhs +++ b/compiler/specialise/Rules.lhs @@ -1014,7 +1014,7 @@ is so important. ruleCheckProgram :: CompilerPhase -- ^ Rule activation test -> String -- ^ Rule pattern -> RuleBase -- ^ Database of rules - -> [CoreBind] -- ^ Bindings to check in + -> CoreProgram -- ^ Bindings to check in -> SDoc -- ^ Resulting check message ruleCheckProgram phase rule_pat rule_base binds | isEmptyBag results |