MathAction #115 color highlighting of Axiom compiler output

Topics

FrontPage
- IssueTracker
  - #115 color highlighting of Axiom compiler output <-- You are here.

I have made some simple changes to improve how the output of the SPAD compiler is displayed on MathAction. Axiom commands and SPAD code are still highlighted in lightgreen. But the messages generated by the compiler are now shown with a lightgrey background. Like this:

fricas

(1) -> <spad>

fricas

)abbrev package SVT1 SymbolVariableTest1
SymbolVariableTest1(): Spec == Imp where
  Spec ==  with 
    symVar1:() -> Boolean
  Imp == add
    symVar1()==
      y: Variable(y) := y
      x: Variable(y) := y
      t: Boolean := (x = y)</spad>

fricas

Compiling FriCAS source code from file 
      /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/2836962772639158623-25px001.spad
      using old system compiler.
   SVT1 abbreviates package SymbolVariableTest1 
------------------------------------------------------------------------
   initializing NRLIB SVT1 for SymbolVariableTest1 
   compiling into NRLIB SVT1 
   compiling exported symVar1 : () -> Boolean
Time: 0 SEC.

(time taken in buildFunctor:  0)

;;;     ***       |SymbolVariableTest1| REDEFINED

;;;     ***       |SymbolVariableTest1| REDEFINED
Time: 0 SEC.

   Warnings: 
      [1] symVar1:  y has no value

   Cumulative Statistics for Constructor SymbolVariableTest1
      Time: 0 seconds

   finalizing NRLIB SVT1 
   Processing SymbolVariableTest1 for Browser database:
--->-->SymbolVariableTest1(constructor): Not documented!!!!
--->-->SymbolVariableTest1((symVar1 ((Boolean)))): Not documented!!!!
--->-->SymbolVariableTest1(): Missing Description
; compiling file "/var/aw/var/LatexWiki/SVT1.NRLIB/SVT1.lsp" (written 06 OCT 2024 09:09:41 PM):

; wrote /var/aw/var/LatexWiki/SVT1.NRLIB/SVT1.fasl
; compilation finished in 0:00:00.008
------------------------------------------------------------------------
   SymbolVariableTest1 is now explicitly exposed in frame initial 
   SymbolVariableTest1 will be automatically loaded when needed from 
      /var/aw/var/LatexWiki/SVT1.NRLIB/SVT1

I think this makes the page easier to read. Since the compiler is quite verbose, without this color coding it was sometimes hard to distinguish the input SPAD code from the compiler output.

The FunctionalMapping? page contains another example.

Comments welcome!

Grey background --wyscc, Fri, 04 Mar 2005 18:14:29 -0600 reply

This is an excellent idea. Beautiful! Thanks for this new page (FunctionalMapping?), too.

property change: Tue, 08 Mar 2005 05:43:04 -0600 reply

seems to work ok --Bill Page, Thu, 10 Mar 2005 22:59:32 -0600 reply

Status: testing => closed

compiler output is folded --Bill Page, Mon, 29 Aug 2005 08:19:19 -0500 reply

In addition to being shaded lightgrey, the compiler output is now also "folded", i.e. the output is collapsed to a single header line. You will notice a + sign in from the word axiom on the right hand side of the header. Clicking the + will display the compiler output. The + axiom turns to - axiom. If you click the - then the compiler output will be hidden.

Note also the +/- menu items at the top of the page. Clicking + will expand all folded output. Clicking - will hide it all.

Subject: (replying) Be Bold !!

	( 15 subscribers )