From 8b59654a1bf1e661ba6c2d6729ed11b307efbbed Mon Sep 17 00:00:00 2001
From: johnvg
Date: Wed, 14 Feb 2007 13:18:39 +0000
Subject: implement qualified explicit imports

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

(limited to 'frontend/type.dcl')

diff --git a/frontend/type.dcl b/frontend/type.dcl
index 57428ea..f7d998b 100644
--- a/frontend/type.dcl
+++ b/frontend/type.dcl
@@ -3,9 +3,9 @@ definition module type
 import StdArray
 import syntax, check
 
-typeProgram ::!{! Group} !Int !*{# FunDef} !IndexRange  !(Optional Bool) !CommonDefs ![Declaration] !{# DclModule} !NumberSet !*TypeDefInfos !*Heaps !*PredefinedSymbols !*File !*File !{# DclModule}
-	-> (!Bool, !*{# FunDef}, !ArrayAndListInstances, !{# CommonDefs}, !{# {# FunType} }, !*TypeDefInfos, !*Heaps, !*PredefinedSymbols, !*File, !*File)
-
+typeProgram :: !{! Group} !Int !*{# FunDef} !IndexRange  !(Optional Bool) !CommonDefs !{!Declaration} ![([Declaration], Int, Position)] !{# DclModule} !NumberSet
+  																						 !*TypeDefInfos !*Heaps !*PredefinedSymbols !*File !*File
+	-> (!Bool, !*{# FunDef}, !ArrayAndListInstances, !{# CommonDefs}, !{# {# FunType} }, !*TypeDefInfos,!*Heaps,!*PredefinedSymbols,!*File,!*File)
 
 addPropagationAttributesToAType :: {#CommonDefs} !AType !*PropState -> *(!AType,Int,!*PropState);
 
-- 
cgit v1.2.3