You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In Standard ML, there is a special kind of identifier, called a longid, which may contain dots. For example List.rev is a longid.
Allowing longids would be hard for Morel, because the syntax would conflict with our record.field notation. Instead, we create top-level record values for structures List and String. Thus List.rev is a reference to the rev field of the List.
Later we will remove the underscore-named objects, such as List_rev, from the environment.
The text was updated successfully, but these errors were encountered:
In Standard ML, there is a special kind of identifier, called a
longid
, which may contain dots. For exampleList.rev
is alongid
.Allowing
longid
s would be hard for Morel, because the syntax would conflict with ourrecord.field
notation. Instead, we create top-level record values for structuresList
andString
. ThusList.rev
is a reference to therev
field of theList
.Later we will remove the underscore-named objects, such as
List_rev
, from the environment.The text was updated successfully, but these errors were encountered: