mirror of
https://github.com/slint-ui/slint.git
synced 2025-07-24 13:35:00 +00:00
34 lines
1.4 KiB
Text
34 lines
1.4 KiB
Text
// Copyright © SixtyFPS GmbH <info@slint.dev>
|
||
// SPDX-License-Identifier: GPL-3.0-only OR LicenseRef-Slint-Royalty-free-1.0 OR LicenseRef-Slint-commercial
|
||
|
||
export SuperSimple := Rectangle {
|
||
property<duration> p1: 3s + 1ms;
|
||
property<int> p2: 3s + 1;
|
||
// ^error{Cannot convert float to duration}
|
||
property<int> p3: 3s - 1;
|
||
// ^error{Cannot convert float to duration}
|
||
property<int> p4: 3 / 1ms;
|
||
// ^error{Cannot convert \(ms⁻¹\) to int}
|
||
|
||
property<duration> p5: 3ms * 1;
|
||
property<duration> p6: 3ms * 1s;
|
||
// ^error{Cannot convert \(ms²\) to duration}
|
||
|
||
property<int> p7: "hello" * 1;
|
||
// ^error{Cannot convert string to float}
|
||
|
||
property<int> p8: 1 - "hello" - 1;
|
||
// ^error{Cannot convert string to float}
|
||
|
||
property<string> p9: 1 + "hello" + 1;
|
||
property<int> p10: "hello" + 1ms;
|
||
// ^error{Cannot convert duration to string}
|
||
|
||
property<length> p11: 1ms * 1px *3px / 1deg * 3 / (30px * 1s - 3px * 1ms) * 2deg;
|
||
property<int> p12: 1ms * 3s / 3px / (2deg * 5turn) * 2s / 3phx;
|
||
// ^error{Cannot convert \(ms³×phx⁻¹×px⁻¹×deg⁻²\) to int}
|
||
|
||
property <brush> bru: background + background;
|
||
// ^error{Cannot convert brush to float}
|
||
// ^^error{Cannot convert brush to float}
|
||
}
|