Diffusion Poly/ML 71bd73eff7da

Remove some old compatibility code.
71bd73eff7da
Actions

Tags

None

Subscribers

None

Description

Remove some old compatibility code.

Details

Provenance

dcjm	Authored on Nov 6 2020, 4:03 PM

Parents

rPOLYML2f14e46474ad: Add type constraint to suppress warning message.

Branches

Unknown

Tags

Unknown

Event Timeline

dcjm committed rPOLYML71bd73eff7da: Remove some old compatibility code. (authored by dcjm).Nov 6 2020, 4:03 PM

Changes (7)

Path

Size

basis/

ExnPrinter.581.sml

Foreign.581.sml

ForeignMemory.581.sml

InitialBasis.581.ML

Windows.581.sml

libpolyml/

rPOLYML71bd73eff7da

basis/ExnPrinter.581.sml

Loading...

basis/Foreign.581.sml

Loading...

basis/ForeignMemory.581.sml

Loading...

basis/InitialBasis.581.ML

Loading...

basis/Windows.581.sml

Loading...

libpolyml/globals.h

Loading...

libpolyml/pexport.cpp

Loading...