lambdamikel/gened

An Editor with Generic Semantics for Formal Reasoning About Visual Notations

gened's Issues

New to CL and GenEd. how to launch the program?

$ sbcl --load main.lisp 
This is SBCL 2.0.1.debian, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses.  See the CREDITS and COPYING files in the
distribution for more information.
While evaluating the form starting at line 3, column 0
  of #P"/home/vanangamudi/agam/projects/code/cloned/GenEd-main/src/main.lisp":

debugger invoked on a PACKAGE-DOES-NOT-EXIST in thread
#<THREAD "main thread" RUNNING {1000560083}>:
  The name "GENED" does not designate any package.

Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [CONTINUE ] Use the current package, COMMON-LISP-USER.
  1: [RETRY    ] Retry finding the package.
  2: [USE-VALUE] Specify a different package
  3:             Retry EVAL of current toplevel form.
  4:             Ignore error and continue loading file "/home/vanangamudi/agam/projects/code/cloned/GenEd-main/src/main.lisp".
  5: [ABORT    ] Abort loading file "/home/vanangamudi/agam/projects/code/cloned/GenEd-main/src/main.lisp".
  6:             Ignore runtime option --load "main.lisp".
  7:             Skip rest of --eval and --load options.
  8:             Skip to toplevel READ/EVAL/PRINT loop.
  9: [EXIT     ] Exit SBCL (calling #'EXIT, killing the process).

(SB-INT:%FIND-PACKAGE-OR-LOSE "GENED")
0] 1
While evaluating the form starting at line 3, column 0
  of #P"/home/vanangamudi/agam/projects/code/cloned/GenEd-main/src/main.lisp":

debugger invoked on a PACKAGE-DOES-NOT-EXIST in thread
#<THREAD "main thread" RUNNING {1000560083}>:
  The name "GENED" does not designate any package.

Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [CONTINUE ] Use the current package, COMMON-LISP-USER.
  1: [RETRY    ] Retry finding the package.
  2: [USE-VALUE] Specify a different package
  3:             Retry EVAL of current toplevel form.
  4:             Ignore error and continue loading file "/home/vanangamudi/agam/projects/code/cloned/GenEd-main/src/main.lisp".
  5: [ABORT    ] Abort loading file "/home/vanangamudi/agam/projects/code/cloned/GenEd-main/src/main.lisp".
  6:             Ignore runtime option --load "main.lisp".
  7:             Skip rest of --eval and --load options.
  8:             Skip to toplevel READ/EVAL/PRINT loop.
  9: [EXIT     ] Exit SBCL (calling #'EXIT, killing the process).

(SB-INT:%FIND-PACKAGE-OR-LOSE "GENED")
0] 0
WARNING:
   Cannot find type for specializer COMMON-LISP-USER::THING when executing
   SB-PCL:SPECIALIZER-TYPE-SPECIFIER for a STANDARD-METHOD of a
   STANDARD-GENERIC-FUNCTION.
While evaluating the form starting at line 9, column 0
  of #P"/home/vanangamudi/agam/projects/code/cloned/GenEd-main/src/main.lisp":

debugger invoked on a SB-PCL:CLASS-NOT-FOUND-ERROR in thread
#<THREAD "main thread" RUNNING {1000560083}>:
  There is no class named COMMON-LISP-USER::THING.

Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [RETRY   ] Retry EVAL of current toplevel form.
  1: [CONTINUE] Ignore error and continue loading file "/home/vanangamudi/agam/projects/code/cloned/GenEd-main/src/main.lisp".
  2: [ABORT   ] Abort loading file "/home/vanangamudi/agam/projects/code/cloned/GenEd-main/src/main.lisp".
  3:            Ignore runtime option --load "main.lisp".
  4:            Skip rest of --eval and --load options.
  5:            Skip to toplevel READ/EVAL/PRINT loop.
  6: [EXIT    ] Exit SBCL (calling #'EXIT, killing the process).

(SB-PCL::FIND-CLASS-FROM-CELL THING NIL T)
0] 6