[Haskell] CFP - JFLA 2024 - Journées Francophones des Langages Applicatifs

Spam detection software, running on the system "mail.haskell.org", has identified this incoming email as possible spam. The original message has been attached to this so you can view it (if it isn't spam) or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for

[Haskell] Workshop on Virtual Machines and Language Implementations (VMIL’23) - Call for Papers

Call for Papers Workshop on Virtual Machines and Language Implementations (VMIL’23) Co-located with SPLASH 2023 October 22-27, 2023, Cascais, Portugal https://2023.splashcon.org/home/vmil-2023

[Haskell] IFL23 2nd Call for papers

Important Dates Draft Paper Submission Deadline 31st July, 2023 Notification of Acceptance for Presentation 1st August, 2023 Early Registration Deadline 11th August, 2023 Late Registration Deadline 23rd August, 2023 IFL Symposium 29th - 31st August, 2023 Submission of Papers for Peer-Reviewed

[Haskell] EUSPN 2023 CfPs (Extended): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks

** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/

[Haskell] CFPs (Extended): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare

Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/icth-23/

[Haskell] ICTH 2023 CFPs (Extended): The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare

Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/icth-23/

[Haskell] EUSPN 2023 CfPs (Extended): The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks

** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/

[Haskell] 2nd CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering

16th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2023) October 22-27, 2023 Cascais, Lisbon, Portugal http://www.sleconf.org/2023/ Follow us on Twitter: https://twitter.com/sleconf

[Haskell] APLAS 2023: Deadline Extension

NEWS: Deadline extended to 18th June. == CALL FOR PAPERS 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) Taipei, Taiwan, Sun 26 – Wed 29 November 2023 https://conf.researchr.org/home/aplas-2023

[Haskell] APLAS 2023: Final Call for Papers

== CALL FOR PAPERS 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) Taipei, Taiwan, Sun 26 – Wed 29 November 2023 https://conf.researchr.org/home/aplas-2023

[Haskell] Assistant/Associate professor role at Radboud University

# Assistant or Associate Professor of Software Technology Do you want to work in our programming languages and compiler group, to help create next generation programming languages? Then apply to be an Assistant or Associate Professor of Software Technology. The Software Science department is

[Haskell] Journal of Functional Programming - Call for PhD Abstracts

Dear all, If you or one of your students recently completed a PhD (or Habilitation) in the area of functional programming, please submit the dissertation abstract for publication in JFP. Simple process, no refereeing, open access, 200+ published to date, deadline 30th June 2023. Please share!

[Haskell] TyDe 2023 - Second Call for Papers and Deadline Extension

TL;DR: The submission deadline for TyDe 2023 has been extended to Thursday June 8. CALL FOR PAPERS 8th Workshop on Type-Driven Development (TyDe 2023) Co-Located with ICFP 2023 (Seattle, Washington, USA)

[Haskell] EUSPN 2023 CfPs: The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (November 7-9)

** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/

[Haskell] Call for Papers: JFP Special Issue on Program Calculation

Dear all, We're delighted to announce a Special Issue on Program Calculation for the Journal of Functional Programming. Please share, and submit your best papers! Best wishes, Graham Hutton and Nicolas Wu Guest Editors == JFP

[Haskell] Postdoc Position on Digitally Enforceable Data Sharing Contracts

To whom may be interested, With this message I would like to bring your attention to a Postdoc vacancy with the following title and summary: Postdoc Position on Digitally Enforceable Data Sharing Contracts The University of Amsterdam (UvA) is looking for a Postdoctoral Researcher in the

[Haskell] [ANNOUNCE] GHC 9.2.8 released

