Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
language:langs:refine [2025/04/21 19:55] – [Multiple refinement options] rajitlanguage:langs:refine [2025/04/21 19:58] (current) – [Refinement overrides] rajit
Line 120: Line 120:
 Sometimes a refinement body needs to [[language:impl#overrides|override]] types. To support this, refinement bodies can be accompanied by refinement overrides. These are overrides that are only applied when the refinement is used. Sometimes a refinement body needs to [[language:impl#overrides|override]] types. To support this, refinement bodies can be accompanied by refinement overrides. These are overrides that are only applied when the refinement is used.
  
 +The syntax for providing refinement overrides is below:
 +
 +<code act>
 +refine<2>  +{ e1of2 l; } {
 +       inst1 i1; 
 +       ...
 + }
 +</code>
 +
 +This will apply the refinement override for ''l'' when this particular refinement body is selected.
 +  
 +   
 +
 +</code>
  
  
language/langs/refine.1745265340.txt.gz · Last modified: 2025/04/21 19:55 by rajit
Except where otherwise noted, content on this wiki is licensed under the following license: GNU Free Documentation License 1.3


  • Show page
  • Old revisions
  • Backlinks
  • Recent Changes
  • Media Manager
  • Sitemap