Commits on Oct 29, 2024

1. Reduce splitAt to undefined in illegal contexts …

   Previously, the Clash compiler would try to reduce
   
   ```
   splitAt d1 Nil
   ```
   to something of type
   ```
   (Vec 1 a, Vec (0-1) a)
   ```
   by trying to project the head and the tail out of the `Nil`
   constructor. This of course does not work resulting in an
   out-of-bounds indexing error reported in:
   
   #2831
   
   The compiler now reduces above expressions to:
   
   ```
   undefined :: (Vec 1 a, Vec (0-1) a)
   ```
   
   Which is morally equivalent to the run-time exception Haskell
   evaluation would have thrown if the circuit description was
   evaluated like a regular Haskell program.
   
   Fixes #2831

   

   christiaanb committed Oct 29, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for a7fc0e2
   • Browse repository at this point

   Copy the full SHA

   a7fc0e2 View commit details

   Browse the repository at this point in the history