Check-in [223107a48f]

Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Fixed a bug in the translation of Uppercase atoms from Prolog.
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | bc-subst
Files: files | file ages | folders
SHA1:223107a48f5b5d41649b39f8e5458effe79046e9
User & Date: andy 2015-04-21 15:45:44
Context
2015-04-21
15:46
Added support for showing rule names in derivations. check-in: a989ccc9e5 user: andy tags: bc-subst
15:45
Fixed a bug in the translation of Uppercase atoms from Prolog. check-in: 223107a48f user: andy tags: bc-subst
2015-04-20
20:58
Updated checker module to work with the new atomic goal expansions. check-in: 4e6407ce10 user: andy tags: bc-subst
Changes
Hide Diffs Side-by-Side Diffs Ignore Whitespace Patch

Changes to src/terms.js.

   292    292               var body = j['args'].map(terms.fromJSON);
   293    293   
   294    294               return new terms.Compound(head,body);
   295    295           }
   296    296           else if(j === "_")
   297    297               // This might actually be any variable at all
   298    298               return new terms.PVar("_");
   299         -        else if(typeof j === "string" && j.match(/[_A-Z].*/))
          299  +        //else if(typeof j === "string" && j.match(/[_A-Z].*/))
   300    300               // Starts with upper-case: encode as PVar.
   301         -            return new terms.PVar(j);
          301  +        //    return new terms.PVar(j);
   302    302           else if(typeof j === "string" && j.startsWith(" "))
   303    303               return new terms.Variable(j.trimLeft());
   304    304           else 
   305    305               // Everything else: atoms, numbers, etc. becomes an atom.
   306    306               return new terms.Atom(j + "");
   307    307       }
   308    308   }