Ignore:
Timestamp:
Jun 11, 2015, 1:31:07 PM (11 years ago)
Author:
Rob Schluntz <rschlunt@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc
Children:
ea9b9d3
Parents:
bfbf97f (diff), cda48b6 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'code-gen' into resolver

File:
1 moved

Legend:

Unmodified
Added
Removed

  • src/Tests/Expect-a/Forall.txt

    rbfbf97f ra8541d9  
     1?=?: function
     2    with parameters
     3      pointer to signed int
     4      signed int
     5    returning
     6      signed int
     7
     8?=?: function
     9    with parameters
     10      pointer to float
     11      float
     12    returning
     13      float
     14
     15?=?: function
     16    with parameters
     17      pointer to pointer to signed int
     18      pointer to signed int
     19    returning
     20      pointer to signed int
     21
     22?=?: function
     23    with parameters
     24      pointer to pointer to float
     25      pointer to float
     26    returning
     27      pointer to float
     28
     29?=?: function
     30    with parameters
     31      pointer to char
     32      char
     33    returning
     34      char
     35
     36?=?: function
     37    with parameters
     38      pointer to pointer to function
     39          with parameters
     40            void
     41          returning
     42            void
     43
     44      pointer to function
     45          with parameters
     46            void
     47          returning
     48            void
     49
     50    returning
     51      pointer to function
     52          with parameters
     53            void
     54          returning
     55            void
     56
     57
     58g1: function
     59      accepting unspecified arguments
     60    returning
     61      void
     62    with body
     63      CompoundStmt
     64        Declaration of f: forall
     65              T: type
     66                with assertions
     67                  ?=?: function
     68                      with parameters
     69                        pointer to instance of type T (not function type)
     70                        instance of type T (not function type)
     71                      returning
     72                        instance of type T (not function type)
     73
     74
     75            function
     76            with parameters
     77              instance of type T (not function type)
     78            returning
     79              instance of type T (not function type)
     80
     81        Declaration of f: function
     82            with parameters
     83              signed int
     84            returning
     85              void
     86
     87        Declaration of h: function
     88            with parameters
     89              p: pointer to function
     90                  with parameters
     91                    void
     92                  returning
     93                    void
     94
     95            returning
     96              void
     97
     98        Declaration of x: signed int
     99        Declaration of y: pointer to function
     100            with parameters
     101              void
     102            returning
     103              void
     104
     105        Declaration of z: char
     106        Declaration of w: float
     107                  Expression Statement:
     108            Applying untyped:
     109                Name: f
     110            ...to:
     111                Name: x
     112
     113                  Expression Statement:
     114            Applying untyped:
     115                Name: f
     116            ...to:
     117                Name: y
     118
     119                  Expression Statement:
     120            Applying untyped:
     121                Name: f
     122            ...to:
     123                Name: z
     124
     125                  Expression Statement:
     126            Applying untyped:
     127                Name: f
     128            ...to:
     129                Name: w
     130
     131                  Expression Statement:
     132            Applying untyped:
     133                Name: h
     134            ...to:
     135                Applying untyped:
     136                    Name: f
     137                ...to:
     138                    Name: y
     139
     140
     141g2: function
     142      accepting unspecified arguments
     143    returning
     144      void
     145    with body
     146      CompoundStmt
     147        Declaration of f: forall
     148              T: type
     149                with assertions
     150                  ?=?: function
     151                      with parameters
     152                        pointer to instance of type T (not function type)
     153                        instance of type T (not function type)
     154                      returning
     155                        instance of type T (not function type)
     156
     157
     158            function
     159            with parameters
     160              instance of type T (not function type)
     161              instance of type T (not function type)
     162            returning
     163              void
     164
     165        Declaration of f: forall
     166              T: type
     167                with assertions
     168                  ?=?: function
     169                      with parameters
     170                        pointer to instance of type T (not function type)
     171                        instance of type T (not function type)
     172                      returning
     173                        instance of type T (not function type)
     174
     175
     176              U: type
     177                with assertions
     178                  ?=?: function
     179                      with parameters
     180                        pointer to instance of type U (not function type)
     181                        instance of type U (not function type)
     182                      returning
     183                        instance of type U (not function type)
     184
     185
     186            function
     187            with parameters
     188              instance of type T (not function type)
     189              instance of type U (not function type)
     190            returning
     191              void
     192
     193        Declaration of x: signed int
     194        Declaration of y: float
     195        Declaration of z: pointer to signed int
     196        Declaration of w: pointer to float
     197                  Expression Statement:
     198            Applying untyped:
     199                Name: f
     200            ...to:
     201                Name: x
     202                Name: y
     203
     204                  Expression Statement:
     205            Applying untyped:
     206                Name: f
     207            ...to:
     208                Name: z
     209                Name: w
     210
     211                  Expression Statement:
     212            Applying untyped:
     213                Name: f
     214            ...to:
     215                Name: x
     216                Name: z
     217
     218
    1219f: typedef for pointer to forall
    2220      T: type
    … …  
    285503
    286504
     505min: forall
     506      T: type
     507        with assertions
     508          ?=?: function
     509              with parameters
     510                pointer to instance of type T (not function type)
     511                instance of type T (not function type)
     512              returning
     513                instance of type T (not function type)
     514
     515          0: const instance of type T (not function type)
     516          ?!=?: function
     517              with parameters
     518                instance of type T (not function type)
     519                instance of type T (not function type)
     520              returning
     521                signed int
     522
     523          ?<?: function
     524              with parameters
     525                instance of type T (not function type)
     526                instance of type T (not function type)
     527              returning
     528                signed int
     529
     530
     531    function
     532    with parameters
     533      t1: instance of type T (not function type)
     534      t2: instance of type T (not function type)
     535    returning
     536      instance of type T (not function type)
     537    with body
     538      CompoundStmt
     539                  Return Statement, returning: Conditional expression on:
     540  Cast of:
     541    Applying untyped:
     542        Name: ?!=?
     543    ...to:
     544        Applying untyped:
     545            Name: ?<?
     546        ...to:
     547            Name: t1
     548            Name: t2
     549        Name: 0
     550
     551  to:
     552    signed int
     553First alternative:
     554  Name: t1
     555Second alternative:
     556  Name: t2
     557
     558
     559
     560
    287561main: C function
    288562      accepting unspecified arguments
    … …  
    310584            ...to:
    311585                Name: x
    312                 Name: y
    313586
    314587                  Expression Statement:
Note: See TracChangeset for help on using the changeset viewer.