Infix constructors broken #114

New Issue

2018-01-18T17:01:08+01:00

mrkgnao commented

2018-01-18 17:01:08 +01:00

(Migrated from github.com)

hconcat :: HVec f as -> HVec f bs -> HVec f (as ++ bs)
hconcat HNil       bs = bs
hconcat (a `HCons` as) bs = a `HCons` hconcat as bs

    ====>

hconcat :: HVec f as -> HVec f bs -> HVec f (as ++ bs)
hconcat HNil       bs = bs
hconcat (aHConsas) bs = a `HCons` hconcat as bs

```haskell hconcat :: HVec f as -> HVec f bs -> HVec f (as ++ bs) hconcat HNil bs = bs hconcat (a `HCons` as) bs = a `HCons` hconcat as bs ====> hconcat :: HVec f as -> HVec f bs -> HVec f (as ++ bs) hconcat HNil bs = bs hconcat (aHConsas) bs = a `HCons` hconcat as bs ```

tfausak commented

2018-01-18 17:37:06 +01:00

(Migrated from github.com)

I think this is the same as #101, which has a fix pending in #107.

Sign in to join this conversation.

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: hexagoxel/brittany#114