createLeft function is broken

[Altai-man]

Thanks for your work.

Latest commit, built with stack-local ghc-8:

*Data.Sext.TH Data.Sext Data.Sext.Class Data.Sext.TH> Data.Sext.createRight ' ' "string" :: Sext 10 String
"    string"
*Data.Sext.TH Data.Sext Data.Sext.Class Data.Sext.TH> Data.Sext.createRight ' ' "string" :: Sext 1 String
"g"

createRight is okay, but createLeft gives me:

*Data.Sext.TH Data.Sext Data.Sext.Class Data.Sext.TH> Data.Sext.createLeft ' ' "string" :: Sext 1 String
"string"
*Data.Sext.TH Data.Sext Data.Sext.Class Data.Sext.TH> Data.Sext.createLeft ' ' "string" :: Sext 100 String
"string"
*Data.Sext.TH Data.Sext Data.Sext.Class Data.Sext.TH> 

It seems that the last call to C.take (C.length s) in the implementation is incorrect, since it just returns an origin string.

The correct implementation needs to use C.take t to be valid.

[dzhus]

Hello, thank you for reporting the bug - this is really embarassing. Should be fixed in sext-0.1.3.

[Altai-man]

Don't worry! The issue was found when I played with liquidhaskell and your package for an university paper, so I am glad to help here.
I hope it is okay to mention your library in my course paper.

The issue is resolved, hence closed.

[dzhus]

Of course. Best of luck.