From 1acf33f376a012e7eeec3a24fee189aeb0e89706 Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Wed, 8 Jul 2026 09:32:39 +0200 Subject: [PATCH] chore: fix weather pipeline example --- examples/02_demonstration/weather/custom_types.midas | 6 +++--- examples/02_demonstration/weather/gen_data.py | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/examples/02_demonstration/weather/custom_types.midas b/examples/02_demonstration/weather/custom_types.midas index 289b358..2dff64c 100644 --- a/examples/02_demonstration/weather/custom_types.midas +++ b/examples/02_demonstration/weather/custom_types.midas @@ -5,7 +5,7 @@ type Celsius = float type Kelvin = float where _ >= 0 type Hectopascal = float -type Temperature = Celsius where in_range(-30.0, 100.0) +type Temperature = Celsius where in_range(-30.0, 100.0)(_) type Pressure = Hectopascal where in_range(800.0, 1100.0)(_) type Humidity = float where is_percentage(_) type HeatIndex = float @@ -61,5 +61,5 @@ alias DailyAverages = Frame[ heat_index: Mean[HeatIndex], ] -predicate limit_amplitude(max_amp: float)(ls: list[float]) = max(ls) - min(ls) <= max_amp -type LowAmplitudeWave = list[float where _ >= 1] where limit_amplitude(10)(_) +// predicate limit_amplitude(max_amp: float)(ls: list[float]) = max(ls) - min(ls) <= max_amp +// type LowAmplitudeWave = list[float where _ >= 1] where limit_amplitude(10)(_) diff --git a/examples/02_demonstration/weather/gen_data.py b/examples/02_demonstration/weather/gen_data.py index bdd3b5f..f86467e 100644 --- a/examples/02_demonstration/weather/gen_data.py +++ b/examples/02_demonstration/weather/gen_data.py @@ -11,7 +11,7 @@ delta = end_ts - start_ts min_temp, max_temp = -30.0, 100.0 min_pres, max_pres = 800.0, 1100.0 -min_hum, max_hum = 0.0, 1.0 +min_hum, max_hum = 0.0, 100.0 N = 3000