Needs `Data.List1.foldr1 and Data.List1.foldr1By to be public. (See: idris-lang/Idris2#3041)
With this PR all of the files are compiling. Some of the examples seem to take forever, but I've unblocked any stuck functions. The example files Ambig.idr and STLCpos.idr are completing with the tests uncommented. The latter takes about four seconds to run.
I'm not sure why STLC.idr has different behavior from STLCpos.idr. (STLC doesn't finish with a test uncommented.)
Needs `Data.List1.foldr1 and Data.List1.foldr1By to be public. (See: idris-lang/Idris2#3041)
With this PR all of the files are compiling. Some of the examples seem to take forever, but I've unblocked any stuck functions. The example files
Ambig.idr
andSTLCpos.idr
are completing with the tests uncommented. The latter takes about four seconds to run.I'm not sure why
STLC.idr
has different behavior fromSTLCpos.idr
. (STLC doesn't finish with a test uncommented.)