Fix function with tuple type in codomain
- Mar 09, 2023
-
-
Stéphane Del Pino authored
-
Stéphane Del Pino authored
Empty functions are defined the following way for instance ``` let f: void -> R, void -> 3.2; ```
-
- Mar 08, 2023
-
-
Stéphane Del Pino authored
-
Stéphane Del Pino authored
-
- Mar 07, 2023
-
-
Stéphane Del Pino authored
- standard conversion rules apply - size checking is done at run time
-
Stéphane Del Pino authored
-
- Mar 06, 2023
-
-
Stéphane Del Pino authored
I observed a very long compilation time using clang-10 with these two files.
-
Stéphane Del Pino authored
It is related with the implementation of std::vector<bool>, thus appears possibly according to the standard C++ library implementation.
-
Stéphane Del Pino authored
Tuples must have a size of one (checked at running time)
-
- Mar 03, 2023
-
-
Stéphane Del Pino authored
-
Stéphane Del Pino authored
- this is done in view of future tuple to value and tuple to list affectations - split affectation processor from lists and tuples to tuples for clarity
-
- Mar 01, 2023
-
-
Stéphane Del Pino authored
-
Stéphane Del Pino authored
-
Stéphane Del Pino authored
-
- Feb 28, 2023
-
-
Stéphane Del Pino authored
-
Stéphane Del Pino authored
- actually, it was not implemented (sic) - tuples are explicitly forbidden in the definition domain - add associated tests - update user documentation
-
- Feb 20, 2023
-
-
Stéphane Del Pino authored
-
