Issues · curry / pakcs

New issue

FTBFS in currytools/peval

#3 · created Dec 23, 2016 by Mike Gabriel
- CLOSED
- 3
updated May 10, 2017
file path with whitespaces

#9 · created Jun 02, 2017 by Sandra Dylus Bug
- 0
updated Nov 08, 2019
Random.nextInt on negative values

#10 · created Jun 02, 2017 by Sandra Dylus
- CLOSED
- 1
updated Jun 06, 2017
Type defaulting using `:t` and removal of `Apply` in signatures

#11 · created Oct 10, 2017 by Jan Rasmus Tikovsky
- CLOSED
- 2
updated Oct 12, 2017
Type defaulting results in type error

#12 · created Oct 24, 2017 by Finn Teegen Bug
- CLOSED
- 1
updated Mar 08, 2021
REPL does not print types with multiple class constraints correctly

#13 · created Oct 24, 2017 by Finn Teegen
- CLOSED
- 1
updated Oct 24, 2017
Problem when using Global and where-clause

#8 · created Feb 22, 2017 by Jan Rasmus Tikovsky Bug
- 0
updated Nov 08, 2019
PAKCS does not list all solutions

#7 · created Feb 22, 2017 by Jan Rasmus Tikovsky Bug
- 0
updated Nov 08, 2019
Wrong solutions for combination of blackhole and non-determinism

#6 · created Feb 22, 2017 by Jan Rasmus Tikovsky Bug
- 0
updated Nov 08, 2019
testsuite2/test.sh outputs nothing...

#5 · created Jan 27, 2017 by Mike Gabriel
- CLOSED
- 1
updated Mar 15, 2019
PACKS in batch mode should throw an error, if any of the builds in the batch fails

#4 · created Jan 27, 2017 by Mike Gabriel
- CLOSED
- 2
updated Nov 08, 2019
make build parallelizable

#2 · created Dec 23, 2016 by Mike Gabriel Feature
- 0
updated Nov 08, 2019
Wrong solutions for combination of blackhole and non-determinism

#1 · created Dec 16, 2015 by Michael Hanus Bug
- 0
updated Nov 08, 2019
Consider "Read" and "Show" constraints when defaulting

#14 · created Oct 30, 2017 by Finn Teegen
- CLOSED
- 1
updated Oct 31, 2017
Fix defaulting when local classes are involved

#15 · created Oct 30, 2017 by Finn Teegen
- CLOSED
- 1
updated Oct 31, 2017
Typo in KNOWN_BUGS.txt

#16 · created Nov 27, 2017 by Kai Prott
- CLOSED
- 1
updated Nov 28, 2017
Import currydox.tex instead of copying definitions into the libaries.tex file

#17 · created Jul 11, 2018 by Kai Prott Refactoring
- 0
updated Nov 08, 2019
Modularize PAKCS constants

#18 · created Dec 17, 2018 by Kai Prott Refactoring
- 0
updated Nov 08, 2019
readlink does not support the`-f` flag on macOS

#19 · created Mar 11, 2019 by Jan-Hendrik Matthes
- CLOSED
- 0
updated Oct 02, 2019
Errors when starting `pakcs` for the first time on macOS

#20 · created Mar 15, 2019 by Jan-Hendrik Matthes
- CLOSED
- 1
updated Mar 15, 2019
Error when compiling PAKCS with SWI-Prolog 8.1.10

#21 · created Jul 29, 2019 by Jan-Hendrik Matthes
- CLOSED
- 1
updated Aug 08, 2019
Existence error when executing Curry program

#23 · created Dec 20, 2019 by Finn Teegen Bug
- CLOSED
- 1
updated Jan 05, 2020
Makefile not suited for paths containing spaces

#28 · created Oct 30, 2020 by Finn Teegen To Do
- 0
updated Oct 30, 2020
Move newtype-transformation to pakcs

#22 · created Oct 08, 2019 by Kai Prott Feature To Do
- CLOSED
- 2
updated Mar 08, 2021
Different implementation for PAKCS in Applicative IO - instance

#24 · created Feb 10, 2020 by Kai Prott Refactoring
- CLOSED
- 1
updated Apr 09, 2021
Add Dockerfile to this repo

#25 · created Sep 22, 2020 by Fredrik Wieczerkowski
- CLOSED
- 1
updated Oct 13, 2020
Type defaulting does not work when Data contexts are involved

#26 · created Oct 20, 2020 by Fredrik Wieczerkowski
- 1
updated Oct 21, 2020
Error messages containing predicate indicators get swallowed

#27 · created Oct 20, 2020 by Fredrik Wieczerkowski
- 0
updated Oct 20, 2020
Compile into versioned subfolder of .curry

#29 · created Nov 04, 2020 by Fredrik Wieczerkowski
- CLOSED
- 1
- 0
updated Nov 06, 2020
Handle explicit newtypes in the FlatCurry format

#30 · created Nov 04, 2020 by Fredrik Wieczerkowski
- CLOSED
- 3
updated Mar 08, 2021
--numeric-version prints ~/.pakcsrc installed

#31 · created Nov 16, 2020 by Bennet Bleßmann
- CLOSED
- 1
updated Nov 17, 2020
Add section on `Data` in manual

#32 · created Dec 13, 2020 by Michael Hanus
- CLOSED
- 0
updated Feb 09, 2021