The GHC developers are happy to announce the availability of GHC 9.2.8. Binary distributions, source distributions, and documentation are available at [downloads.haskell.org](https://downloads.haskell.org/ghc/9.2.8). This release is primarily a bugfix release addressing one issue found in 9.2.7:

[Haskell] LOPSTR 2023 - Final CFP - Extended paper deadline: June 9, 2023

** Apologies for multiple postings ** 33rd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2023) Co-located with PPDP 2023 as part of SPLASH 2023 October 23-24, 2023 - Cascais, Lisbon, Portugal https://lopstr.github.io/2023/ Important dates: - Paper

[Haskell] Postdoc position in deep probabilistic programming

We have an open postdoc position in deep probabilistic programming (DPP) at DIKU, University of Copenhagen, with a focus on programming language technology. The position is for one year and can be extended to two years. It is open immediately. To inquire about the position or apply for it, please

[ANNOUNCE] GHC 9.6.2 is now available

The GHC developers are happy to announce the availability of GHC 9.6.2. Binary distributions, source distributions, and documentation are available at https://downloads.haskell.org/ghc/9.6.2 This release is primarily a bug-fix release addressing a few issues found in 9.6.2. These

[Haskell] GPCE 2023 Call for Papers (with complete committee information)

Apologies for the incomplete committee information in the previous post. Below you will find the full list of committee members. --- GPCE 2023: 22nd International Conference on Generative Programming: Concepts &

[Haskell] GPCE 2023 Call for Papers

--- GPCE 2023: 22nd International Conference on Generative Programming: Concepts & Experiences GPCE 2023 will be co-located with SPLASH, SAS, and SLE. The conference will be hosted in Lisbon, Portugal.

[Haskell] [CFP] Student Research Competition (SRC) at ICFP'23

ICFP 2023 Student Research Competition Call for Submissions ICFP 2023 invites students to participate in the Student Research Competition in order to present their research and get feedback from prominent members of the programming language research community. The SRC consists of three

[Haskell] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (3rd CFP)

TL;DR Deadline for HOPE 2023 abstracts is on May 31, 2023. Details below. -- HOPE 2023 The 11th ACM SIGPLAN Workshop on Higher-Order Programming with Effects

[Haskell] Call for Submissions: Student Research Competition and Posters, APLAS 2023

== CALL FOR SUBMISSIONS 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) STUDENT RESEARCH COMPETITION and POSTERS Taipei, Taiwan, Sun 26 – Wed 29 November 2023

[Haskell] WITS 2023 First Call for Contributions

== CALL FOR CONTRIBUTIONS Second Workshop on the Implementation of Type Systems August 28th, 2023, Braga, Portugal https://ifl23.github.io/call_papers_wits.html == === Important

[Haskell] ICFP 2023: Call for Tutorial, Panel, and Discussion Proposals

ICFP 2023 CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS 28th ACM SIGPLAN International Conference on Functional Programming September 4 - 9, 2023 Seattle, WA, USA https://icfp23.sigplan.org/ The 28th ACM SIGPLAN International Conference on Functional Programming will be held in Seattle,

[Haskell] Announcement: Fast linear programming with comfort-glpk and coinor-clp

I happily released two other numeric packages based on the comfort-array types. These are bindings to fast numeric linear programming solvers: https://hackage.haskell.org/package/comfort-glpk https://hackage.haskell.org/package/coinor-clp The first one is (another) binding to GLPK and the

[Haskell] ICTH 2023 CFPs:The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2023)

Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/icth-23/

[Haskell] EUSPN 2023 CFPs:The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2023)

** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/

[Haskell] APLAS 2023: Second Call for Papers

UPDATE: Distinguished Papers Awards! == CALL FOR PAPERS 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) Taipei, Taiwan, Sun 26 – Wed 29 November 2023 https://conf.researchr.org/home/aplas-2023

[Haskell] Final Call for Papers: Functional Software Architecture - FP in the Large (** deadline 1st June **)

Dear all, The first workshop on "Functional Software Architecture - FP in the Large” will be held in Seattle in Sept 2023, co-located with the ICFP conference. Please submit your best papers, experience reports, and architectural pearls on large-scale functional programming! The submission

