I'm achieving that by the following in Common Lisp's type map (a new
addition to CommonLisp)
booleanType = new LangPrimType(Type.booleanType,
CommonLisp.getInstance());
types.put("boolean", booleanType);
types.put("t", ClassType.make("java.lang.Object")); // perhaps
Type.objectType instead (akin to Scheme's object type)?
types.put("nil", Type.voidType);
We probably need a type category for either sets of values or
predicates, but let's defer that until we deal with patterns.
OK, I mainly wanted |clisp:boolean| to start working so that I could
include the return types in my primitives.lisp file. That's done now,
but the refactoring is far from satisfying. I don't want to get overly
sidetracked here, but it's sometimes hard to refrain when the problem
is so open ended! :-)