a:     ; label
b dd 0 ; label
c=1    ; constant

if a eqtype label
 'true, is label'
end if

if c eqtype 0          ; true, is number
 if c eqtype label     ; but not label/name/memory
  'false, is constant'
 end if
end if    

label: dq ?

if a eqtype label
 ...
end if
    

a:
x = a        ;a label or a variable?
y = 0
label b at y ;a label or a variable?    

if you just formally say, that everything defined by the equality sign is a variable... only functional difference between a label and a constant — i.e. something you call variable, that is never redefined...

; create new define of name and value

function create.define, name, value
  alias name=v1, value=v2,\
   p=v3, i=v4, n=v5
  . name=a1, value=a2
  try verify.name name
  . p=defines.n, (u32) n=*p  ; # defines++
  . i=n, n++, (u32) *p=n
  . p=define.names
  . p=p+(i<<5)               ; &define.names[i*32]
  text.copy p, name
  . p=define.values
  . p=p+(i<<2)               ; define.values[i*4]
  . (u32) *p=value
endf 1

; create label at ip (a: .x:)

function create.label, name
  alias name=v1,\
   value=v2, p=v3, c=v4
  . name=a1, value=a2
  . p=@ip, (u32) value=*p
  . (u8) c=*name
  .if c=2Eh ; '.'
    text.prefix name, label.prefix
  .else
    text.copy label.prefix, name
  .end
  create.define name, value
endf    

Another difference is that if defined name works for labels but not for numerics and is the current method I'm using (name$#type).

Please don't say something is impossible just because you can't think of a way to do it.

macro create.variable a {
 a: dd 0
 name.#a equ a
 type.#a='i'
 size.#a=32
 sign.#a=1
}

macro is.variable a {
 if defined name.#a
  'Yes'
 end if
}

create.variable abc

is.variable 123 ; false
is.variable abc ; true, 'Yes'    

FASM should have the ability to distinguish numbers from labels for HL variables, type safety and error checking.

FASM should have the ability to distinguish numbers from labels

for HL variables, type safety and error checking

I hate using hacks like this which causes an error with 'c' constants

if ~ '' eqtype a & defined name.#a    

Why should I respect the opinions of those who do not make programs?

I'm not so sure that "should" is the correct word here.

Any number can functionally be a label as well. The difference is in the programmers head only.

That's not a hack. That's just a bug in your code.

What you shouldn't do anyway is to make conclusions based on unverified assumptions.

; convert text to unsigned 32BIT integer

function t2u, t
  alias t=v1,\
   c=v2, n=v3
  . t=a1, (u8) c=*t
  .if c=30h           ; skip preceding
    .while c=30h      ; '0's...
      . (u8) c=*t++
    .endw
    . t--
  .end
  .if c=0             ; 0 value?
    return 0
  .end
  . n=0
  .forever
    . (u8) c=*t++
    .if c=0
      return n
    .end
    . n+(n<<2), n+n   ; n=n*10+*t++-'0'
    . n-30h, n+c
  .endfv
endf n    

Label=Address/Offset. Constant=Any number.

label a at 123    

In HL compilers (and macro languages), there is a distinction. Assembler is unforgiving and has no type safety.

Well, I see no evidence, no reason to believe

I learned what I know about FASM by studying Tomasz's code

Now try to guess, why he still didn't appear in your topic.

I'm not wanting responses.

m3ntal

Quote:

Label=Address/Offset. Constant=Any number.

Once again, label in fasm is also any number:

Code:

label a at 123    

An address can be any number in valid address range. That's the point.

You can not assign a floating point value to a label

nor can you use a 64 bit value when using 32 bit (use32)

use32

label lbl1 at 0x100000000
label lbl2 at -1

dq lbl1
dq lbl2    

I don't know about recent changes - anyway I would prefer the correct context.

Naturally every address represents a numeric value - on the other hand not every numeric value represents an address.

My dick has 170 mm length

Numeric values without a dimension is not more than abstract mathematics - nothing to do with addressing at all.

macro typetest d {
    if d eqtype DWORD[ebp]
         match a[tail],d \{
              match =DWORD,a\\{display 'DWORD[]',0x0d,0x0a\\}
              match =WORD,a\\{display 'WORD[]',0x0d,0x0a\\}
              match =BYTE,a\\{display 'BYTE[]',0x0d,0x0a\\}\}
    else if d eqtype [ebp]
         match [a],d\{display '[]',0x0d,0x0a\}
    else
         virtual
              lea eax,[d]
              load modrm byte from $$ + 1
         end virtual
         if ((modrm shr 3) and 11111b) or (modrm and 111b) = 00101b
              display 'NUMERIC(MAYBE LABEL)',0x0d,0x0a
         else
              display 'REGISTER-BASED LABEL',0x0d,0x0a
         end if
    end if }
   virtual at 1
    .m1:
   end virtual
   virtual at ebp + 1001
    .m2:
   end virtual
   virtual at edx + ebx*8 + 1000
    .m3:
   end virtual
     typetest .m1       ;NUMERIC(MAYBE LABEL)
     typetest .m2       ;REGISTER-BASED LABEL
     typetest .m3       ;REGISTER-BASED LABEL
     typetest WORD[.m1] ;WORD[]
     typetest [.m2]     ;[]