repositories
/
mTask.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
started with nucleo support
[mTask.git]
/
mTaskSimulation.icl
diff --git
a/mTaskSimulation.icl
b/mTaskSimulation.icl
index
ae7ddfb
..
d28a4fe
100644
(file)
--- a/
mTaskSimulation.icl
+++ b/
mTaskSimulation.icl
@@
-74,7
+74,7
@@
defEval2 v f =
instance sds Eval where
sds f = defEval f
con f = defEval f
instance sds Eval where
sds f = defEval f
con f = defEval f
-
//
pub _ = undef
+ pub _ = undef
defEval :: ((Eval t p)->In t (Main (Eval u q))) -> (Main (Eval u q)) | dyn t
defEval f =
defEval :: ((Eval t p)->In t (Main (Eval u q))) -> (Main (Eval u q)) | dyn t
defEval f =