feat(course): compiling state machines to ccc (upgrades) and pipelining

Author: symbiont-stevan-andjelkovic

doc/advanced-testing-mini-course/advanced-testing-mini-course.cabal

@@ -33,11 +33,13 @@ library
     , bytestring
     , containers
     , directory
+    , filepath
     , heaps
     , http-client
     , http-types
     , HUnit
     , microlens-platform
+    , overloaded
     , QuickCheck
     , random
     , sqlite-simple
@@ -46,6 +48,7 @@ library
     , time
     , transformers
     , tree-diff           ==0.0.2.1
+    , unix
     , vector
     , wai
     , warp
@@ -88,6 +91,8 @@ library
     Lec06WhiteboxCheckers
     Lec07EfficientEventLoop
     Lec08AsyncFileSystemIO
+    Lec09.FreeFunc
+    Lec09.Pipeline
     Lec09SMUpgrades
     Lec10LibraryOrFramework
 

doc/advanced-testing-mini-course/cabal.project.freeze

@@ -2759,4 +2759,11 @@ constraints: abstract-deque ==0.3,
              ztail ==1.2.0.2,
              zydiskell ==0.2.0.0,
              rts installed,
-             ghc-boot-th installed
+             ghc-boot-th installed,
+             overloaded ==0.3.1,
+             symbols ==0.3.0.0,
+             ghc installed,
+             hpc installed,
+             ghc-heap installed,
+             ghc-boot installed,
+             ghci installed