StdDynSet

diff --git a/fp2/week3/camil/StdDynSet.icl b/fp2/week3/camil/StdDynSet.icl
index 2d3f95a..c4e90fe 100644 (file)
--- a/fp2/week3/camil/StdDynSet.icl
+++ b/fp2/week3/camil/StdDynSet.icl
@@ -4,70 +4,57 @@ import StdEnv
 import StdMaybe
 import StdDynamic
 
-fromDynamic :: Dynamic -> Maybe t | TC t
-fromDynamic (x :: t^) = Just x
-fromDynamic other = Nothing
-
 isEqual:: Dynamic t -> Bool | Set t
 isEqual (x :: t^) a = x == a
 isEqual _ _ = False
 
-//isEqual`:: Dynamic Dynamic -> Bool | Set t
-//isEqual` (x :: t^) (y :: t^) = x == y
-//isEqual` _ _ = False
-
-isEqual`` :: Dynamic Dynamic -> Bool
-isEqual`` x y = (fromJust(fromDynamic x)) == (fromJust(fromDynamic y))
-
 class Set a | TC, ==, toString a
 
-:: Set = Set [Dynamic]
+:: Set = Set [(Dynamic, Dynamic -> Bool, String)]
 
 instance zero     Set
 where zero = Set []
 
 instance toString Set
-where toString (Set a) = abort "toString not implemented"
+where toString (Set [(_,_,a):as]) = "{" +++ a +++ (foldl (+++) "" ["," +++ s \\ (_,_,s) <- as]) +++ "}"
        
 instance == Set
 where == a b = nrOfElts a == nrOfElts b && isSubset a b
 
-toSet :: a -> Set | Set, == a
-toSet e = Set [dynamic e]
+toSet :: a -> Set | Set a
+toSet e = Set [(dynamic e, \x = isEqual x e, toString e)]
 
 nrOfElts :: Set -> Int
 nrOfElts (Set a) = length a
 
 isEmptySet :: Set -> Bool
-isEmptySet (Set []) = True
-isEmptySet _ = False
+isEmptySet a = (nrOfElts a) == 0
 
-memberOfSet :: a Set -> Bool | Set, == a
+memberOfSet :: a Set -> Bool | Set a
 memberOfSet _ (Set []) = False
-memberOfSet x (Set [(y :: a^):xs]) = x == y || memberOfSet x (Set xs)
-memberOfSet x (Set [y:xs]) = memberOfSet x (Set xs)
+memberOfSet x (Set [(y,_,_):ys]) = isEqual y x || memberOfSet x (Set ys)
 
 dynMemberOfSet :: Dynamic Set -> Bool
 dynMemberOfSet _ (Set []) = False
-dynMemberOfSet x (Set [y:xs]) = isEqual x (fromJust(fromDynamic y)) || dynMemberOfSet x (Set xs)
-//dynMemberOfSet x (Set [y:xs]) = memberOfSet x (Set xs)
+dynMemberOfSet x (Set [(_,eq,_):ys]) = eq x || dynMemberOfSet x (Set ys)
 
 isSubset :: Set Set -> Bool
 isSubset a b = (nrOfElts a) == (nrOfElts (intersection a b))
 
 isStrictSubset :: Set Set -> Bool
-isStrictSubset a b = abort "isStrictSubset nog niet geimplementeerd.\n"
+isStrictSubset a b = isSubset a b && nrOfElts a < nrOfElts b
 
 union :: Set Set -> Set
-union (Set a) (Set b) = Set (a ++ b)
+union (Set a) (Set b) = Set (a ++ (fromSet (without (Set b) (Set a))))
+where 
+       fromSet :: Set -> [(Dynamic, Dynamic -> Bool, String)]
+       fromSet (Set x) = x
 
 intersection :: Set Set -> Set
-intersection (Set []) bs = bs
 intersection as (Set []) = as
-intersection (Set [a:as]) (Set bs) = Set [a \\ a <- as | not (dynMemberOfSet a (Set bs))]
+intersection (Set as) (Set bs) = Set [(a,eq,ts) \\ (a,eq,ts) <- as | dynMemberOfSet a (Set bs)]
 
 without :: Set Set -> Set
