1/1: Building DataStore (DataStore.idr)
1/1: Building DescribeList (DescribeList.idr)
1/1: Building DescribeList2 (DescribeList2.idr)
1/1: Building DLFail (DLFail.idr)
DLFail.idr:3:20--3:29:While processing left hand side of describe_list_end at DLFail.idr:3:1--4:1:
Can't match on ?xs ++ [?x] (Not a constructor application or primitive)
1/1: Building IsSuffix (IsSuffix.idr)
1/1: Building MergeSort (MergeSort.idr)
1/1: Building MergeSortView (MergeSortView.idr)
1/1: Building Reverse (Reverse.idr)
1/1: Building ReverseSnoc (ReverseSnoc.idr)
1/1: Building Shape (Shape.idr)
1/1: Building Shape_abs (Shape_abs.idr)
1/1: Building SnocList (SnocList.idr)
2/2: Building TestStore (TestStore.idr)