Maja Piechotka
Maja Piechotka
I will take a look at failure tomorrow. For whatever reason it passed locally.
>> I cannot reuse subexpr directly as parsers are effectivly non-clonable (issue #283) >> There doesn't seems to be a primitive suitable for it (for example sepBy ignores separator) >...
> It was introduced because many template expressions in C++ return values where the type is either insanely complex, or the specification does not give it any name. The latter...
@sdroege ``` [WARN libgir::library_postprocessing] Field `NotifierClass::padding` missing c:type assumed to be `fixed_array` [WARN libgir::config::gobjects] Configured object `Gio.Priority` missing from the library [ERROR libgir::analysis::record] Missing memory management functions for Tracker.NotifierEvent [WARN...
@GuillaumeGomez - I tried to look for this information but I could not find any (it wasn't mentioned when I reported problems with GIR: https://gitlab.gnome.org/GNOME/tracker/-/issues/262 or on blog post: https://samthursfield.wordpress.com/2020/01/08/last-month-in-tracker/)....
That would not solve the problem fully due to [`mpz_export`](https://docs.rs/gmp-mpfr-sys/1.0.8/gmp_mpfr_sys/gmp/fn.mpz_export.html)/[`mpz_import`](https://docs.rs/gmp-mpfr-sys/1.0.8/gmp_mpfr_sys/gmp/fn.mpz_export.html) functions. GMP documents internals only partially (namely - there are some compile-time constants) so I guess it should work assuming...
Even simpler: ``` module repro -- Warning goes away without mutual mutual data Foo : Type where Foo1 : Foo data Bar : Nat -> Foo -> Type where Bar1...
@MatthewDaggitt unfortunately Algebra.Properties.* depends on Data.Table.
@MatthewDaggitt How do you want to handle it? Should it diverge from rest of `Algebra.Properties` which use `sumₜ`?
Emacs have used 100% CPU (process named emacs so I presume not the pymacs helper process) i.e. single core (not all cores). There was no problem with physical memory (it...