-without a b = abort "without nog niet geimplementeerd.\n"
+without (Set as) (Set bs) = Set [(a,eq,ts) \\ (a,eq,ts) <- as | not (dynMemberOfSet a (Set bs))]
 
-//Start :: Set
-Start = memberOfSet 2 (toSet 1)
+Start = toString (union (toSet 1) (toSet 2))

diff --git a/fp2/week3/camil/StdDynSet.prj b/fp2/week3/camil/StdDynSet.prj
index acd7e19..4328042 100644 (file)
--- a/fp2/week3/camil/StdDynSet.prj
+++ b/fp2/week3/camil/StdDynSet.prj
@@ -1,569 +1,569 @@
-Version: 1.4
-Global
-       ProjectRoot:    .
-       Built:  True
-       Target: Experimental
-       Exec:   {Project}\StdDynSet.exe
-       CodeGen
-               CheckStacks:    False
-               CheckIndexes:   True
-       Application
-               HeapSize:       2097152
-               StackSize:      512000
-               ExtraMemory:    81920
-               IntialHeapSize: 204800
-               HeapSizeMultiplier:     4096
-               ShowExecutionTime:      False
-               ShowGC: False
-               ShowStackSize:  False
-               MarkingCollector:       False
-               StandardRuntimeEnv:     True
-               Profile
-                       Memory: False
-                       MemoryMinimumHeapSize:  0
-                       Time:   False
-                       Stack:  False
-               Output
-                       Output: ShowConstructors
-                       Font:   Courier
-                       FontSize:       9
-                       WriteStdErr:    False
-       Link
-               LinkMethod:     Static
-               GenerateRelocations:    False
-               GenerateLinkMap:        False
-               LinkResources:  False
-               ResourceSource: 
-               GenerateDLL:    False
-               ExportedNames:  
-       Paths
-               Path:   {Project}
-       Precompile:     
-       Postlink:       
-MainModule
-       Name:   StdDynSet
-       Dir:    {Project}
-       Compiler
-               NeverMemoryProfile:     False
-               NeverTimeProfile:       False
-               StrictnessAnalysis:     True
-               ListTypes:      StrictExportTypes
-               ListAttributes: True
-               Warnings:       True
-               Verbose:        True
-               ReadableABC:    False
-               ReuseUniqueNodes:       True
-               Fusion: False
-OtherModules
-       Module
-               Name:   StdCleanTypes
-               Dir:    {Application}\Libraries\Dynamics
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdDynamic
-               Dir:    {Application}\Libraries\Dynamics
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   BitSet
-               Dir:    {Application}\Libraries\Dynamics\general
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   DefaultElem
-               Dir:    {Application}\Libraries\Dynamics\general
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   EnDecode
-               Dir:    {Application}\Libraries\Dynamics\general
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   DynIDMacros
-               Dir:    {Application}\Libraries\Dynamics\implementation
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   DynamicUtilities
-               Dir:    {Application}\Libraries\Dynamics\implementation
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdDynamicLowLevelInterface
-               Dir:    {Application}\Libraries\Dynamics\implementation
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdDynamicTypes
-               Dir:    {Application}\Libraries\Dynamics\implementation
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdDynamicVersion
-               Dir:    {Application}\Libraries\Dynamics\implementation
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   _SystemDynamic
-               Dir:    {Application}\Libraries\Dynamics\implementation
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   DynamicGraphConversion
-               Dir:    {Application}\Libraries\Dynamics\implementation\windows
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   DynamicLinkerInterface
-               Dir:    {Application}\Libraries\Dynamics\implementation\windows
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-               NeededObjFiles
-                       ObjectFile:     read_function.obj
-       Module
-               Name:   memory
-               Dir:    {Application}\Libraries\Dynamics\implementation\windows
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-               NeededObjFiles
-                       ObjectFile:     mem.obj
-       Module
-               Name:   memory_mapped_files
-               Dir:    {Application}\Libraries\Dynamics\implementation\windows
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-               NeededObjFiles
-                       ObjectFile:     low.obj
-               NeededLibraries
-                       Library:        StdDynamic_kernel32_library
-       Module
-               Name:   shared_buffer
-               Dir:    {Application}\Libraries\Dynamics\implementation\windows
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdArray
-               Dir:    {Application}\Libraries\StdEnv
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdBool
-               Dir:    {Application}\Libraries\StdEnv
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdChar
-               Dir:    {Application}\Libraries\StdEnv
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdCharList
-               Dir:    {Application}\Libraries\StdEnv
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdClass
-               Dir:    {Application}\Libraries\StdEnv
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdEnum
-               Dir:    {Application}\Libraries\StdEnv
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdEnv
-               Dir:    {Application}\Libraries\StdEnv
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdFile
-               Dir:    {Application}\Libraries\StdEnv
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdFunc
-               Dir:    {Application}\Libraries\StdEnv
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdInt
-               Dir:    {Application}\Libraries\StdEnv
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdList
-               Dir:    {Application}\Libraries\StdEnv
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdMisc
-               Dir:    {Application}\Libraries\StdEnv
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdOrdList
-               Dir:    {Application}\Libraries\StdEnv
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdOverloaded
-               Dir:    {Application}\Libraries\StdEnv
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdReal
-               Dir:    {Application}\Libraries\StdEnv
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdString
-               Dir:    {Application}\Libraries\StdEnv
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdTuple
-               Dir:    {Application}\Libraries\StdEnv
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   _SystemArray
-               Dir:    {Application}\Libraries\StdEnv
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   _SystemEnum
-               Dir:    {Application}\Libraries\StdEnv
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
-       Module
-               Name:   StdMaybe
-               Dir:    {Application}\Libraries\StdLib
-               Compiler
-                       NeverMemoryProfile:     False
-                       NeverTimeProfile:       False
-                       StrictnessAnalysis:     True
-                       ListTypes:      StrictExportTypes
-                       ListAttributes: True
-                       Warnings:       True
-                       Verbose:        True
-                       ReadableABC:    False
-                       ReuseUniqueNodes:       True
-                       Fusion: False
+Version: 1.4\r
+Global\r
+       ProjectRoot:    .\r
+       Built:  True\r
+       Target: Experimental\r
+       Exec:   {Project}\StdDynSet.exe\r
+       CodeGen\r
+               CheckStacks:    False\r
+               CheckIndexes:   True\r
+       Application\r
+               HeapSize:       2097152\r
+               StackSize:      512000\r
+               ExtraMemory:    81920\r
+               IntialHeapSize: 204800\r
+               HeapSizeMultiplier:     4096\r
+               ShowExecutionTime:      False\r
+               ShowGC: False\r
+               ShowStackSize:  False\r
+               MarkingCollector:       False\r
+               StandardRuntimeEnv:     True\r
+               Profile\r
+                       Memory: False\r
+                       MemoryMinimumHeapSize:  0\r
+                       Time:   False\r
+                       Stack:  False\r
+               Output\r
+                       Output: ShowConstructors\r
+                       Font:   Courier\r
+                       FontSize:       9\r
+                       WriteStdErr:    False\r
+       Link\r
+               LinkMethod:     Static\r
+               GenerateRelocations:    False\r
+               GenerateLinkMap:        False\r
+               LinkResources:  False\r
+               ResourceSource: \r
+               GenerateDLL:    False\r
+               ExportedNames:  \r
+       Paths\r
+               Path:   {Project}\r
+       Precompile:     \r
+       Postlink:       \r
+MainModule\r
+       Name:   StdDynSet\r
+       Dir:    {Project}\r
+       Compiler\r
+               NeverMemoryProfile:     False\r
+               NeverTimeProfile:       False\r
+               StrictnessAnalysis:     True\r
+               ListTypes:      StrictExportTypes\r
+               ListAttributes: True\r
+               Warnings:       True\r
+               Verbose:        True\r
+               ReadableABC:    False\r
+               ReuseUniqueNodes:       True\r
+               Fusion: False\r
+OtherModules\r
+       Module\r
+               Name:   StdCleanTypes\r
+               Dir:    {Application}\Libraries\Dynamics\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdDynamic\r
+               Dir:    {Application}\Libraries\Dynamics\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   BitSet\r
+               Dir:    {Application}\Libraries\Dynamics\general\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   DefaultElem\r
+               Dir:    {Application}\Libraries\Dynamics\general\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   EnDecode\r
+               Dir:    {Application}\Libraries\Dynamics\general\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   DynIDMacros\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   DynamicUtilities\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdDynamicLowLevelInterface\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdDynamicTypes\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdDynamicVersion\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   _SystemDynamic\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   DynamicGraphConversion\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\windows\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   DynamicLinkerInterface\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\windows\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+               NeededObjFiles\r
+                       ObjectFile:     read_function.obj\r
+       Module\r
+               Name:   memory\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\windows\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+               NeededObjFiles\r
+                       ObjectFile:     mem.obj\r
+       Module\r
+               Name:   memory_mapped_files\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\windows\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+               NeededObjFiles\r
+                       ObjectFile:     low.obj\r
+               NeededLibraries\r
+                       Library:        StdDynamic_kernel32_library\r
+       Module\r
+               Name:   shared_buffer\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\windows\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdArray\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdBool\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdChar\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdCharList\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdClass\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdEnum\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdEnv\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdFile\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdFunc\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdInt\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdList\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdMisc\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdOrdList\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdOverloaded\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdReal\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdString\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdTuple\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   _SystemArray\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   _SystemEnum\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r
+       Module\r
+               Name:   StdMaybe\r
+               Dir:    {Application}\Libraries\StdLib\r
+               Compiler\r
+                       NeverMemoryProfile:     False\r
+                       NeverTimeProfile:       False\r
+                       StrictnessAnalysis:     True\r
+                       ListTypes:      StrictExportTypes\r
+                       ListAttributes: True\r
+                       Warnings:       True\r
+                       Verbose:        True\r
+                       ReadableABC:    False\r
+                       ReuseUniqueNodes:       True\r
+                       Fusion: False\r

