HEL/midas
1
0
Fork 0
Code Issues Pull Requests 1 Releases Activity

fix(parser): update examples

Browse Source
This commit is contained in:
Louis Heredero
2026-05-18 12:47:21 +02:00
parent 3f199ff134
commit ee308fe223
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
examples/00_syntax_prototype/01_simple_types.py
View File

@@ -7,7 +7,7 @@ from __future__ import annotations
df: Frame[ df: Frame[
verified: bool, verified: bool,
birth_year: int, birth_year: int,
height: float, height: float + ( _ > 0 ) + ( _ < 250 ),
name: str, name: str,
date: datetime, date: datetime,
float, # unnamed float, # unnamed

2
examples/00_syntax_prototype/02_custom_types.midas
View File

@@ -16,7 +16,7 @@ op <Latitude> - <Latitude> = <LatitudeDiff>
op <Longitude> - <Longitude> = <LongitudeDiff> op <Longitude> - <Longitude> = <LongitudeDiff>
// Simple custom type with a constraint // Simple custom type with a constraint
type Age<int + (0 <= _ < 150)> type Age<int + (0 <= _) + (_ < 150)>
// Predefined custom constraints that can be referenced in other definitions // Predefined custom constraints that can be referenced in other definitions
constraint Positive = _ >= 0 constraint Positive = _ >= 0