Commit 0c37aef2 authored by Matthew Pickering's avatar Matthew Pickering
Browse files

Update old comment InlinePragma

parent 2f79e79c
...@@ -971,14 +971,14 @@ This data type mirrors what you can write in an INLINE or NOINLINE pragma in ...@@ -971,14 +971,14 @@ This data type mirrors what you can write in an INLINE or NOINLINE pragma in
the source program. the source program.
If you write nothing at all, you get defaultInlinePragma: If you write nothing at all, you get defaultInlinePragma:
inl_inline = False inl_inline = EmptyInlineSpec
inl_act = AlwaysActive inl_act = AlwaysActive
inl_rule = FunLike inl_rule = FunLike
It's not possible to get that combination by *writing* something, so It's not possible to get that combination by *writing* something, so
if an Id has defaultInlinePragma it means the user didn't specify anything. if an Id has defaultInlinePragma it means the user didn't specify anything.
If inl_inline = True, then the Id should have an InlineRule unfolding. If inl_inline = Inline or Inlineable, then the Id should have an InlineRule unfolding.
Note [CONLIKE pragma] Note [CONLIKE pragma]
~~~~~~~~~~~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~~~~
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment