Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /dev-notes/TODO-110.85.md
ViewVC logotype

View of /dev-notes/TODO-110.85.md

Parent Directory Parent Directory | Revision Log Revision Log


Revision 4788 - (download) (annotate)
Thu Sep 6 12:59:27 2018 UTC (11 months, 2 weeks ago) by jhr
File size: 534 byte(s)
110.85 TODO
## TODO list for 110.85

* There are many Basis Library modules that include definitions of the form
  ````sml
    fun x ++ y = InlineT.Word31.copyt_int31 (InlineT.Word31.copyf_int31 x +
					     InlineT.Word31.copyf_int31 y)
    fun x ++ y = InlineT.Word31.copyt_int31 (InlineT.Word31.copyf_int31 x +
					     InlineT.Word31.copyf_int31 y)
  ````
  Perhaps we should add unchecked add and subtract operations to InlineT.Int31?

* Switch environment pickling to use ASDL

* Switch to new encoding of literals (see new-literals.md)


root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0