...

Translating Prolog file: prim_unsafe.pl
true.


rm -f prologbasics.pl ; cp swibasics.pl prologbasics.pl
/Users/lausgans/Applications/Xcode.app/Contents/Developer/usr/bin/make swi.state
echo "compile(c2p). c2p('../lib/Prelude'), compile('`pwd`/../lib/.curry/pakcs/Prelude'),loader:loadAndCompile('`pwd`/../lib/.curry/pakcs
/Prelude.pl',[],create). saveprog_entry('swi.state',user:pakcsMain)." | "`pwd`/../bin/swiprolog" -q -L0 -G0 -T0 -O


ERROR: /Users/lausgans/temp/pakcs-1.13.0/curry2prolog/compiler.pl:489:
        Type error: `callable' expected, found `append(_G471,_G472,_G473),append(_G478,_G479,_G480),getExternalLibraries(_G485,[],_G487)
,map1M(compiler:writeLibraryInclusion,_G487),nl,atom_codes(_G504,_G505),writeClause((:-curryModule(_G504))),nl, (retract(bugInFlcFile)->
true;true),map1M(compiler:check_flcFunction,_G485),\+bugInFlcFile, (plprofiling(yes)->addCostCenterOfFuncs([''],_G485,_G557);_G557=[''])
,_G557=[_G574|_G575], (_G575=[]->true;writeErr('...including code for profiling cost centers:'),map1partialM(compiler:writeCostCenter(us
er_error),_G575),nlErr),computeAllExternalFunctions(_G485,_G609), (retract(externalFuncs(_G622))->true;true),asserta(externalFuncs(_G609
)), (map2M(compiler:elimNestedOrCases,_G485,_G642)->true;writeErr('INTERNAL COMPILER ERROR in or/case lifter!'),nlErr,fail),newAuxFuncti
ons(_G658),rev(_G658,_G664),append(_G642,_G473,_G671),append(_G671,_G677,_G678),computeCorrectType(_G678,_G664,_G685),append(_G642,_G685
,_G692), (completeCases(no)->_G705=_G692;map2partialM(compiler:completeCaseExpressions(_G473),_G692,_G705)->true;writeErr('INTERNAL COMP
ILER ERROR in case branch completion!'),nlErr,fail),append(_G705,_G677,_G736),map2M(compiler:flcFunc2FA,_G736,_G743),retract(allFunction
s(_G753)),asserta(allFunctions(_G743)),write('%%%%%%%%%%%% function types %%%%%%%%%%%%%%%%%%%'),nl,writeClause((:-multifile functiontype
/6)),writeClause((:-dynamic functiontype/6)),map1partialM(compiler:writeFTypeClause(_G609,_G480),_G705),nl,write('%%%%%%%%%%%% construct
or types %%%%%%%%%%%%%%%%%%%'),nl,writeClause((:-multifile constructortype/7)),writeClause((:-dynamic constructortype/7)), (member("Prel
ude",_G851)->true;writeClause(constructortype(partcall,partcall,3,partcall,0,'FuncType'('TCons'('Int',[]),'FuncType'(_G871,'FuncType'('T
Cons'([],[_G880]),_G875))))),[]),map1M(compiler:writeDTypeClause,_G471),nl,getConstructors(_G473,_G899),retract(allConstructors(_G906)),
asserta(allConstructors(_G899)),write('%%%%%%%%%%%% function definitions %%%%%%%%%%%%%%%%%%%'),nl,map1M(compiler:writeFunc,_G705),writeC
lause((:-costCenters(_G557))),nl,!,\+bugInFlcFile,nl' (a compound)
Warning: /Users/lausgans/temp/pakcs-1.13.0/curry2prolog/compiler.pl:2427:
        Singleton variable in branch: Arity
true.

ERROR in readFlcFromFcy during reading of "../lib/.curry/Prelude.fint"!
ERROR: Interface or FlatCurry file Prelude.[fcy|fint] not found!
Current load path: [../lib,/Users/lausgans/temp/pakcs-1.13.0/lib,/Users/lausgans/temp/pakcs-1.13.0/lib/meta]
ERROR during compilation of program "../lib/Prelude"!
ERROR: source_sink `'/Users/lausgans/temp/pakcs-1.13.0/curry2prolog/../lib/.curry/pakcs/Prelude'' does not exist
true.

...

"/Users/lausgans/temp/pakcs-1.13.0/bin/cymake" --acy --extended --no-verb --no-warn --no-overlap-warn -i. -imeta PrettyAbstract
# compile optimization tools:
# create executable for top-level function "main":
/Users/lausgans/temp/pakcs-1.13.0/bin/pakcs --noreadline :set -time :set path ../../analysis:../../CASS :l BindingOpt.curry :save :q
ERROR: unknown command: ":set"
ERROR: Illegal or no longer supported option: [--noreadline,:set,-time,:set,path,../../analysis:../../CASS,:l,BindingOpt.curry,:save,:q]
Hint: use command options (like "pakcs :load rev")
make[3]: *** [BindingOpt] Error 1
make[2]: *** [all] Error 2
make[1]: *** [install] Error 2