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)