From george.colpitts at gmail.com Sun Apr 2 11:41:07 2023 From: george.colpitts at gmail.com (George Colpitts) Date: Sun, 2 Apr 2023 08:41:07 -0300 Subject: =?UTF-8?Q?on_my_mac_9=2E6=2E1_can=27t_compile_with_ghc_=2Dprof_=2Dfprof=2D?= =?UTF-8?Q?auto_=2C_gets_error_Could_not_find_module_=E2=80=98Prelude=E2=80=99?= In-Reply-To: <87edpupvhh.fsf@smart-cactus.org> References: <87edpupvhh.fsf@smart-cactus.org> Message-ID: Hello On my mac, in ghc 9.6.1 can't compile with ghc -prof -fprof-auto , I get the error: Could not find module ‘Prelude’ Perhaps you haven't installed the "p_dyn" libraries for package ‘base-4.18.0.0’? Use -v (or `:set -v` in ghci) to see a list of the files searched for. Is anybody else experiencing this? In more detail: > ghc -prof -fprof-auto hello.hsLoaded package environment from /Users/gcolpitts/.ghc/x86_64-darwin-9.6.1/environments/default[1 of 2] Compiling Main ( hello.hs, hello.o )hello.hs:1:1: error: Could not find module ‘Prelude’ Perhaps you haven't installed the "p_dyn" libraries for package ‘base-4.18.0.0’? Use -v (or `:set -v` in ghci) to see a list of the files searched for. |1 | main = print "hello" | ^ hello.hs consists of main = print "hello" I reported this in 9.2.3 , in #21709 . At that time there was a workaround of adding -static but that no longer works. It gives a slightly different error message: ghc -prof -fprof-auto -static hello.hs Loaded package environment from /Users/gcolpitts/.ghc/x86_64-darwin-9.6.1/environments/default [2 of 2] Linking hello ld: warning: directory not found for option '-L/opt/local/lib/' ld: library not found for -lHStyp-qlty-1-186ccc78_p clang: error: linker command failed with exit code 1 (use -v to see invocation) ghc-9.6.1: `gcc' failed in phase `Linker'. (Exit code: 1) I have updated 21709 with the details of the problem on 9.6.1 Thanks -------------- next part -------------- An HTML attachment was scrubbed... URL: From anthony.d.clayden at gmail.com Tue Apr 18 04:45:51 2023 From: anthony.d.clayden at gmail.com (Anthony Clayden) Date: Tue, 18 Apr 2023 16:45:51 +1200 Subject: Pattern Synonym decls only at top level Message-ID: " Pattern synonym declarations can only occur in the top level of a module. In particular, they are not allowed as local definitions. " says the User Guide. And the 2016 paper says likewise. But there's no explanation why. PattSyns are not necessarily declared in the same module as the underlying Datatype, so there can be a region of scope with the data constructor but without the PattSyn. If PattSyns are declared in the same module as their datatype, you can export the PattSyns but not the data constructors -- indeed that's a common way to keep the Datatype implementation abstract. Or (unusually) you can export the data constructors but not PattSyns. So there seems to be no close tie-up of Datatype/constructors and PattSyns. Then why couldn't a PattSyn be declared in local scope only? The builder function behind a PattSyn is just like any other function, so could be local(?) The paper's Implementation section 7 says the matcher also is an "ordinary function". Relatedly, PattSyns can in effect be overloaded: define the PattSyn in terms of a ViewPattern function. That can be a method of some class. Then why not more directly declare PattSyns within a class? [I have a feeling I answered a similar question on some forum, saying the PattSyn has to follow around its data constructors, like a dog on a lead. Can't find that now. If that was me, I apologise and withdraw.] AntC -------------- next part -------------- An HTML attachment was scrubbed... URL: From zubin at well-typed.com Tue Apr 18 13:56:48 2023 From: zubin at well-typed.com (Zubin Duggal) Date: Tue, 18 Apr 2023 19:26:48 +0530 Subject: [Haskell] [ANNOUNCE] GHC 9.4.5 released Message-ID: The GHC developers are happy to announce the availability of GHC 9.4.5. Binary distributions, source distributions, and documentation are available at [downloads.haskell.org](https://downloads.haskell.org/ghc/9.4.5). Download Page: https://www.haskell.org/ghc/download_ghc_9.4.5.html Blog Post: https://www.haskell.org/ghc/blog/20230418-ghc-9.4.5-released.html This release is primarily a bugfix release addressing a few issues found in 9.4.4. These include: * Fixes for a number of bug fixes in the simplifier (#22623, #22718, #22913, 22695, #23184, #22998, #22662, #22725). * Many bug fixes to the non-moving and parallel GCs (#22264, #22327, #22926, #22927, #22929, #22930, #17574, #21840, #22528) * A fix a bug with the alignment of RTS data structures that could result in segfaults when compiled with high optimisation settings on certain platforms (#22975 , #22965). * Bumping `gmp-tarballs` to a version which doesn't use the reserved `x18` register on AArch64/Darwin systems, and also has fixes for CVE-2021-43618 (#22497, #22789). * A number of improvements to recompilation avoidance with multiple home units (#22675, #22677, #22669, #22678, #22679, #22680) * Fixes for regressions in the typechecker and constraint solver (#22647, #23134, #22516, #22743) * Easier installation of binary distribution on MacOS platforms by changing the installation Makefile to remove the quarantine attribute when installing. * ... and many more. See the [release notes] for a full accounting. As some of the fixed issues do affect correctness users are encouraged to upgrade promptly. We would like to thank Microsoft Azure, GitHub, IOG, the Zw3rk stake pool, Well-Typed, Tweag I/O, Serokell, Equinix, SimSpace, Haskell Foundation, and other anonymous contributors whose on-going financial and in-kind support has facilitated GHC maintenance and release management over the years. Finally, this release would not have been possible without the hundreds of open-source contributors whose work comprise this release. As always, do give this release a try and open a [ticket][] if you see anything amiss. Happy compiling, - Zubin [ticket]: https://gitlab.haskell.org/ghc/ghc/-/issues/new [release notes]: https://downloads.haskell.org/~ghc/9.4.5/docs/html/users_guide/9.4.5-notes.html -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 488 bytes Desc: not available URL: