Ignore:
Timestamp:
Jan 19, 2021, 8:44:29 PM (11 months ago)
Author:
Michael Brooks <mlbrooks@…>
Branches:
arm-eh, jacob/cs343-translation, master, new-ast-unique-expr
Children:
dafbde8
Parents:
2f47ea4
Message:

Converting the project to use the new syntax for otype, dtype and ttytpe.

Changed prelude (gen), libcfa and test suite to use it. Added a simple deprecation rule of the old syntax to the parser; we might wish to support both syntaxes "officially," like with an extra CLI switch, but this measure should serve as a simple reminder for our team to try the new syntax.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tests/poly-selection.cfa

    r2f47ea4 rfd54fef  
    1616
    1717void testSpecializationFromGenericOverBareTyvar() {
    18     forall( dtype T )
     18    forall( T & )
    1919    void friend( T & ) {
    2020        printf("friending generically\n");
    2121    }
    2222
    23     forall(dtype T)
     23    forall(T &)
    2424    struct thing {
    2525        int x;
    2626    };
    2727
    28     forall( dtype T )
     28    forall( T & )
    2929    void friend( thing(T) & ) {
    3030        printf("friending specifically\n");
     
    3737void testSpecializationFromGenericAccessibleWithExtraTyvars() {
    3838
    39     forall( dtype T, dtype U )
     39    forall( T &, U & )
    4040    struct map {};
    4141
    42     forall( dtype T )
     42    forall( T & )
    4343    void f( T & ) {
    4444        printf("f-generic\n");
    4545    }
    4646
    47     forall( dtype T )
     47    forall( T & )
    4848    void f( map(T, T) & ) {
    4949        printf("f-specific\n");
Note: See TracChangeset for help on using the changeset viewer.