Changes between Version 19 and Version 20 of Commentary/Compiler/CoreSynType


Ignore:
Timestamp:
Feb 18, 2011 8:57:48 PM (3 years ago)
Author:
megacz
Comment:

Explain what Id is and its equality semantics.

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/CoreSynType

    v19 v20  
    4949 
    5050Here are some notes about the individual constructors of {{{Expr}}}. 
     51 * {{{Var}}} represents variables.  The {{{Id}}} it contains is essentially an [wiki:Commentary/Compiler/RdrNameType#TheOccNametype OccName] plus a {{{Type}}}; however, equality {{{(==)}}} on {{{Id}}}s is based only on their {{{OccName}}}'s, so ''two {{{Var}}}s with different types may be {{{(==)}}}-equal''. 
     52 
    5153 * {{{Lam}}} is used for both term and type abstraction (small and big lambdas). 
    5254