Changeset 2c57025 for src/libcfa

Timestamp:

Nov 25, 2016, 6:11:03 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:

0f35657

Parents:

186fd86

Message:

add support for built-in sized trait which decouples size/alignment information from otype parameters, add test for sized trait

File:

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

src/libcfa/prelude.cf

@@ -108 +108 @@
 forall( otype T ) const volatile T *     --?( const volatile T ** );
 
-forall( otype T ) lvalue T               *?(                 T * );
-forall( otype T ) const lvalue T                 *?( const           T * );
-forall( otype T ) volatile lvalue T      *?(       volatile  T * );
-forall( otype T ) const volatile lvalue T *?( const volatile  T * );
+forall( dtype T | sized(T) ) lvalue T            *?(                 T * );
+forall( dtype T | sized(T) ) const lvalue T              *?( const           T * );
+forall( dtype T | sized(T) ) volatile lvalue T   *?(       volatile  T * );
+forall( dtype T | sized(T) ) const volatile lvalue T *?( const volatile  T * );
 forall( ftype FT ) lvalue FT             *?( FT * );