Ravi
Welcome
Documentation
Documentation
About Ravi
Documentation
Introduction
Premiers pas avec Ravi
ravitool
Scheme Tutorial
Objets Scheme
Le shell ravi
Starting Ravi
Le module trace
Les ports d'E/S
The C Parser
load, require, modules
Système d'interruptions
Scheme compiler
C++ mode
Generating C++ Modules
La déclaration struct
Le type "C-object"
More information
Installation

[PREV][SUIV]

Premiers pas avec Ravi

  • les curseurs, plus généralement les commandes d'édition de ligne de style emacs/csh sont activés.

  • appel avec le paramètre --verbose, ou -v : le système est plus verbeux, il donne notamment un message pour chaque chargement de fichier

Quelques fonctions utiles

  • (quit) pour quitter
  • (require 'nom-module) chargement d'un module Certains modules - notamment help et trace - sont chargés au 1ier appel
  • (load "nom fichier") chargement d'un fichier. Cas de base: un fichier .scm avec du Scheme
  • (a-propos truc) imprime tous les symboles actuellement définis dont le nom contient la sous-chaine truc
  • (help nom/num) faire ? pour info
  • (trace fonction) trace les appels d'une fonction

Cliquer les titres à gauche pour plus de détails, notamment

===============================================

Exemple d'une brève session


ensibull{51} ravi -v
Ravi....
Fichier Charge : /home/perms/lux/Ravi/Ravi2/Runtime/newravi.mobj
......MV ready.......... GO !!!!
Chargement de  /home/perms/lux/Ravi/Ravi2/Runtime/Init.scm 
Chargement de  /home/perms/lux/.RaviInit.scm 

:>(require 'symbol-table) = Chargement de /home/perms/lux/Ravi/Ravi2/Module/symbol-tab.mobj ; ** Time : 0.10 sec #t :>(load "r-np") = Chargement de ./r-np.scm Chargement de ./prolog-lex.mobj Chargement de ./prolog-syntax.scm Chargement de ./new-prol.scm Chargement de /home/perms/lux/Ravi/Ravi2/Module/pretty-print.mobj Chargement de ./unif-comp.mobj Chargement de ./term-print.scm cp-Prol charge ; ** Time : 0.54 sec "" :>(a-propos table) = Chargement de /home/perms/lux/Ravi/Ravi2/Module/help.mobj Chargement de /home/perms/lux/Ravi/Ravi2/Module/pretty-print.mobj 1 h symbol-table 2 make-symbol-table 3 .add-class-table ; ** Time : 0.83 sec #t :>(eq? 'a 'A) = #f :>(help 2) = currently defined as function of 2 arguments " " :>(quit) = ; "Moriturus te Saluto" #t ensibull{52}