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

Timestamp:

02/18/11 12:57:48 (2 years ago)

Author:

megacz

Comment:

Explain what Id is and its equality semantics.

Commentary/Compiler/CoreSynType

@@ -49 +49 @@
 
 Here are some notes about the individual constructors of {{{Expr}}}.
+ * {{{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''.
+
  * {{{Lam}}} is used for both term and type abstraction (small and big lambdas).