diff --git a/fp2/week3/camil/StdDynSet.prp b/fp2/week3/camil/StdDynSet.prp
index ed13257..87899a5 100644 (file)
--- a/fp2/week3/camil/StdDynSet.prp
+++ b/fp2/week3/camil/StdDynSet.prp
@@ -1,217 +1,217 @@
-Version: 1.4
-MainModule
-       Name:   StdDynSet
-       Dir:    {Project}
-       Dcl
-               WindowPosition
-                       X:      65
-                       Y:      47
-                       SizeX:  800
-                       SizeY:  640
-       DclOpen:        False
-       Icl
-               WindowPosition
-                       X:      10
-                       Y:      10
-                       SizeX:  800
-                       SizeY:  600
-       IclOpen:        False
-OtherModules
-       Module
-               Name:   StdCleanTypes
-               Dir:    {Application}\Libraries\Dynamics
-               Dcl
-                       WindowPosition
-                               X:      10
-                               Y:      10
-                               SizeX:  800
-                               SizeY:  600
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdDynamic
-               Dir:    {Application}\Libraries\Dynamics
-               Dcl
-                       WindowPosition
-                               X:      276
-                               Y:      168
-                               SizeX:  800
-                               SizeY:  600
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   BitSet
-               Dir:    {Application}\Libraries\Dynamics\general
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   DefaultElem
-               Dir:    {Application}\Libraries\Dynamics\general
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   EnDecode
-               Dir:    {Application}\Libraries\Dynamics\general
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   DynIDMacros
-               Dir:    {Application}\Libraries\Dynamics\implementation
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   DynamicUtilities
-               Dir:    {Application}\Libraries\Dynamics\implementation
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdDynamicLowLevelInterface
-               Dir:    {Application}\Libraries\Dynamics\implementation
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdDynamicTypes
-               Dir:    {Application}\Libraries\Dynamics\implementation
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdDynamicVersion
-               Dir:    {Application}\Libraries\Dynamics\implementation
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   _SystemDynamic
-               Dir:    {Application}\Libraries\Dynamics\implementation
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   DynamicGraphConversion
-               Dir:    {Application}\Libraries\Dynamics\implementation\windows
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   DynamicLinkerInterface
-               Dir:    {Application}\Libraries\Dynamics\implementation\windows
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   memory
-               Dir:    {Application}\Libraries\Dynamics\implementation\windows
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   memory_mapped_files
-               Dir:    {Application}\Libraries\Dynamics\implementation\windows
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   shared_buffer
-               Dir:    {Application}\Libraries\Dynamics\implementation\windows
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdArray
-               Dir:    {Application}\Libraries\StdEnv
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdBool
-               Dir:    {Application}\Libraries\StdEnv
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdChar
-               Dir:    {Application}\Libraries\StdEnv
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdCharList
-               Dir:    {Application}\Libraries\StdEnv
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdClass
-               Dir:    {Application}\Libraries\StdEnv
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdEnum
-               Dir:    {Application}\Libraries\StdEnv
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdEnv
-               Dir:    {Application}\Libraries\StdEnv
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdFile
-               Dir:    {Application}\Libraries\StdEnv
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdFunc
-               Dir:    {Application}\Libraries\StdEnv
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdInt
-               Dir:    {Application}\Libraries\StdEnv
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdList
-               Dir:    {Application}\Libraries\StdEnv
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdMisc
-               Dir:    {Application}\Libraries\StdEnv
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdOrdList
-               Dir:    {Application}\Libraries\StdEnv
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdOverloaded
-               Dir:    {Application}\Libraries\StdEnv
-               Dcl
-                       WindowPosition
-                               X:      10
-                               Y:      10
-                               SizeX:  800
-                               SizeY:  600
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdReal
-               Dir:    {Application}\Libraries\StdEnv
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdString
-               Dir:    {Application}\Libraries\StdEnv
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdTuple
-               Dir:    {Application}\Libraries\StdEnv
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   _SystemArray
-               Dir:    {Application}\Libraries\StdEnv
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   _SystemEnum
-               Dir:    {Application}\Libraries\StdEnv
-               DclOpen:        False
-               IclOpen:        False
-       Module
-               Name:   StdMaybe
-               Dir:    {Application}\Libraries\StdLib
-               DclOpen:        False
-               IclOpen:        False
+Version: 1.4\r
+MainModule\r
+       Name:   StdDynSet\r
+       Dir:    {Project}\r
+       Dcl\r
+               WindowPosition\r
+                       X:      65\r
+                       Y:      47\r
+                       SizeX:  800\r
+                       SizeY:  640\r
+       DclOpen:        False\r
+       Icl\r
+               WindowPosition\r
+                       X:      10\r
+                       Y:      10\r
+                       SizeX:  800\r
+                       SizeY:  600\r
+       IclOpen:        False\r
+OtherModules\r
+       Module\r
+               Name:   StdCleanTypes\r
+               Dir:    {Application}\Libraries\Dynamics\r
+               Dcl\r
+                       WindowPosition\r
+                               X:      10\r
+                               Y:      10\r
+                               SizeX:  800\r
+                               SizeY:  600\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdDynamic\r
+               Dir:    {Application}\Libraries\Dynamics\r
+               Dcl\r
+                       WindowPosition\r
+                               X:      276\r
+                               Y:      168\r
+                               SizeX:  800\r
+                               SizeY:  600\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   BitSet\r
+               Dir:    {Application}\Libraries\Dynamics\general\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   DefaultElem\r
+               Dir:    {Application}\Libraries\Dynamics\general\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   EnDecode\r
+               Dir:    {Application}\Libraries\Dynamics\general\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   DynIDMacros\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   DynamicUtilities\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdDynamicLowLevelInterface\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdDynamicTypes\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdDynamicVersion\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   _SystemDynamic\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   DynamicGraphConversion\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\windows\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   DynamicLinkerInterface\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\windows\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   memory\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\windows\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   memory_mapped_files\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\windows\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   shared_buffer\r
+               Dir:    {Application}\Libraries\Dynamics\implementation\windows\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdArray\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdBool\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdChar\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdCharList\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdClass\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdEnum\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdEnv\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdFile\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdFunc\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdInt\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdList\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdMisc\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdOrdList\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdOverloaded\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               Dcl\r
+                       WindowPosition\r
+                               X:      10\r
+                               Y:      10\r
+                               SizeX:  800\r
+                               SizeY:  600\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdReal\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdString\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdTuple\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   _SystemArray\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   _SystemEnum\r
+               Dir:    {Application}\Libraries\StdEnv\r
+               DclOpen:        False\r
+               IclOpen:        False\r
+       Module\r
+               Name:   StdMaybe\r
+               Dir:    {Application}\Libraries\StdLib\r
+               DclOpen:        False\r
+               IclOpen:        False\r