[Haskell] [CFP] Student Research Competition (SRC) at ICFP'23

ICFP 2023 Student Research Competition Call for Submissions ICFP 2023 invites students to participate in the Student Research Competition in order to present their research and get feedback from prominent members of the programming language research community. The SRC consists of three

Re: [Haskell] The Point of this List

The purpose of this list is specified on its webpage: > The Haskell mailing list is for announcements and short discussions on any > topic related to the Haskell language. > > Discussions should be moved to the Haskell Cafe mailing list after a few > exchanges, so that the volume on this list

Re: [Haskell] The Point of this List

Thank you for this tip. Wasn't aware of Haskell-Cafe. Maybe this is the right place for conference announcements then, if it's just for announcements in general. But the quantity is quite high and other stuff is likely to get drowned out. It may be best split into a separate list so that it

Re: [Haskell] The Point of this List

Hi all, I agree: I wondered too what the point (or better say 'scope') of this list is. I say this as someone who sent multiple conference announcements / CFPs to this list ('CALCO' / 'CMCS' from coalg.org if you're interested ☺). Before sending the CFPs, it wasn't clear whether it is appropriate

Re: [Haskell] The Point of this List

Most people are just subscribed to haskell-cafe instead. If you are not there, maybe that's the one you want to be subscribed to. In the past I have reported such conference announcements so that the specific individuals be removed from the list. Ivan On Mon, 1 May 2023 at 02:34, Dominic

[Haskell] The Point of this List

I have been subscribed to this list for over 20 years but these days all I ever see are announcements of conferences which have at best a tangential relationship with Haskell. Maybe it is time to call it a day? Dominic Steinitz domi...@steinitz.org http://idontgetoutmuch.org Twitter:

[Haskell] EUSPN 2023 CFPs:The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2023)

** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/

[Haskell] ICTH 2023 CFPs:The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2023)

Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare  (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan   Website: http://cs-conferences.acadiau.ca/icth-23/

[Haskell] SAS 2023 - Final CFP - Extended full paper deadline: May 1, 2023

(Apologies for multiple postings) NEW! Due to popular demand, we are continuing to accept full papers (not just modifications) until the May 1 deadline! -- Final Call for Papers - Extended deadlines

[Haskell] ICTH 2023 CFPs:The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2023)

Conference: The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/icth-23/

[Haskell] The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN)

** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/

[Haskell] SEIT 2023 CfPs: Deadline extension (FINAL): Apr. 21, 2023]: The 13th International Conference on Sustainable Energy Information Technology (SEIT 2023)

The 13th International Conference on Sustainable Energy Information Technology (SEIT) Halifax, Nova Scotia, Canada August 14-16, 2023 Conference Website: http://cs-conferences.acadiau.ca/seit-23/ The goal of the SEIT

[Haskell] SAS 2023 - Final CFP - Extended deadlines (updates until May 1st)

(Apologies for multiple postings) NEW! Are you running late in preparing your SAS paper? No worries! Submit what you have (e.g., title and abstract) and you will have one extra week until May 1 for updating your paper (and May 6 for your artifact).

[Haskell] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (2nd CFP)

TL;DR Deadline for HOPE 2023 abstracts is on May 31, 2023. Details below. -- HOPE 2023 The 11th ACM SIGPLAN Workshop on Higher-Order Programming with Effects

[Haskell] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield

Dear colleagues, We have an opening for a 3-year position of either research associate or research assistant at the University of Sheffield, UK. It is on a project called "Safe and secure concurrent programming for advanced hardware architectures" and involves modelling and verification using a

[Haskell] [ANNOUNCE] GHC 9.4.5 released

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:

[Haskell] PPDP 2023 - Call for Papers

** Apologies for multiple postings ** PPDP 2023 Call for Papers 25th International Symposium on Principles and Practice of Declarative Programming 22-23 October 2023, Cascais, Lisbon, Portugal https://ppdp2023.webs.upv.es Part of SPLASH 2023 and

