8000 Add support to naked attributes · Issue #768 · mint-lang/mint · GitHub

More Web Proxy on the site http://driver.im/

Add support to naked attributes #768

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Closed

memburg opened this issue Apr 21, 2025 · 4 comments

Labels

wontfix

memburg commented

Support to naked attributes would prevents issues like the following:

I was expecting the equal sign of an HTML attribute but I found "></textarea>"
instead:

When I tried to explicitly set the value I got the following:

The type of the value for the property "readonly" of element "textarea" does not
match its type.

I was expecting:

  Bool

Instead it is:

  String

This would be a nice feature to avoid the usage of JavaScript to set the property.

The text was updated successfully, but these errors were encountered:

Member

Sija commented

Could you post the failing code?

Author

memburg commented

Hi, sure.

This is the piece of code causing the issue:

component TestComp {
  fun render {
    <div class="fi">
      <textarea id="mv" readonly></textarea>
    </div>
  }
}

or

component TestComp {
  fun render {
    <div class="fi">
      <textarea id="mv" readonly="true"></textarea>
    </div>
  }
}

Member

gdotdesign commented

Hi 👋

In Mint, there are three HTML attributes which take a Bool instead of String: readonly, disabled, checked:

component Main {
  fun render : Html {
  	<textarea id="mv" readonly={true}></textarea>
  }
}

They set the associated property on the HTML element, so there is no need to fall back to JavaScript for this.

Not having naked attributes is intentional to avoid ambiguity in some cases and to keep the language simpler.

Author

memburg commented

Cool, thanks for the clarification!

gdotdesign added the wontfix label

gdotdesign closed this as completed

Sija reopened this

Sija closed this as not planned

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

0