SHARE
TWEET

Untitled

a guest Sep 2nd, 2015 105 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. ...
  2.  
  3. Translating Prolog file: prim_unsafe.pl
  4. true.
  5.  
  6.  
  7. rm -f prologbasics.pl ; cp swibasics.pl prologbasics.pl
  8. /Users/lausgans/Applications/Xcode.app/Contents/Developer/usr/bin/make swi.state
  9. echo "compile(c2p). c2p('../lib/Prelude'), compile('`pwd`/../lib/.curry/pakcs/Prelude'),loader:loadAndCompile('`pwd`/../lib/.curry/pakcs
  10. /Prelude.pl',[],create). saveprog_entry('swi.state',user:pakcsMain)." | "`pwd`/../bin/swiprolog" -q -L0 -G0 -T0 -O
  11.  
  12.  
  13. ERROR: /Users/lausgans/temp/pakcs-1.13.0/curry2prolog/compiler.pl:489:
  14.         Type error: `callable' expected, found `append(_G471,_G472,_G473),append(_G478,_G479,_G480),getExternalLibraries(_G485,[],_G487)
  15. ,map1M(compiler:writeLibraryInclusion,_G487),nl,atom_codes(_G504,_G505),writeClause((:-curryModule(_G504))),nl, (retract(bugInFlcFile)->
  16. true;true),map1M(compiler:check_flcFunction,_G485),\+bugInFlcFile, (plprofiling(yes)->addCostCenterOfFuncs([''],_G485,_G557);_G557=[''])
  17. ,_G557=[_G574|_G575], (_G575=[]->true;writeErr('...including code for profiling cost centers:'),map1partialM(compiler:writeCostCenter(us
  18. er_error),_G575),nlErr),computeAllExternalFunctions(_G485,_G609), (retract(externalFuncs(_G622))->true;true),asserta(externalFuncs(_G609
  19. )), (map2M(compiler:elimNestedOrCases,_G485,_G642)->true;writeErr('INTERNAL COMPILER ERROR in or/case lifter!'),nlErr,fail),newAuxFuncti
  20. ons(_G658),rev(_G658,_G664),append(_G642,_G473,_G671),append(_G671,_G677,_G678),computeCorrectType(_G678,_G664,_G685),append(_G642,_G685
  21. ,_G692), (completeCases(no)->_G705=_G692;map2partialM(compiler:completeCaseExpressions(_G473),_G692,_G705)->true;writeErr('INTERNAL COMP
  22. ILER ERROR in case branch completion!'),nlErr,fail),append(_G705,_G677,_G736),map2M(compiler:flcFunc2FA,_G736,_G743),retract(allFunction
  23. s(_G753)),asserta(allFunctions(_G743)),write('%%%%%%%%%%%% function types %%%%%%%%%%%%%%%%%%%'),nl,writeClause((:-multifile functiontype
  24. /6)),writeClause((:-dynamic functiontype/6)),map1partialM(compiler:writeFTypeClause(_G609,_G480),_G705),nl,write('%%%%%%%%%%%% construct
  25. or types %%%%%%%%%%%%%%%%%%%'),nl,writeClause((:-multifile constructortype/7)),writeClause((:-dynamic constructortype/7)), (member("Prel
  26. ude",_G851)->true;writeClause(constructortype(partcall,partcall,3,partcall,0,'FuncType'('TCons'('Int',[]),'FuncType'(_G871,'FuncType'('T
  27. Cons'([],[_G880]),_G875))))),[]),map1M(compiler:writeDTypeClause,_G471),nl,getConstructors(_G473,_G899),retract(allConstructors(_G906)),
  28. asserta(allConstructors(_G899)),write('%%%%%%%%%%%% function definitions %%%%%%%%%%%%%%%%%%%'),nl,map1M(compiler:writeFunc,_G705),writeC
  29. lause((:-costCenters(_G557))),nl,!,\+bugInFlcFile,nl' (a compound)
  30. Warning: /Users/lausgans/temp/pakcs-1.13.0/curry2prolog/compiler.pl:2427:
  31.         Singleton variable in branch: Arity
  32. true.
  33.  
  34. ERROR in readFlcFromFcy during reading of "../lib/.curry/Prelude.fint"!
  35. ERROR: Interface or FlatCurry file Prelude.[fcy|fint] not found!
  36. Current load path: [../lib,/Users/lausgans/temp/pakcs-1.13.0/lib,/Users/lausgans/temp/pakcs-1.13.0/lib/meta]
  37. ERROR during compilation of program "../lib/Prelude"!
  38. ERROR: source_sink `'/Users/lausgans/temp/pakcs-1.13.0/curry2prolog/../lib/.curry/pakcs/Prelude'' does not exist
  39. true.
  40.  
  41. ...
  42.  
  43. "/Users/lausgans/temp/pakcs-1.13.0/bin/cymake" --acy --extended --no-verb --no-warn --no-overlap-warn -i. -imeta PrettyAbstract
  44. # compile optimization tools:
  45. # create executable for top-level function "main":
  46. /Users/lausgans/temp/pakcs-1.13.0/bin/pakcs --noreadline :set -time :set path ../../analysis:../../CASS :l BindingOpt.curry :save :q
  47. ERROR: unknown command: ":set"
  48. ERROR: Illegal or no longer supported option: [--noreadline,:set,-time,:set,path,../../analysis:../../CASS,:l,BindingOpt.curry,:save,:q]
  49. Hint: use command options (like "pakcs :load rev")
  50. make[3]: *** [BindingOpt] Error 1
  51. make[2]: *** [all] Error 2
  52. make[1]: *** [install] Error 2
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top