Pattern Synonym decls only at top level

" 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

[Haskell] SAS 2023 - Final Call for Papers - Paper Deadline: April 24, 2023

(Apologies for multiple postings) -- Final Call for Papers - Paper Deadline: April 24, 2023 SAS 2023 The 30th Static Analysis Symposium Cascais (Lisbon), Portugal, Sun 22 -

[Haskell] Call for Papers: Functional Software Architecture - FP in the Large

Dear all, The first workshop on "Functional Software Architecture - FP in the Large” will be held in Seattle in Sept 2023, co-located with the ICFP conference. Please share, and submit your best papers, experience reports, and architectural pearls on large-scale functional programming! The

[Haskell] CMSB 2023: last call for papers (extended deadlines)

CMSB 2023: 21st Conference on Computational Methods in Systems Biology Luxembourg City, Luxembourg September 13-15, 2023 Conference website: https://cmsb2023.uni.lu/ CMSB series website: https://cmsb.sciencesconf.org/

[Haskell] [MobiSPC 2023 CFPs: Deadline extension (FINAL): Apr. 21, 2023]: The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)

The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Halifax, Nova Scotia, Canada August 14-16, 2023 http://cs-conferences.acadiau.ca/mobispc-23/

[Haskell] SEIT 2023 CfPs: Deadline extension (FINAL): Apr. 21, 2023]: The 13th International Conference on Sustainable Energy Information Technology (SEIT 2023)

The 13th International Conference on Sustainable Energy Information Technology (SEIT) Halifax, Nova Scotia, Canada August 14-16, 2023 Conference Website: http://cs-conferences.acadiau.ca/seit-23/ The goal of the SEIT

[Haskell] LOPSTR 2023 (Lisbon) - Second Call for Papers - Paper Deadline: May 26, 2023

** Apologies for multiple postings ** 33rd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2023) Co-located with PPDP 2023 as part of SPLASH 2023 October 23-24, 2023 - Cascais, Lisbon, Portugal https://lopstr.github.io/2023/ Important dates:  - Abstract

[Haskell] APLAS 2023 first Call for Papers

== CALL FOR PAPERS 21st Asian Symposium on Programming Languages and Systems (APLAS 2023) Taipei, Taiwan, Sun 26 – Wed 29 November 2023 https://conf.researchr.org/home/aplas-2023

[Haskell] TyDe 2023 - Call for Papers

CALL FOR PAPERS 8th Workshop on Type-Driven Development (TyDe 2023) Co-Located with ICFP 2023 (Seattle, Washington, USA) https://icfp23.sigplan.org/home/tyde-2023

[Haskell] IFL23 first CFP

*Call for papers* The 35th Symposium on Implementation and Application of Functional Languages (IFL 2023) Braga, Portugal, August 29th-August 31st, 2023 *Important dates* Draft paper submission: July 31st, 2023 Draft paper notification:August 1st, 2023 Early registration deadline:

on my mac 9.6.1 can't compile with ghc -prof -fprof-auto , gets error Could not find module ‘Prelude’

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

[Haskell] SEIT 2023 CfPs: Deadline extension (FINAL): Apr. 21, 2023]: The 13th International Conference on Sustainable Energy Information Technology (SEIT 2023)

The 13th International Conference on Sustainable Energy Information Technology (SEIT) Halifax, Nova Scotia, Canada August 14-16, 2023 Conference Website: http://cs-conferences.acadiau.ca/seit-23/ The goal of the SEIT

[Haskell] [MobiSPC 2023 CFPs: Deadline extension (FINAL): Apr. 21, 2023]: The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)

The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Halifax, Nova Scotia, Canada August 14-16, 2023 http://cs-conferences.acadiau.ca/mobispc-23/

[Haskell] [CFP] HOPE'23: ACM SIGPLAN Workshop on Higher-Order Programming with Effects (1st CFP)

