manifolds.Manifold: error in hover help

[magne]

org.magnolialang.errors.CompilationErrorException: Unknown Rascal error: "nameToStr(): Unknown constructor leaf/0"

/Applications/eclipse-rcp-indigo-SR1-macosx-cocoa-x86_64-magnolia/plugins/magnolia_eclipse_0.2.25/org/magnolialang/magnolia/typechecker/TypeChecker.rsc:47,10 /Applications/eclipse-rcp-indigo-SR1-macosx-cocoa-x86_64-magnolia/plugins/magnolia_eclipse_0.2.25/org/magnolialang/magnolia/lib/Names.rsc:248,58 somewhere in: nameToStr somewhere in: nameToStr somewhere in: getField somewhere in: chkExpr somewhere in: checkExpr somewhere in: chkExpr somewhere in: checkExpr somewhere in: checkExprBody somewhere in: check somewhere in: flattenTopExpr somewhere in: flattenTopExpr somewhere in: flatten somewhere in: flattenDef somewhere in: typeCheckDef somewhere in: typeCheckDef somewhere in: *magnolia* somewhere in: public org.eclipse.imp.pdb.facts.IValue org.rascalmpl.library.util.tasks.Manager.getFact(org.eclipse.imp.pdb.facts.IValue,org.eclipse.imp.pdb.facts.IValue,org.eclipse.imp.pdb.facts.IValue,org.rascalmpl.interpreter.IEvaluatorContext) somewhere in: typeCheckDef somewhere in: typeCheckDef somewhere in: *magnolia* somewhere in: public org.eclipse.imp.pdb.facts.IValue org.rascalmpl.library.util.tasks.Manager.getFact(org.eclipse.imp.pdb.facts.IValue,org.eclipse.imp.pdb.facts.IValue,org.eclipse.imp.pdb.facts.IValue,org.rascalmpl.interpreter.IEvaluatorContext) somewhere in: typeCheckDef somewhere in: *magnolia*

at org.magnolialang.errors.RascalErrors.decodeRascalError(RascalErrors.java:63) at org.magnolialang.magnolia.MagnoliaCompiler.getFactOrNull(MagnoliaCompiler.java:84) at org.magnolialang.magnolia.XRefResolver$GetFactJob.run(XRefResolver.java:83) at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54)

eclipse.buildId=M20120208-0800 java.version=1.6.0_31 java.vendor=Apple Inc. BootLoader constants: OS=macosx, ARCH=x86_64, WS=cocoa, NL=nb_NO Framework arguments: -product org.eclipse.epp.package.rcp.product -keyring /Users/magne/.eclipse_keyring -showlocation Command-line arguments: -os macosx -ws cocoa -arch x86_64 -product org.eclipse.epp.package.rcp.product -keyring /Users/magne/.eclipse_keyring -showlocation