Removing parentheses in models without arguments

[AndreasKrall]

I suggest to remove the parentheses in models without arguments. The advantage is that it is shorter to write and read, a potential disadvantage is that a reader cannot distinguish between model invocations and model arguments any more:

model Size() : Id = { Arch32 }

$Size()

vs

model Size : Id = { Arch32 }

$Size

record Record (str : Str)
model DFormLOp (name : Id, op : Id, opcd : Lit, sh : Lit, rc : Record) : IsaDefs = {
  model extname() : Id = {ExtendId($name, sStr($sh), $rc.str)}
  instruction $extname() : DFormL =
    let result, flags = VADL::$op (GPR(rs), i16tdw(imm, $sh)) in {
      GPR(rd) := result         
      $FlagsFP(flags)
    }
  encoding $extname() = {opcd = $opcd}
  assembly $extname() = ($extname(), " ", register(rd), ",", register(rs), ",", hex(imm))
}

vs

record Record (str : Str)
model DFormLOp (name : Id, op : Id, opcd : Lit, sh : Lit, rc : Record) : IsaDefs = {
  model extname : Id = {ExtendId($name, sStr($sh), $rc.str)}
  instruction $extname : DFormL =
    let result, flags = VADL::$op (GPR(rs), i16tdw(imm, $sh)) in {
      GPR(rd) := result         
      $FlagsFP(flags)
    }
  encoding $extname = {opcd = $opcd}
  assembly $extname = ($extname, " ", register(rd), ",", register(rs), ",", hex(imm))
}

[AndreasKrall]

The second example only works well if we add local name spaces for models, e.g. by an annotation like local. Of course we could think of other means like adding parse time Id constants in VADL, e.g. LetId as companion to AsId or other things for hygienic macros.