search

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.
http://quantomatic.github.io
152 stars 22 forks source link

Core doesn't compile in polyML 5.6 #150

Closed rossduncan closed 6 years ago

rossduncan commented 8 years ago

Mac OS 10.9.5, fresh build of polyML 5.6 release, fresh clone of quanto. When making quanto core the build fails with the following error.

ML-Systems/polyml.ML:98: error: Value or constructor (profiling) has not been declared in structure PolyML Found near PolyML.profiling Exception- Fail "Static Errors" raised Exception- Fail "Static Errors" raised Exception trace for exception - Fail raised in ./basis/FinalPolyML.sml line 491