tixs/.hpc/Interval.mix

Mix "./Interval.hs" 2011-06-30 14:14:25 UTC 238116040 8 [(94:10-94:11,ExpBox False),(94:6-94:11,ExpBox False),(94:57-94:58,ExpBox False),(94:17-94:17,ExpBox False),(94:24-94:30,ExpBox False),(94:20-94:30,ExpBox False),(94:33-94:33,ExpBox False),(94:16-94:34,ExpBox False),(94:14-94:60,ExpBox False),(94:67-94:68,ExpBox False),(94:63-94:68,ExpBox False),(94:5-94:69,ExpBox False),(93:1-94:69,TopLevelBox ["complementIntervals"]),(62:13-62:17,ExpBox True),(63:27-63:27,ExpBox False),(63:32-63:32,ExpBox False),(63:27-63:32,ExpBox False),(63:42-63:42,ExpBox False),(63:44-63:45,ExpBox False),(63:37-63:45,ExpBox False),(63:27-63:45,ExpBox True),(62:1-63:45,TopLevelBox ["bad'"]),(58:20-58:21,ExpBox False),(58:26-58:27,ExpBox False),(58:20-58:27,ExpBox True),(60:27-60:28,ExpBox False),(60:22-60:28,ExpBox False),(59:25-59:26,ExpBox False),(59:28-59:29,ExpBox False),(59:20-59:29,ExpBox False),(59:34-59:35,ExpBox False),(59:40-59:41,ExpBox False),(59:34-59:41,ExpBox False),(59:20-59:41,ExpBox True),(58:1-60:28,TopLevelBox ["bad"]),(54:5-54:5,ExpBox False),(54:14-54:14,ExpBox False),(54:5-54:14,ExpBox False),(54:5-54:14,BinBox GuardBinBox True),(54:5-54:14,BinBox GuardBinBox False),(54:18-54:19,ExpBox True),(55:5-55:5,ExpBox False),(55:14-55:14,ExpBox False),(55:5-55:14,ExpBox False),(55:5-55:14,BinBox GuardBinBox True),(55:5-55:14,BinBox GuardBinBox False),(55:18-55:19,ExpBox True),(56:5-56:13,ExpBox False),(56:5-56:13,BinBox GuardBinBox True),(56:5-56:13,BinBox GuardBinBox False),(56:18-56:19,ExpBox True),(53:1-56:19,TopLevelBox ["cmpI"]),(44:19-44:19,ExpBox False),(44:22-44:26,ExpBox False),(44:29-44:29,ExpBox False),(44:18-44:30,ExpBox False),(44:1-44:30,TopLevelBox ["mkExit"]),(43:19-43:19,ExpBox False),(43:22-43:25,ExpBox False),(43:29-43:29,ExpBox False),(43:18-43:30,ExpBox False),(43:1-43:30,TopLevelBox ["mkEntry"]),(46:20-46:24,ExpBox False),(46:36-46:37,ExpBox False),(46:28-46:37,ExpBox False),(46:47-46:48,ExpBox False),(46:40-46:48,ExpBox False),(46:27-46:49,ExpBox False),(46:52-46:56,ExpBox False),(46:19-46:57,ExpBox False),(46:1-46:57,TopLevelBox ["entryexit"]),(48:35-48:36,ExpBox False),(48:40-48:41,ExpBox False),(48:35-48:41,ExpBox False),(48:35-48:41,BinBox GuardBinBox True),(48:35-48:41,BinBox GuardBinBox False),(48:57-48:58,ExpBox False),(48:60-48:61,ExpBox False),(48:47-48:61,ExpBox True),(49:35-49:43,ExpBox False),(49:35-49:43,BinBox GuardBinBox True),(49:35-49:43,BinBox GuardBinBox False),(49:57-49:58,ExpBox False),(49:60-49:61,ExpBox False),(49:47-49:61,ExpBox True),(48:1-49:61,TopLevelBox ["arrange"]),(47:20-47:23,ExpBox False),(47:34-47:35,ExpBox False),(47:27-47:35,ExpBox False),(47:46-47:47,ExpBox False),(47:38-47:47,ExpBox False),(47:26-47:48,ExpBox False),(47:51-47:54,ExpBox False),(47:19-47:55,ExpBox False),(47:1-47:55,TopLevelBox ["exitentry"]),(41:29-41:33,ExpBox False),(41:25-41:33,ExpBox False),(41:1-41:33,TopLevelBox ["isExit"]),(40:25-40:29,ExpBox False),(40:1-40:29,TopLevelBox ["isEntry"]),(68:30-68:38,ExpBox False),(68:30-68:38,BinBox GuardBinBox True),(68:30-68:38,BinBox GuardBinBox False),(68:42-68:43,ExpBox True),(69:30-69:38,ExpBox False),(69:30-69:38,BinBox GuardBinBox True),(69:30-69:38,BinBox GuardBinBox False),(69:42-69:43,ExpBox True),(70:30-70:38,ExpBox False),(70:30-70:38,BinBox GuardBinBox True),(70:30-70:38,BinBox GuardBinBox False),(70:42-70:43,ExpBox True),(71:30-71:38,ExpBox False),(71:30-71:38,BinBox GuardBinBox True),(71:30-71:38,BinBox GuardBinBox False),(71:42-71:43,ExpBox True),(73:23-73:23,ExpBox False),(73:25-73:25,ExpBox False),(73:18-73:25,ExpBox False),(74:30-74:30,ExpBox False),(74:22-74:30,ExpBox False),(74:43-74:43,ExpBox False),(74:35-74:43,ExpBox False),(74:22-74:43,ExpBox False),(74:22-74:43,BinBox CondBinBox True),(74:22-74:43,BinBox CondBinBox False),(74:50-74:50,ExpBox False),(74:67-74:69,ExpBox False),(74:71-74:73,ExpBox False),(74:54-74:73,ExpBox False),(74:50-74:73,ExpBox True),(75:63-75:65,ExpBox False),(75:67-75:69,ExpBox False),(75:50-75:69,ExpBox True),(74:19-75:69,ExpBox True),(76:30-76:30,ExpBox False),(76:22-76:30,ExpBox False),(76:22-76:30,BinBox CondBinBox True),(76:22-76:30,BinBox CondBinBox False),(76:37-76:37,ExpBox False),(76:54-76:56,ExpBox False),(76:58-76:59,ExpBox False),(76:41-76:59,ExpBox False),(76:37-76:59,ExpBox True),(77:54-77:56,ExpBox False),(77:58-77:59,ExpBox False),(77:41-77:59,ExpBox True),(76:19-77:59,ExpBox True),(78:30-78:30,ExpBox False),(78:22-78:30,ExpBox False),(78:22-78:30,BinBox CondBinBox True),(78:22-78:30,BinBox CondBinBox False),(78:37-78:37,ExpBox False),(78:54-78:55,ExpBox False),(78:57-78:59,ExpBox False),(78:41-78:59,ExpBox False),(78:37-78:59,ExpBox True),(79:54-79:55,ExpBox False),(79:57-79:59,ExpBox False),(79:41-79:59,ExpBox True),(78:19-79:59,ExpBox True),(73:13-79:59,ExpBox True),(68:9-79:59,LocalBox ["unionIntervals","uniIntervals"]),(67:6-67:16,ExpBox False),(67:21-67:31,ExpBox False),(67:6-67:31,ExpBox False),(67:47-67:48,ExpBox False),(67:50-67:51,ExpBox False),(67:34-67:51,ExpBox False),(67:54-67:62,ExpBox False),(67:67-67:75,ExpBox False),(67:54-67:75,ExpBox False),(67:5-67:76,ExpBox False),(66:1-79:59,TopLevelBox ["unionIntervals"]),(85:35-85:36,ExpBox False),(85:15-85:36,ExpBox False),(85:9-85:36,LocalBox ["intersectIntervals","js'"]),(84:35-84:36,ExpBox False),(84:15-84:36,ExpBox False),(84:9-84:36,LocalBox ["intersectIntervals","is'"]),(83:41-83:43,ExpBox False),(83:45-83:47,ExpBox False),(83:25-83:48,ExpBox False),(83:5-83:48,ExpBox False),(82:1-85:36,TopLevelBox ["intersectIntervals"]),(90:35-90:36,ExpBox False),(90:15-90:36,ExpBox False),(90:9-90:36,LocalBox ["differenceIntervals","is'"]),(89:41-89:43,ExpBox False),(89:45-89:46,ExpBox False),(89:25-89:47,ExpBox False),(89:5-89:47,ExpBox False),(88:1-90:36,TopLevelBox ["differenceIntervals"]),(38:24-38:25,ExpBox False),(38:32-38:32,ExpBox False),(38:34-38:35,ExpBox False),(38:28-38:35,ExpBox False),(38:38-38:39,ExpBox False),(38:23-38:40,ExpBox False),(38:1-38:40,TopLevelBox ["mapI"]),(36:14-36:17,ExpBox False),(36:20-36:21,ExpBox False),(36:24-36:27,ExpBox False),(36:13-36:28,ExpBox False),(36:1-36:28,TopLevelBox ["openIList"]),(35:15-35:19,ExpBox False),(35:22-35:23,ExpBox False),(35:26-35:30,ExpBox False),(35:14-35:31,ExpBox False),(35:1-35:31,TopLevelBox ["emptyIList"])]