haskell-devel July 2012

haskell-devel@lists.fedoraproject.org

2 participants
251 discussions

[Bug 839473] llvm-3.1 missing ghc ARM support: causing all compiled programs to segfault
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839473 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Summary|llvm-3.1 missing ghc ARM |llvm-3.1 missing ghc ARM |support |support: causing all | |compiled programs to | |segfault -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839473] llvm-3.1 missing ghc ARM support
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839473 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |haskell-devel(a)lists.fedorap | |roject.org, | |pbrobinson(a)gmail.com -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839260] Review Request: Agda-stdlib - Agda standard library
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839260 --- Comment #3 from Jens Petersen <petersen(a)redhat.com> --- Strictly Agda-stdlib could be noarch since based from Debian the files should be portable, but the ffi library can't be noarch. Anyway I moved the stdlib files to datadir and subpackaged the large html docs: Spec: http://petersen.fedorapeople.org/reviews/Agda-stdlib/Agda-stdlib.spec SRPM: http://petersen.fedorapeople.org/reviews/Agda-stdlib/Agda-stdlib-0.6-4.fc17… -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 710383] Review Request: Agda - Commandline for dependently typed functional language
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=710383 --- Comment #6 from Jens Petersen <petersen(a)redhat.com> --- I see Debian has an "agda" meta-package that pulls in Agda-executable, Agda and the stdlib. -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839260] Review Request: Agda-stdlib - Agda standard library
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839260 --- Comment #2 from Jens Petersen <petersen(a)redhat.com> --- A simple usage example: $ ls -l stdlib lrwxrwxrwx. 1 petersen petersen 23 Jul 11 15:46 stdlib -> /usr/lib64/Agda-stdlib/ $ cat test.agda module test where open import IO main = run (putStrLn "Hello world!") $ agda -c -i. -istdlib test.agda : : [91 of 91] Compiling MAlonzo.Code.Qtest ( /home/petersen/pkgreview/Agda/test/MAlonzo/Code/Qtest.hs, /home/petersen/pkgreview/Agda/test/MAlonzo/Code/Qtest.o ) $ ./test Hello world! $ -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 710383] Review Request: Agda - Commandline for dependently typed functional language
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=710383 --- Comment #5 from Jens Petersen <petersen(a)redhat.com> --- A small example of usage: $ cat test.agda module test where data Bool : Set where true : Bool false : Bool $ agda test.agda Checking test (/home/petersen/pkgreview/Agda/test/test.agda). Finished test. $ -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839260] Review Request: Agda-stdlib - Agda standard library
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839260 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Alias| |Agda-stdlib -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839260] Review Request: Agda-stdlib - Agda standard library
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839260 Shakthi Kannan <shakthimaan(a)gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED CC| |shakthimaan(a)gmail.com Assignee|nobody(a)fedoraproject.org |shakthimaan(a)gmail.com -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839260] Review Request: Agda-stdlib - Agda standard library
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839260 --- Comment #1 from Jens Petersen <petersen(a)redhat.com> --- Note this needs ghc-rpm-macros-0.15.7 or later to build (ie currently it will only build in rawhide) http://koji.fedoraproject.org/koji/taskinfo?taskID=4233324 (ghc-rpm-macros-0.15.7-1.fc17) -- You are receiving this mail because: You are on the CC list for the bug.

1 0

[Bug 839260] Review Request: Agda-stdlib - Agda standard library
by Red Hat Bugzilla 11 Jul '12

11 Jul '12

https://bugzilla.redhat.com/show_bug.cgi?id=839260 Jens Petersen <petersen(a)redhat.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |haskell-devel(a)lists.fedorap | |roject.org Depends On| |710383 (Agda) -- You are receiving this mail because: You are on the CC list for the bug.

1 0

← Newer
1
...
16
17
18
19
20
21
22
...
26
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

haskell-devel July 2012