src/compiler/Elab.sml

68 		 (errPrompt "because of circularity"; msgEOL())
132   handle Unify reason => typeClashId ii tau1 tau2 reason
147   handle Unify reason => typeClashPat pat tau1 tau2 reason
162   handle Unify reason => typeClashExp exp tau1 tau2 reason
167   handle Unify reason =>
623 	  end handle Subscript =>
661 	  end handle Subscript =>
693 	 end handle Subscript =>
704 	 handle Subscript =>
716 	    end handle Subscript =>
726 	 handle Subscript =>
738 	    end handle Subscript =>
749        handle Subscript =>
755 	   handle Subscript =>
768        end handle Subscript =>
780 	 end handle Subscript =>
790        handle Subscript =>
796 	   handle Subscript =>
804      handle Subscript =>
895     handle Subscript =>
903     handle Subscript => errorMsg loc ("Unbound type variable: " ^ id)
917        handle Subscript =>
1136                          handle Subscript => bindInEnv env id info
1315 			handle Subscript  => bindInEnv m a [b];
1340 			       handle Subscript =>
1430 					   handle Subscript => acc))
1584            handle Unify reason =>
1604            handle Unify reason =>
1635                          handle Unify reason => reportClash true reason)
1637                          handle Unify reason => reportClash false reason));
2088            handle Unify reason =>
2115          handle Unify reason =>
2183 	      handle MatchError matchReason =>
2220 	      handle MatchError matchReason =>
2548       handle Toplevel => reportExpectation expectation ii)
2558 	      handle MatchError matchReason =>
2582 	      handle MatchError matchReason =>
2688 	      handle MatchError matchReason =>
2741 		      handle MatchError matchReason =>
2925                            handle Subscript =>
2937 		  handle MatchError matchReason =>
2974 						     handle MatchError matchReason =>
2986 						     handle MatchError matchReason =>
3000 		  handle IllFormed =>
3036 		      handle MatchError matchReason =>
3196 				       handle Subscript => acc)
3202 			     handle Subscript =>