Seunghyeon Nam comments

Repositories
Issues
Comments

Results 2 comments of


                                            Seunghyeon Nam

`copilot-language` - Unable to drop as many elements from Stream as prepended

```haskell analyzeDrop :: Int -> Stream a -> IO () analyzeDrop k (Append xs _ _) | k >= length xs = throw DropIndexOverflow | k > fromIntegral (maxBound ::...

Allow appending and then dropping the same number of elements from Stream

> Good catch! Here is a concrete test case that demonstrates the bug in action: > > ```haskell > {-# LANGUAGE NoImplicitPrelude #-} > module Main (main) where > >...