TL;DR Deadline for HOPE 2023 abstracts is on May 31, 2023. Details below. -- HOPE 2023 The 11th ACM SIGPLAN Workshop on Higher-Order Programming with Effects

CFP: Haskell Symposium 2023

=== ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2023 Seattle, WA, USA Fri 8 -- Sat

[Haskell] CFP: Haskell Symposium 2023

=== ACM SIGPLAN CALL FOR SUBMISSIONS Haskell Symposium 2023 Seattle, WA, USA Fri 8 -- Sat

[Haskell] OPLSS 2023: Summer School Dates

We are pleased to announce the dates of the 21st annual Oregon Programming Languages Summer School (OPLSS) to be held from June 26th to July 8th, 2023 at the University of Oregon in Eugene. We are looking forward to getting together in person! The theme of the summer school will be "types,

[Haskell] LOPSTR 2023 - Call for Papers

** Apologies for multiple postings ** 33rd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2023) Co-located with PPDP 2023 as part of SPLASH 2023 October 23-24, 2023 - Cascais, Lisbon, Portugal https://lopstr.github.io/2023/ Important dates:  - Abstract

[Haskell] ERLANG 2023 CFP - 22nd ACM SIGPLAN Erlang Workshop @ ICFP

The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang, other BEAM-related languages, actor model programming, distribution, and concurrency to discuss techniques, technologies, languages and other relevant topics. The Erlang model of concurrent

[Haskell] PPDP 2023 - Preliminary Call for Papers

** Apologies for multiple postings ** PPDP 2023 Preliminary Call for Papers 25th International Symposium on Principles and Practice of Declarative Programming 22-23 October 2023, Cascais, Lisbon, Portugal https://ppdp2023.webs.upv.es Part of

Re: Installing GHC on my MacBook Air

Type the following at the command line: xcode-select --install and then try ghci again. I'm not sure what you mean by "the software" in the phrase "Should I delete and reinstall the software you told me to install?" but in any case don't delete anything. Please try to be as specific as

Re: Installing GHC on my MacBook Air

I recommend using macOS package managers to take care of all this. There’s a whole community of knowledgeable folks who have figured out all these build and install details, and I know that it’s simply a matter of doing this to get a working version of the latest, on either x86_64 or arm64

[Haskell] SEIT 2023 CfPs: The 13th International Conference on Sustainable Energy Information Technology (SEIT): Change of conference date and due dates

The 13th International Conference on Sustainable Energy Information Technology (SEIT) Halifax, Nova Scotia, Canada August 14-16, 2023 Conference Website: http://cs-conferences.acadiau.ca/seit-23/ The goal of the SEIT

[Haskell] MobiSPC 2023 CFPs: The 20th International Conference on Mobile Systems and Pervasive Computing, MobiSPC: Change of conference date and due dates

The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Halifax, Nova Scotia, Canada August 14-16, 2023 http://cs-conferences.acadiau.ca/mobispc-23/

[Haskell] Call for Papers, Functional Software Architecture - FP in the Large

Dear all, We're delighted to announce that the first ACM SIGPLAN Workshop on "Functional Software Architecture - FP in the Large" will be held in Seattle, USA in September 2023, co-located with the ICFP conference. Please share, and submit your best papers, experience reports, and architectural

Re: Installing GHC on my MacBook Air

Somehow I missed that it is now working for you. Great! Definitely no need to report a bug. Haskell is a great language. Enjoy! Cheers George On Wed, Mar 15, 2023 at 3:07 PM William McEnaney wrote: > Hi, George, > > Now that the compiler runs, maybe I don't need to report a bug. > ... >

[Haskell] SAS 2023 - First Call for Papers - Paper Deadline: April 24, 2023

SAS 2023 30th Static Analysis Symposium Cascais (Lisbon), Portugal, Sun 22 - Fri 27, October 2023 https://2023.splashcon.org/home/sas-2023

Re: Installing GHC on my MacBook Air

