update to lts-8.3 for 8.0.2

Author: Adam C. Foltzer

stack-8.0.yaml

@@ -1,7 +1,7 @@
 # For more information, see: http://docs.haskellstack.org/en/stable/yaml_configuration.html
 
 # Specifies the GHC version and set of packages available (e.g., lts-3.5, nightly-2015-09-21, ghc-7.10.2)
-resolver: nightly-2017-02-02
+resolver: lts-8.3
 
 # Local packages, usually specified by relative directory name
 packages:

tower-aadl/src/Tower/AADL/Threads.hs

@@ -92,15 +92,6 @@ injectFromExternal m = mempty { atThreadsFromExternal = [m] }
 injectPassiveThread :: A.Monitor -> PassiveThreads
 injectPassiveThread m = mempty { ptThreadsPassive = [m] }
 
-class ThreadName a where
-  threadName :: a -> String
-
-instance ThreadName A.Monitor where
-  threadName = A.monitorName
-
-instance ThreadName A.Thread where
-  threadName = A.threadName
-
 ----------------------------------------
 
 -- All monitors except monitors that are labeled as external. For each passive