Support GHC 9.8.1 - Githubissues

vehicle-lang / vehicle

A toolkit for enforcing logical specifications on neural networks

https://vehicle-lang.readthedocs.io/

Other

81 stars 7 forks source link

Support GHC 9.8.1 #759

Closed wenkokke closed 10 months ago

wenkokke commented 10 months ago

TODO: Remove use of head and tail in:

[ ] vehicle/src/Vehicle/Backend/Agda/Compile.hs
[ ] vehicle/src/Vehicle/Backend/LossFunction/Compile.hs
[ ] vehicle/src/Vehicle/Backend/Queries/Error.hs
[ ] vehicle/src/Vehicle/Backend/Queries/Variable.hs
[ ] vehicle/src/Vehicle/Compile/Error/Message.hs
[ ] vehicle/src/Vehicle/Compile/ExpandResources/Dataset/IDX.hs
[ ] vehicle/src/Vehicle/Compile/Simplify.hs
[ ] vehicle/src/Vehicle/Verify/Specification/Status.hs
[ ] vehicle/tests/unit/Vehicle/Test/Unit/Compile/CommandLine.hs

MatthewDaggitt commented 10 months ago

Thanks for doing this @wenkokke !