Hi Bill, It's easy to forget to do replay all in gmail but it's important to do so in these emails. In your original email you wrote: After installing the compiler, my laptop said its processor was wrong for the binary distribution I chose. If there is a dmg file for *MacOS 12.5.1,* please

Re: Installing GHC on my MacBook Air

Hi William I think it's best if you submit a bug as described here Whether in email or in the bug report it is critical that you describe how the reader can reproduce the bug, i.e. starting from the beginning, describe what you did and

Re: Installing GHC on my MacBook Air

Bill For your latest problem libHSterminfo-0.4.1.5-ghc9.4.4.dylib” can’t be opened because Apple cannot check it for malicious software. Did you try what I wrote in my last email: rm -fr /usr/local/bin/ghc* rm -fr /usr/local/lib/ghc* ./configure sudo xattr -rc . sudo make install George

Re: Installing GHC on my MacBook Air

George Colpitts writes: > Hi Bill > > I'm cc'ing GHC dev and GHC users as someone else may have a better answer, > catch a mistake I made etc. Please don't delete them. > > I believe you have encountered > https://gitlab.haskell.org/ghc/ghc/-/issues/21506#note_447206 > > I believe the way to fix

Re: Installing GHC on my MacBook Air

cc'ing others On Wed, Mar 15, 2023 at 1:20 PM George Colpitts wrote: > Thanks Brandon. There were some earlier emails that somehow got dropped > from this. > > I believe we have already solved the wrong architecture issue; this is the > next issue. > > Here is the earlier email: > > I just

Re: Installing GHC on my MacBook Air

That seems unlikely; it would report a permission error in that case, not that it had the wrong architecture. On Wed, Mar 15, 2023 at 12:04 PM George Colpitts wrote: > > Hi Bill > > I'm cc'ing GHC dev and GHC users as someone else may have a better answer, > catch a mistake I made etc. Please

Re: Installing GHC on my MacBook Air

Hi Bill I'm cc'ing GHC dev and GHC users as someone else may have a better answer, catch a mistake I made etc. Please don't delete them. I believe you have encountered https://gitlab.haskell.org/ghc/ghc/-/issues/21506#note_447206 I believe the way to fix this is to do the following: rm -fr

[Haskell] CMSB 2023: second call for papers

CMSB 2023: 21st Conference on Computational Methods in Systems Biology Luxembourg City, Luxembourg September 13-15, 2023 Conference website: https://cmsb2023.uni.lu/ CMSB series website: https://cmsb.sciencesconf.org/

Understanding how warnings on unused functions work

This is related to a feature in the futhark compiler , which is a language with a similar module system. I am trying to create a tool to detect unused top-level functions in Futhark, and I have been looking in the ghc codebase to find out how it

data families/newtype instances allow `DatatypeContext`s ?

https://discourse.haskell.org/t/choosing-data-representation-based-on-type/5970/4?u=antc2 A `DatatypeContext` on a `newtype instance` gets the usual warning it's deprecated. But the decl is accepted -- at GHC 8.10. (It doesn't achieve what the O.P. was asking for -- but then I wouldn't expect it

[ANNOUNCE] GHC 9.6.1 is now available

The GHC team is very pleased to announce the availability of GHC 9.6.1. As usual, binaries and source distributions are available at downloads.haskell.org: https://downloads.haskell.org/ghc/9.6.1/ Beginning with GHC 9.6.1, GHC can be built as a cross-compiler to WebAssembly and JavaScript.

[Haskell] PhD or Postdoc Position at LMU Munich about Verified Modal Logics

We are looking for a PhD student (4 years) or postdoctoral researcher (3 years) to work on the Isabelle formalization of modal model theory. The work will take place within the Chair of Theoretical Computer Science at LMU Munich under Jasmin Blanchette's supervision with the participation of two

[Haskell] Call for Talks: Haskell Implementors' Workshop 2023

