diff options
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 506e5b5a..d8220750 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,33 @@ +2011-10-30 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/sys-macros.lisp (MKPF1): Tidy. + * interp/sys-constants.boot ($QueryVariables): New. + * interp/define.boot ($whreDecls): Remove. + (checkRepresentation): Take a DB as first parameter. Adjust Callers. + (buildConstructorCondition): New + (deduceImplicitParameters): Likewise + (compDefineCategory2): Use it. + (compDefineFunctor1): Likewise. + (typeDependencyPath): Remove. + (inferConstructorImplicitParameters): Likewise. + * interp/compiler.boot (compTopLevel): Do not bind $whereDecls. + (recordDeclarationInSideCondition): Take additional reference + parameter to the list of processed decls. Adjust callers. + (compWhere): Record any side decls in compilation environment. + * interp/c-util.boot (makeCompilationData): Initialize implicit data. + (dbParameters): New. + (dbImplicitData): New accessor macro. + (dbImplicitParameters): New. + (dbImplicitConstraints): Likewise. + (dbSubstituteFormals): Likewise. + (dbSubstituteQueries): Likewise. + * interp/database.boot (fixUpPredicate): Tidy. + * boot/utility.boot (applySubst): Early exit on identity substitution. + (applySubst!): Likewise. + (applySubstNQ): Likewise. + * boot/ast.boot (bfIS1): Accept pattern matching against Boolean + constant true. + 2011-10-29 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/daase.lisp (dbCompilerData): New accessor macro. |