change to explicit import in Data.Function

7fdd86b6 · Tim Steenvoorden · 0dbd5925 · 7fdd86b6
Commit 7fdd86b6 authored Feb 08, 2016 by Tim Steenvoorden
--- a/src/Data/Function.dcl
+++ b/src/Data/Function.dcl
 definition module Data.Function

-import Clean.Prim
+from Clean.Prim import prim_abort

 // id :: a -> a
 id a :== a