Richard Smith a2176e1e28 Use a separate type for a parameterized entity name that is waiting for its arguments to arrive. (#1223) ...

Previously we modeled these as being class types or interface types, with special case checks to treat them as not actually being class or interface types.

2022-05-05 14:30:18 -07:00

..

array

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

assignment_copy

Rename executable_semantics to explorer (#1188)

2022-04-29 13:20:25 -07:00

basic_syntax

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

block

Rename executable_semantics to explorer (#1188)

2022-04-29 13:20:25 -07:00

class

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

experimental_continuation

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

function

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

generic_class

Use a separate type for a parameterized entity name that is waiting for its arguments to arrive. (#1223)

2022-05-05 14:30:18 -07:00

generic_function

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

global_variable

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

if_else

Rename executable_semantics to explorer (#1188)

2022-04-29 13:20:25 -07:00

if_expression

Rename executable_semantics to explorer (#1188)

2022-04-29 13:20:25 -07:00

impl

Use a separate type for a parameterized entity name that is waiting for its arguments to arrive. (#1223)

2022-05-05 14:30:18 -07:00

import

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

interface

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

let

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

match

Rename executable_semantics to explorer (#1188)

2022-04-29 13:20:25 -07:00

name_lookup

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

package

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

pointer

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

return

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

string

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

struct

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

tuple

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

while

Rename executable_semantics to explorer (#1188)

2022-04-29 13:20:25 -07:00

BUILD

Rename executable_semantics to explorer (#1188)

2022-04-29 13:20:25 -07:00

lit.cfg.py

Rename executable_semantics to explorer (#1188)

2022-04-29 13:20:25 -07:00