ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change
on this file since cf0941d was
843054c2,
checked in by Peter A. Buhr <pabuhr@…>, 9 years ago
|
licencing: seventh groups of files
|
-
Property mode set to
100644
|
File size:
938 bytes
|
Line | |
---|
1 | I Compile-time resolution |
---|
2 | ========================= |
---|
3 | |
---|
4 | 1. an isolated name, where the argument is implicitly determined by the result context |
---|
5 | |
---|
6 | @max |
---|
7 | |
---|
8 | 2. a direct application to a manifest type |
---|
9 | |
---|
10 | @max( int ) |
---|
11 | |
---|
12 | 3. constraining a type variable; the application is implicitly performed at the call site as in (2) |
---|
13 | |
---|
14 | forall( type T | { T @max( T ); } ) T x( T t ); |
---|
15 | |
---|
16 | |
---|
17 | II Run-time resolution |
---|
18 | ====================== |
---|
19 | |
---|
20 | 1. an indirect reference, where the argument is implicitly determined by the result context |
---|
21 | |
---|
22 | attr_var = &@max; |
---|
23 | x = (*attr_var); |
---|
24 | |
---|
25 | 2. an indirect application to a manifest type |
---|
26 | |
---|
27 | (*attr_var)( int ) |
---|
28 | |
---|
29 | 3. a direct application to a type variable |
---|
30 | |
---|
31 | @max( T ) |
---|
32 | |
---|
33 | Under what circumstances can this be done at compile/link time? |
---|
34 | |
---|
35 | |
---|
36 | III Declaration forms |
---|
37 | ===================== |
---|
38 | |
---|
39 | 1. monomorphic with implicit argument |
---|
40 | |
---|
41 | int @max; |
---|
42 | |
---|
43 | 2. monomorphic with explicit argument |
---|
44 | |
---|
45 | int @max( int ); |
---|
46 | |
---|
47 | 3. polymorphic |
---|
48 | |
---|
49 | forall( type T | constraint( T ) ) int @attr( T ); |
---|
Note: See
TracBrowser
for help on using the repository browser.