Constants with custom types

[KristianBalaj]

What Git revision are you using?

aiken v1.0.10-alpha 85d82e5

What operating system are you using, and which version?

• Linux / Ubuntu
• Linux / Other
• macOS
• Windows

Describe what the problem is?

I can't define a constant with a custom type.
The following code fails to parse/build:

type Foo {
  bar: Int
}

const foo = Foo {bar: 1}

What should be the expected behavior?

I should be able to define constants even with custom types.

[MicroProofs]

As a workaround. A zero arg function like fn my_record(){ // your constr} is the same thing.

[KristianBalaj]

As a workaround. A zero arg function like fn my_record(){ // your constr} is the same thing.

Is that so? Does it inline the value? Isn't there an additional call?

Or you've meant the same thing from semantical point of view?

[MicroProofs]

It will inline the value as a constant.

[MicroProofs]

Zero arg functions are run at compile time.

[rvcas]

We could also add this, it was supposed to be that case but some of the code got removed cause it was never implemented all the way.

[KristianBalaj]

Zero arg functions are run at compile time.

Good to know. Thanks 🙌