ACM SIGPLAN Haskell Implementors' Workshop https://icfp23.sigplan.org/home/hiw-2023 Seattle, Washington, United States, September 4, 2023 Co-located with ICFP 2023 https://icfp23.sigplan.org/ Important dates --- Deadline: July 4, 2023 (AoE) Notification: August 4, 2023 Workshop:

[Haskell] TYPES 2023: Call for Contributions - Deadline extension

[ Apologies for multiple postings ] ==    TYPES 2023: Call for Contributions -- Deadline extension == * Submission of abstract  13 March 2023 AoE **NEW * Author

[Haskell] 1st CfP: SLE 2023 - 16th ACM SIGPLAN International Conference on Software Language Engineering

16th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2023) October 22-27, 2023 Cascais, Lisbon, Portugal http://www.sleconf.org/2023/ Follow us on Twitter: https://twitter.com/sleconf

[Haskell] CALCO 2023: Deadline Extension

= CALL FOR PAPERS: CALCO 2023 10th International Conference on Algebra and Coalgebra in Computer Science June 19-21, 2023 Bloomington, Indiana (USA) and online Co-located with MFPS XXXIX https://coalg.org/calco-mfps-2023/ ***

[ANNOUNCE] GHC 9.6.1-rc1 is now available

The GHC team is very pleased to announce the availability of the first (and likely final) release candidate of GHC 9.6.1. As usual, binaries and source distributions are available at [downloads.haskell.org](https://downloads.haskell.org/ghc/9.6.1-rc1/). Beginning with GHC 9.6.1, GHC can be built

[Haskell] SEIT 2023 CfPs: The 13th International Conference on Sustainable Energy Information Technology (SEIT)

Please accept our apologies if you receive multiple copies of this CFP The 13th International Conference on Sustainable Energy Information Technology (SEIT) Halifax, Nova Scotia, Canada July 24-26, 2023 Conference Website: http://cs-conferences.acadiau.ca/seit-23/

[Haskell] [ANNOUNCE] GHC 9.2.7 released

The GHC developers are happy to announce the availability of GHC 9.2.7. Binary distributions, source distributions, and documentation are available at [downloads.haskell.org](https://downloads.haskell.org/ghc/9.2.7). Download Page: https://www.haskell.org/ghc/download_ghc_9_2_7.html Blog Post:

[Haskell] HCVS 2023 - Call for Papers (Extended deadline)

10th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Co-located with ETAPS 2023 23rd April 2023 - Paris, France https://www.sci.unich.it/hcvs23/ Important dates: - Paper submission deadline: Mar 8, 2023 (EXTENDED) - Paper notification: Mar 22, 2023 - Workshop: Apr 23, 2023

[Haskell] RA position in PL and Machine Learning at Bristol

Dear all, In case you know any PhD students / post-docs who are looking for a job, the Bristol Programming Languages Group is hiring a Senior Research Associate. The candidate will perform research under the supervision of Dr. Cristina David and Dr. Meng Wang .

[Haskell] CALCO 2023: Final Call for Papers

= CALL FOR PAPERS: CALCO 2023 10th International Conference on Algebra and Coalgebra in Computer Science June 19-21, 2023 Bloomington, Indiana (USA) and online Co-located with MFPS XXXIX https://coalg.org/calco-mfps-2023/

[Haskell] SEIT 2023 CfPs: The 13th International Conference on Sustainable Energy Information Technology (SEIT)

Please accept our apologies if you receive multiple copies of this CFP The 13th International Conference on Sustainable Energy Information Technology (SEIT) Halifax, Nova Scotia, Canada July 24-26, 2023 Conference Website: http://cs-conferences.acadiau.ca/seit-23/

[Haskell] Call for papers, TASE 2023, Bristol, UK, 4-6 July 2023

TASE 2023 - CALL FOR PAPERS ** The 17th International Symposium on Theoretical Aspects of Software Engineering (TASE 2023) July 4-6, Bristol, UK

<    1   2   3   4   5   6   7   8   9   10   >