search

jamievicary / globular

Globular
37 stars 9 forks source link

Corrupted workspace encountered #36

Closed jamievicary closed 8 years ago

jamievicary commented 8 years ago

A user Ed Morehouse reported to me that he cannot load his workspace: he just gets the message "Preparing to render...". Uncompressing the project data in his JSON file produces a data string which has been truncated, with the final part missing. I have no idea how this could have happened.

EdwardMorehouse commented 8 years ago

Just to follow up, I was using Mac OS X 10.11.2 with the Chromium browser (version 50.0).

The project involved constructing cubical sites in a monoidal category and formalizing some results about them (e.g. modular law implies lattice absorption). I used Unicode in naming some of the cells, in case that's relevant.

jamievicary commented 8 years ago

Ah, the unicode is the problem. Steps to replicate: load globular.science, change the name of "Cell 1" to "η", Export, then Import.

jamievicary commented 8 years ago

I've created https://github.com/jamievicary/globular/issues/37 to represent this bug, and I'm marking this as a duplicate.

jamievicary commented 8 years ago

By the way, this sounds cool, please show me when you've got something formalized!!

On Thu, Mar 3, 2016 at 1:53 AM, EdwardMorehouse notifications@github.com wrote:

Just to follow up, I was using Mac OS X 10.11.2 with the Chromium browser (version 50.0).

The project involved constructing cubical sites in a monoidal category and formalizing some results about them (e.g. modular law implies lattice absorption). I used Unicode in naming some of the cells, in case that's relevant.

— Reply to this email directly or view it on GitHub https://github.com/jamievicary/globular/issues/36#issuecomment-191535815 .