error нигде не выскочил, потому что его даже не вычисляли

список можно заматчить не вычисляя его весь

возьмем опять foldr

foldr f z [] = z
foldr f z (x:xs) = f x (foldr f z xs)

подставим f = (:), z = []

foldr (:) [] [] = []
foldr (:) [] (x:xs) = x : foldr (:) [] xs

результат foldr можно сматчить, но вычислять весь список для этого не обязательно

Но ведь foldr нужно выполнить операцию и над нулями

ему нужно будет это сделать ТОЛЬКО если кто-то еще затребует второй элемент, тогда он выполнит операцию над первым нулем

Ну вот хотя бы foldr (+) 0 1:repeat 2

если делать foldr (+) 0
то тогда на бесконечном списке это работать не будет, потому что невозможно частично сматчить число

но если сделать скажем так

data Nat = Zero | Succ Nat
add :: Nat -> Nat -> Nat
add Zero b = b
add (Succ a) b = Succ (add a b)

то уже можно сворачивать так
foldr add Zero
и мы сможем частично сматчить результат свертки бесконечного списка

например чтобы проверить, что результат больше 10, а дальше не вычислять

let ones = repeat (Succ Zero)
let sumOfAllOnes = foldr add Zero ones
case sumOfAllOnes of
 Succ (Succ x) -> print ">= 2"

то есть мы вычисляем ровно до тех пор, пока у нас не будет двух Succ
">= 2"

То есть оно работает только для операций, в которых результат может не зависеть от одного из операндов?

оно работает для конструкторов, потому что на конструкторах можно прекратить выполнение

при конструировании
Cons x (f y)
на этом моменте можно уже не выполнять f y, пока кому-то не захочется сматчить второй аргумент Cons

x никак не поменяется в зависимости от результата f y, как и Cons останется Cons всегда и не будет заменен на Nil независимо от результатов f y

Не использую VSCode, поэтому про плагины для неё не знаю.

покажите текущий .cabal

ну вот, начались опять ассемблеры в адвенте

Вот так не ворчит cabal, но не работает локальная навигация

cabal-version:       >=1.10
-- Initial package description 'test0003.cabal' generated by 'cabal init'.
--   For further documentation, see http://haskell.org/cabal/users-guide/

name:                test0003
version:             0.1.0.0
-- synopsis:
-- description:
-- bug-reports:
-- license:
license-file:        LICENSE
author:              Aleksey Kislitsa
maintainer:          aleksey.kislitsa@gmail.com
-- copyright:
-- category:
build-type:          Simple
extra-source-files:  CHANGELOG.md

library
  exposed-modules: Lib
  -- other-modules: Paths_test0003
  hs-source-dirs: src
  build-depends: base >=4.13 && <4.14
  -- default-language: Haskell2010

executable test0003
  main-is:             Main.hs
  -- other-modules:
  -- other-extensions:
  build-depends:       base >=4.13 && <4.14, test0003
  hs-source-dirs:      app
  default-language:    Haskell2010

Вот так ворчит cabal но начинает работать навигация

cabal-version:       >=1.10
-- Initial package description 'test0003.cabal' generated by 'cabal init'.
--   For further documentation, see http://haskell.org/cabal/users-guide/

name:                test0003
version:             0.1.0.0
-- synopsis:
-- description:
-- bug-reports:
-- license:
license-file:        LICENSE
author:              Aleksey Kislitsa
maintainer:          aleksey.kislitsa@gmail.com
-- copyright:
-- category:
build-type:          Simple
extra-source-files:  CHANGELOG.md

library
  exposed-modules: Lib
  -- other-modules: Paths_test0003
  hs-source-dirs: src
  build-depends: base >=4.13 && <4.14
  -- default-language: Haskell2010

executable test0003
  main-is:             Main.hs
  -- other-modules:
  -- other-extensions:
  build-depends:       base >=4.13 && <4.14, test0003
  hs-source-dirs:      app, src
  default-language:    Haskell2010

Мне как раз нужно VSCode плагин запинать или заменить, так как в консоли и stack и cabal работают и проекты собирают.

cabal-version:       >=1.10
-- Initial package description 'test0003.cabal' generated by 'cabal init'.
--   For further documentation, see http://haskell.org/cabal/users-guide/

name:                test0003
version:             0.1.0.0
-- synopsis:
-- description:
-- bug-reports:
-- license:
license-file:        LICENSE
author:              Aleksey Kislitsa
maintainer:          aleksey.kislitsa@gmail.com
-- copyright:
-- category:
build-type:          Simple
extra-source-files:  CHANGELOG.md

library
  exposed-modules: Lib
  -- other-modules: Paths_test0003
  hs-source-dirs: src
  build-depends: base >=4.13 && <4.14
  -- default-language: Haskell2010

executable test0003
  main-is:             Main.hs
  -- other-modules:
  -- other-extensions:
  build-depends:       base >=4.13 && <4.14, test0003
  hs-source-dirs:      app
  default-language:    Haskell2010

cabal-version:       >=1.10
-- Initial package description 'test0003.cabal' generated by 'cabal init'.
--   For further documentation, see http://haskell.org/cabal/users-guide/

name:                test0003
version:             0.1.0.0
-- synopsis:
-- description:
-- bug-reports:
-- license:
license-file:        LICENSE
author:              Aleksey Kislitsa
maintainer:          aleksey.kislitsa@gmail.com
-- copyright:
-- category:
build-type:          Simple
extra-source-files:  CHANGELOG.md

library
  exposed-modules: Lib
  -- other-modules: Paths_test0003
  hs-source-dirs: src
  build-depends: base >=4.13 && <4.14
  -- default-language: Haskell2010

executable test0003
  main-is:             Main.hs
  -- other-modules:
  -- other-extensions:
  build-depends:       base >=4.13 && <4.14, test0003
  hs-source-dirs:      app, src
  default-language:    Haskell2010

В первом варианте библиотека всё ещё не подключена к executable

Хотя не, вижу

Но второй вариант в принципе не корректен. Потому что одни и те же модули приходят с библиотекой и из директории

Code Runner нужно настроить, чтобы делал cabal run. Вот вам и будет "запуск"

https://marketplace.visualstudio.com/items?itemName=haskell.haskell использует haskell-language-server. А этот может потребовать описания того, какие модули к чему относятся.