Skip to content
Snippets Groups Projects
Commit a8d4805f authored by sof's avatar sof
Browse files

[project @ 1997-06-05 21:10:48 by sof]

tidied up
parent 8675aa2b
No related merge requests found
......@@ -4,5 +4,5 @@ CoreUnfold Unfolding UnfoldingGuidance mkUnfolding noUnfolding;
_declarations_
1 data Unfolding;
1 data UnfoldingGuidance;
1 mkUnfolding _:_ PragmaInfo.PragmaInfo -> CoreSyn.CoreExpr -> CoreUnfold.Unfolding ;;
1 noUnfolding _:_ CoreUnfold.Unfolding ;;
1 mkUnfolding _:_ PragmaInfo.PragmaInfo -> CoreSyn.CoreExpr -> Unfolding ;;
1 noUnfolding _:_ Unfolding ;;
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment