Cabal revisions of copilot-core-3.6

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

 cabal-version:       >=1.10 name:                copilot-core version:             3.6+x-revision: 1 synopsis:            An intermediate representation for Copilot. description:   Intermediate representation for Copilot.     subdir:     lib/copilot-core  library+  build-depends: base <4.16+    default-language:  Haskell2010 

-cabal-version:       >=1.10-name:                copilot-core-version:             3.6-x-revision: 1-synopsis:            An intermediate representation for Copilot.-description:-  Intermediate representation for Copilot.-  .-  Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in-  Haskell that compiles into embedded C.  Copilot contains an interpreter,-  multiple back-end compilers, and other verification tools.-  .-  A tutorial, examples, and other information are available at-  <https://copilot-language.github.io>.--author:              Frank Dedden, Lee Pike, Robin Morisset, Alwyn Goodloe,-                     Sebastian Niller, Nis Nordbyop Wegmann, Ivan Perez-license:             BSD3-license-file:        LICENSE-maintainer:          Ivan Perez <ivan.perezdominguez@nasa.gov>-homepage:            https://copilot-language.github.io-bug-reports:         https://github.com/Copilot-Language/copilot/issues-stability:           Experimental-category:            Language, Embedded-build-type:          Simple-extra-source-files:  README.md, CHANGELOG--source-repository head-    type:       git-    location:   https://github.com/Copilot-Language/copilot.git-    subdir:     lib/copilot-core--library-  build-depends: base <4.16---  default-language:  Haskell2010--  hs-source-dirs:    src--  ghc-options:-    -Wall-    -fwarn-tabs-    -fno-warn-orphans--  build-depends:-    base       >= 4.9 && < 5,-    pretty     >= 1.0 && < 1.2,-    mtl        >= 2.0 && < 2.3,-    dlist--  exposed-modules:--    Copilot.Core-    Copilot.Core.Error-    Copilot.Core.Expr-    Copilot.Core.External-    Copilot.Core.Interpret-    Copilot.Core.Interpret.Eval-    Copilot.Core.Interpret.Render-    Copilot.Core.Operators-    Copilot.Core.Spec-    Copilot.Core.Locals-    Copilot.Core.Type-    Copilot.Core.Type.Array-    Copilot.Core.Type.Dynamic-    Copilot.Core.Type.Equality-    Copilot.Core.Type.Eq-    Copilot.Core.Type.Show-    Copilot.Core.Type.Read-    Copilot.Core.Type.Uninitialized-    Copilot.Core.PrettyPrint-    Copilot.Core.PrettyDot--  other-modules:--    Copilot.Core.ErrorInternal-    Copilot.Core.Interpret.RenderInternal--test-suite unit-tests-  type:-    exitcode-stdio-1.0--  main-is:-    Main.hs--  other-modules:-    Test.Extra-    Test.Copilot.Core.Error-    Test.Copilot.Core.External-    Test.Copilot.Core.Interpret.Eval-    Test.Copilot.Core.Type-    Test.Copilot.Core.Type.Array-    Test.Copilot.Core.Type.Dynamic-    Test.Copilot.Core.Type.Show--  build-depends:-      base-    , HUnit-    , QuickCheck-    , pretty-    , test-framework-    , test-framework-hunit-    , test-framework-quickcheck2--    , copilot-core--  hs-source-dirs:-    tests--  default-language:-    Haskell2010--  ghc-options:-    -Wall+cabal-version:       >=1.10
+name:                copilot-core
+version:             3.6
+x-revision: 2
+synopsis:            An intermediate representation for Copilot.
+description:
+  Intermediate representation for Copilot.
+  .
+  Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
+  Haskell that compiles into embedded C.  Copilot contains an interpreter,
+  multiple back-end compilers, and other verification tools.
+  .
+  A tutorial, examples, and other information are available at
+  <https://copilot-language.github.io>.
+
+author:              Frank Dedden, Lee Pike, Robin Morisset, Alwyn Goodloe,
+                     Sebastian Niller, Nis Nordbyop Wegmann, Ivan Perez
+license:             BSD3
+license-file:        LICENSE
+maintainer:          Ivan Perez <ivan.perezdominguez@nasa.gov>
+homepage:            https://copilot-language.github.io
+bug-reports:         https://github.com/Copilot-Language/copilot/issues
+stability:           Experimental
+category:            Language, Embedded
+build-type:          Simple
+extra-source-files:  README.md, CHANGELOG
+
+source-repository head
+    type:       git
+    location:   https://github.com/Copilot-Language/copilot.git
+    subdir:     lib/copilot-core
+
+library
+
+  default-language:  Haskell2010
+
+  hs-source-dirs:    src
+
+  ghc-options:
+    -Wall
+    -fwarn-tabs
+    -fno-warn-orphans
+
+  build-depends:
+    base       >= 4.9 && < 5,
+    pretty     >= 1.0 && < 1.2,
+    mtl        >= 2.0 && < 2.3,
+    dlist
+
+  exposed-modules:
+
+    Copilot.Core
+    Copilot.Core.Error
+    Copilot.Core.Expr
+    Copilot.Core.External
+    Copilot.Core.Interpret
+    Copilot.Core.Interpret.Eval
+    Copilot.Core.Interpret.Render
+    Copilot.Core.Operators
+    Copilot.Core.Spec
+    Copilot.Core.Locals
+    Copilot.Core.Type
+    Copilot.Core.Type.Array
+    Copilot.Core.Type.Dynamic
+    Copilot.Core.Type.Equality
+    Copilot.Core.Type.Eq
+    Copilot.Core.Type.Show
+    Copilot.Core.Type.Read
+    Copilot.Core.Type.Uninitialized
+    Copilot.Core.PrettyPrint
+    Copilot.Core.PrettyDot
+
+  other-modules:
+
+    Copilot.Core.ErrorInternal
+    Copilot.Core.Interpret.RenderInternal
+
+test-suite unit-tests
+  type:
+    exitcode-stdio-1.0
+
+  main-is:
+    Main.hs
+
+  other-modules:
+    Test.Extra
+    Test.Copilot.Core.Error
+    Test.Copilot.Core.External
+    Test.Copilot.Core.Interpret.Eval
+    Test.Copilot.Core.Type
+    Test.Copilot.Core.Type.Array
+    Test.Copilot.Core.Type.Dynamic
+    Test.Copilot.Core.Type.Show
+
+  build-depends:
+      base
+    , HUnit
+    , QuickCheck
+    , pretty
+    , test-framework
+    , test-framework-hunit
+    , test-framework-quickcheck2
+
+    , copilot-core
+
+  hs-source-dirs:
+    tests
+
+  default-language:
+    Haskell2010
+
+  ghc-options:
+    -Wall