Nominal/ROOT.ML
changeset 2570 1c77e15c4259
parent 2568 8193bbaa07fe
child 2581 3696659358c8
equal deleted inserted replaced
2569:94750b31a97d 2570:1c77e15c4259
    16     "Ex/LetRec",
    16     "Ex/LetRec",
    17     "Ex/LetRec2",
    17     "Ex/LetRec2",
    18     "Ex/LetFun",
    18     "Ex/LetFun",
    19     "Ex/Modules",
    19     "Ex/Modules",
    20     "Ex/SingleLet",
    20     "Ex/SingleLet",
       
    21     "Ex/Shallow",
    21     "Ex/TypeSchemes",
    22     "Ex/TypeSchemes",
    22     "Ex/TypeVarsTest",
    23     "Ex/TypeVarsTest",
    23     "Ex/Foo1",
    24     "Ex/Foo1",
    24     "Ex/Foo2",
    25     "Ex/Foo2",
    25     "Ex/CoreHaskell"
    26     "Ex/CoreHaskell"