Changeset be9036d for src/prelude

Timestamp:

Aug 31, 2017, 3:29:38 PM (8 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

326338ae

Parents:

5b21138

git-author:

Rob Schluntz <rschlunt@…> (08/31/17 15:29:33)

git-committer:

Rob Schluntz <rschlunt@…> (08/31/17 15:29:38)

Message:

Reorganize TraitInstType and TraitDecl, add sized trait definition to prelude

Previously, TraitInstType cloned all of the members of TraitDecl. This commit changes
TraitInstType to instead contain a pointer to the base TraitDecl, analogous to StructInstType
and StructDecl, etc. In particular, this makes the code simpler and makes it easier to
fully expand the members of a trait declaration.

File:

• src/prelude/prelude.cf (modified) (1 diff)

src/prelude/prelude.cf

@@ -15 +15 @@
 
 // Section numbers from: http://plg.uwaterloo.ca/~cforall/refrat.pdf
+
+// ------------------------------------------------------------
+//
+// Section 6.7.11 Trait Declarations
+// Note: the sized trait is used in declarations later in this
+// file, so it must be out of order.
+//
+// ------------------------------------------------------------
+
+trait sized(dtype T) {};
 
 // ------------------------------------------------------------