mirror of
				https://github.com/slint-ui/slint.git
				synced 2025-11-04 05:34:37 +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.1 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}
 | 
						||
}
 |