From 22fb78252040fdfc120039ba81f0642ddd8ef8b9 Mon Sep 17 00:00:00 2001
From: martinw
Date: Tue, 15 Aug 2000 11:20:50 +0000
Subject: improved typing error messages: type variables are printed like "a"
 instead of "v314", case defaults and guards now also have file position
 information.

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@202 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/frontend.dcl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'frontend/frontend.dcl')

diff --git a/frontend/frontend.dcl b/frontend/frontend.dcl
index 69d1626..a41ccbe 100644
--- a/frontend/frontend.dcl
+++ b/frontend/frontend.dcl
@@ -22,5 +22,5 @@ import checksupport, transform, overloading
 	|	FrontEndPhaseConvertModules
 	|	FrontEndPhaseAll
 
-frontEndInterface :: !FrontEndPhase !Ident !SearchPaths !*PredefinedSymbols !*HashTable !*Files !*File !*File !*File -> (!*PredefinedSymbols, !*HashTable, !*Files, !*File, !*File, !*File, !Optional *FrontEndSyntaxTree) 
-// upToPhase name paths predefs files error io out
\ No newline at end of file
+frontEndInterface :: !FrontEndPhase !Ident !SearchPaths !Bool !*PredefinedSymbols !*HashTable !*Files !*File !*File !*File -> (!*PredefinedSymbols, !*HashTable, !*Files, !*File, !*File, !*File, !Optional *FrontEndSyntaxTree) 
+// upToPhase name paths list_inferred_types predefs files error io out
\ No newline at end of file
-- 
cgit v1.2.3