linearscan-0.3.0.0: LinearScan/NonEmpty0.hs

module LinearScan.NonEmpty0 where


import Debug.Trace (trace, traceShow)
import qualified Prelude
import qualified Data.IntMap
import qualified Data.IntSet
import qualified Data.List
import qualified Data.Ord
import qualified Data.Functor.Identity
import qualified LinearScan.Utils


coq_NE_from_list :: a1 -> ([] a1) -> [] a1
coq_NE_from_list x xs =
  case xs of {
   [] -> (:[]) x;
   (:) y ys -> (:) x (coq_NE_from_list y ys)}