Nim/tests/alias/talias.nim at devel · googol-lab/Nim

Repository navigation

History

# Test the alias analysis

type

TAnalysisResult* = enum

arNo, arMaybe, arYes

proc isPartOf*[S, T](a: S, b: T): TAnalysisResult {.

magic: "IsPartOf", noSideEffect.}

## not yet exported properly.

template compileTimeAssert(cond) =

when not cond:

{.compile: "is false: " & astToStr(cond).}

template `<|` (a, b) =

compileTimeAssert isPartOf(a, b) == arYes

template `!<|` (a, b) =

compileTimeAssert isPartOf(a, b) == arNo

template `?<|` (a, b) =

compileTimeAssert isPartOf(a, b) == arMaybe

type

TA {.inheritable.} = object

TC = object of TA

arr: array[0..3, int]

le, ri: ref TC

f: string

c: char

se: seq[TA]

proc p(param1, param2: TC, param3: var TC): TC =

var

local: TC

plocal: ptr TC

plocal2: ptr TA

local.arr <| local

local.arr[0] <| local

local.arr[2] !<| local.arr[1]

plocal2[] ?<| local

param1 ?<| param2

local ?<| param3

local.arr[0] !<| param1

local.arr !<| param1

local.le[] ?<| param1

param1 !<| local.arr[0]

param1 !<| local.arr

param1 ?<| local.le[]

result !<| local

result <| result

var

a, b: int

x: TC

a <| a

a !<| b

discard p(x, x, x)

FilesExpand file tree

talias.nim

Latest commit

History

talias.nim

File metadata and controls