Skip to content
E#

static func — examples

← all topics · 53 examples · page 2 of 2 · raw source ↓

ILEmitterTests_StaticFunc__StaticFunc_RejectsBareReturn

static func negative

Rejected at compile time: ES1010

// E# — a verified example from the E# language corpus (CLR language; .es, not ECMAScript).
// provenance: ILEmitterTests_StaticFunc.cs::StaticFunc_RejectsBareReturn   topic: static-func   status: unverified
// verified behavior: reports diagnostic ES1010

namespace Test

static Bad {
    return 1
}

ILEmitterTests_StaticFunc__StaticFunc_RejectsTopLevelStatements

static func negative

Rejected at compile time: ES1010

// E# — a verified example from the E# language corpus (CLR language; .es, not ECMAScript).
// provenance: ILEmitterTests_StaticFunc.cs::StaticFunc_RejectsTopLevelStatements   topic: static-func   status: unverified
// verified behavior: reports diagnostic ES1010

namespace Test

static Bad {
    let X: int = 1
    if true { let y = 2 }
}

MatchTypePatternTests__Dogfood_SymbolTable_CompilesAndRuns

static func unknown

Compiles

// E# — a verified example from the E# language corpus (CLR language; .es, not ECMAScript).
// provenance: MatchTypePatternTests.cs::Dogfood_SymbolTable_CompilesAndRuns   topic: static-func   status: unverified
// compiles cleanly (no auto-run claim was extracted)

type Point/0; static origin; func translate; x: int | raw 42