Return to namespace.sml CVS log

Up to [Research Unix] / researchv10no / cmd / sml / src / env

Annotation of researchv10no/cmd/sml/src/env/namespace.sml, revision 1.1

1.1     ! root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
        !             2: (* namespace.sml *)
        !             3: 
        !             4: structure NameSpace: NAMESPACE =
        !             5: struct
        !             6: 
        !             7:   open Symbol
        !             8: 
        !             9:   (* there are 7 namespaces, numbered 0 to 6 *)
        !            10:   val namespaces = 7
        !            11:   val varSpace = 0
        !            12:   val tycSpace = 1
        !            13:   val tyvSpace = 2
        !            14:   val sigSpace = 3
        !            15:   val strSpace = 4
        !            16:   val fctSpace = 5
        !            17:   val fixSpace = 6
        !            18: 
        !            19:   fun varIndex(id: symbol) = number(id)*namespaces
        !            20:   fun conIndex(id: symbol) = number(id)*namespaces
        !            21:   fun tycIndex(id: symbol) = number(id)*namespaces+1
        !            22:   fun tyvIndex(id: symbol) = number(id)*namespaces+2
        !            23:   fun sigIndex(id: symbol) = number(id)*namespaces+3
        !            24:   fun strIndex(id: symbol) = number(id)*namespaces+4
        !            25:   fun fctIndex(id: symbol) = number(id)*namespaces+5
        !            26:   fun fixIndex(id: symbol) = number(id)*namespaces+6
        !            27: 
        !            28:   fun varKey(id: symbol) = (number(id)*namespaces, name(id))
        !            29:   fun conKey(id: symbol) = (number(id)*namespaces, name(id))
        !            30:   fun tycKey(id: symbol) = (number(id)*namespaces+1, name(id))
        !            31:   fun tyvKey(id: symbol) = (number(id)*namespaces+2, name(id))
        !            32:   fun sigKey(id: symbol) = (number(id)*namespaces+3, name(id))
        !            33:   fun strKey(id: symbol) = (number(id)*namespaces+4, name(id))
        !            34:   fun fctKey(id: symbol) = (number(id)*namespaces+5, name(id))
        !            35:   fun fixKey(id: symbol) = (number(id)*namespaces+6, name(id))
        !            36: 
        !            37:   fun key(namespace:int, id:symbol) = 
        !            38:       (namespaces*(number id)+namespace, name id)
        !            39: 
        !            40: end (* NameSpace *)

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.