diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-06 09:47:36 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-06 09:47:36 -0800 |
commit | aef653a1712e6273f9b4ab5152d3b02a2989b8d0 (patch) | |
tree | d762fb5c1a0cec57261cad7a19323c063fb29deb /src/interp/nruncomp.boot | |
parent | 390e8b6664a6e5fd58111b8d650d176825a877d3 (diff) | |
download | open-axiom-aef653a1712e6273f9b4ab5152d3b02a2989b8d0.tar.gz |
optFunctorBody: Take a DB argument.
Diffstat (limited to 'src/interp/nruncomp.boot')
-rw-r--r-- | src/interp/nruncomp.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot index f12dd29e..7a53fe1e 100644 --- a/src/interp/nruncomp.boot +++ b/src/interp/nruncomp.boot @@ -516,8 +516,8 @@ buildFunctor(db,sig,code,$locals,$e) == --CODE: part 3 codePart3 := $epilogue ans := ["%bind",bindings, - ['%seq,:washFunctorBody optFunctorBody - [:codePart1,:codePart2,:codePart3],"$"]] + ['%seq,:washFunctorBody optFunctorBody(db, + [:codePart1,:codePart2,:codePart3]),"$"]] $getDomainCode := nil --if we didn't kill this, DEFINE would insert it in the wrong place SAY ['"time taken in buildFunctor: ",TEMPUS_-FUGIT()-oldtime] |