shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Local type signatures allowed now.

--- a/src/MicroHs/Graph.hs

+++ b/src/MicroHs/Graph.hs

@@ -134,7 +134,7 @@

 dfs :: Graph -> [Vertex] -> Forest Vertex

 dfs g vs0 = snd $ go IS.empty vs0

   where

-    --Xgo :: IS.IntSet -> [Vertex] -> (IS.IntSet, Forest Vertex)

+    go :: IS.IntSet -> [Vertex] -> (IS.IntSet, Forest Vertex)

     go done [] = (done, [])

     go done (v:vs) =

       if IS.member v done

--- a/src/MicroHs/Main.hs

+++ b/src/MicroHs/Main.hs

@@ -42,10 +42,8 @@

         App f a -> App (substv f) (substv a)

         e -> e

     def :: ((Ident, Exp), Int) -> (String -> String) -> (String -> String)

-    def d r =

-      case d of

-        ((_, e), i) ->

-          (("(($A :" ++ showInt i ++ " ") ++) . toStringP (substv e) . (") " ++) . r . (")" ++)

+    def ((_, e), i) r =

+      (("(($A :" ++ showInt i ++ " ") ++) . toStringP (substv e) . (") " ++) . r . (")" ++)

     res = foldr def (toStringP emain) (zip ds (enumFrom 0)) ""

     numDefs = M.size defs

   when (verbose flags > 0) $

-- 

⑨