defaultSettings :: ProgSettings
defaultSettings = ProgSettings
                  { lib = error "uninitialized settings"
                  , spec = error "uninitialized settings"
                  , pattern = error "uninitialized settings"
                  , design = error "uninitialized settings"
                  , translate = False
                  , verbosity = 4 }
defaultSettings :: ProgSettings
defaultSettings = ProgSettings
                  { lib = error "uninitialized settings"
                  , spec = error "uninitialized settings"
                  , pattern = error "uninitialized settings"
                  , design = error "uninitialized settings"
                  , translate = False
                  , verbosity = 4 }
defaultSettings = ProgSettings
                  { lib = error "uninitialized settings"
                  , spec = error "uninitialized settings"
                  , pattern = error "uninitialized settings"
                  , design = error "uninitialized settings"
                  , translate = False
                  , verbosity = 4 }