1. 13 Jan, 2009 1 commit
  2. 15 Jun, 2008 1 commit
  3. 11 Feb, 2008 1 commit
  4. 16 Jan, 2008 1 commit
    • Christophe Rhodes's avatar
      First cut at syntax (lexeme) highlighting for prolog in the new · 2b4b7100
      Christophe Rhodes authored
      stroke/pump world.
      
      There seem to be some cases where we're calling update-syntax with weird
      values, which seem to cause confusion in other places.  Some potential
      work-saving optimizations are disabled, but despite that it doesn't seem
      to be too slow on SWI Prolog's library/url.pl file.
      2b4b7100
  5. 15 Jan, 2008 1 commit
  6. 10 Jan, 2008 1 commit
    • Christophe Rhodes's avatar
      Restore prolog2paiprolog · e45f64c8
      Christophe Rhodes authored
      The source isn't clean, but its primary use right now is to check that
      prolog syntax is vaguely working (since we don't have prolog syntax
      highlighting).
      e45f64c8
  7. 09 Jan, 2008 1 commit
  8. 04 Jan, 2008 1 commit
    • Christophe Rhodes's avatar
      Make prolog syntax work · d7c9bcd2
      Christophe Rhodes authored
      (slowly, because we've lost the incremental nature: the buffer is fully
      reparsed every time, even if that work is unnecessary.)
      d7c9bcd2
  9. 16 Nov, 2006 1 commit
  10. 12 Nov, 2006 1 commit
  11. 02 Sep, 2006 1 commit
  12. 12 Jun, 2006 1 commit
  13. 06 May, 2006 1 commit
  14. 03 Mar, 2006 1 commit
  15. 01 Nov, 2005 2 commits
  16. 13 Oct, 2005 1 commit
  17. 15 Aug, 2005 1 commit
  18. 27 May, 2005 1 commit
  19. 26 May, 2005 2 commits
  20. 07 May, 2005 1 commit
    • Christophe Rhodes's avatar
      Improve the Prolog tokenizer. We now recognize · 3b1e287b
      Christophe Rhodes authored
        * binary constants: 0b...
        * octal constants:  0o...
        * hexadecimal constants: 0x...
        * char-code constants: 0'<quoted-char>
        * escaped characters in quoted strings:
          ** meta escapes such as \"
          ** control escapes such as \a
          ** numeric escapes such as \0177\ and \xabcd\
          ** "" (within a char-code-string) and '' (within a quoted-atom)
      3b1e287b
  21. 17 Apr, 2005 1 commit
    • Christophe Rhodes's avatar
      Deal with #\Tabs a bit better. · e6142832
      Christophe Rhodes authored
      * although ISO doesn't mandate it, treat a Tab as whitespace, because
        let's face it, it's pretty useless not to;
      * deal with #\Tab also in lexemes (necessary whether or not Tab is whitespace
        in Prolog syntax, where lexemes can contain whitespace characters);
      
      Highlight "" char-code-lists in green
      e6142832
  22. 12 Apr, 2005 1 commit
  23. 06 Apr, 2005 4 commits
  24. 05 Apr, 2005 1 commit
  25. 04 Apr, 2005 4 commits
  26. 02 Apr, 2005 1 commit
    • Christophe Rhodes's avatar
      Prolog syntax improvements: · e4ceed7c
      Christophe Rhodes authored
      * PRINT-OBJECT for PROLOG-LEXEMEs, for less pain while debugging;
      
      * OPEN-CT production rule from OPEN-CT-LEXEME, because we can;
      
      * rework the lexer a bit.  Now UPDATE-SYNTAX just invalidates the lex
        as it invalidates the parse, and UPDATE-SYNTAX-FOR-DISPLAY relexes as
        far as it needs to;
      
      * we need operator-compound-lterm and subclasses, because we cannot
        create multiple nonterminals from one rule: returning
          (make-instance 'lterm :term (make-instance 'foo ...))
        from a production rule leaves some slots in the FOO unfilled;
      
      * note my own bafflement as to why an apparently infinitely-recursive
        production doesn't recurse infinitely.  It can be fixed when needed,
        but why isn't it triggering?
      
      This version still gets various aspects of multiline lexemes wrong, but
      it's a lot better than before.
      e4ceed7c
  27. 31 Mar, 2005 1 commit
  28. 27 Mar, 2005 4 commits
    • Christophe Rhodes's avatar
    • Christophe Rhodes's avatar
      Parse [A,B]-style lists correctly. · 787cf6b4
      Christophe Rhodes authored
      787cf6b4
    • Christophe Rhodes's avatar
      "Concision is equivalent to powerfulness" · ff273ea5
      Christophe Rhodes authored
      Delete about 120 lines by defining define-prolog-rule to wrap around
      ADD-RULE.
      
      More known lacunae
        * [A,B] does not parse properly.
        * quoted tokens confuse the incremental lexer.
      ff273ea5
    • Christophe Rhodes's avatar
      Add a half-baked half-finished ISO Prolog syntax. · 2aa1652a
      Christophe Rhodes authored
      Known internal lacunae:
        * does not handle quotations correctly:
          ** fails to recognize '' as an escaped quote character (and similarly
             for other quote characters);
          ** fails to canonize quoted atoms; will fail to identify the operator
             ; from the quoted atom ';';
          ** does not contain any logic for backslash-escaped data.
        * does not implement parsing floating point numbers.
        * comments before directives get italicized.
        * way too long.  Expect some refactoring.
      
      Known suboptimal interactions with the syntax framework:
        * parses the entire buffer at every keystroke; incremental parsing caused
          a problem at some point and has not (yet) been restored.
        * displays the entire buffer at every keystroke.
        * the incremental lexer gets confused in the presence of comments.
          (see forthcoming mail to climacs-devel)
      2aa1652a