Skip to content
Browse files

rename rts include file

  • Loading branch information...
1 parent ccc0f67 commit b70780f70c117609a4e790bbd6ed279275e401cc Edwin Brady committed
Showing with 12 additions and 10 deletions.
  1. +1 −1 idris.cabal
  2. +1 −1 iif/ctest.c
  3. +3 −3 rts/Makefile
  4. +1 −1 rts/{closure.c → idris_rts.c}
  5. +2 −2 rts/{closure.h → idris_rts.h}
  6. +1 −1 src/Core/Elaborate.hs
  7. +3 −1 src/Idris/ElabTerm.hs
View
2 idris.cabal
@@ -40,7 +40,7 @@ Description: Idris is a general purpose language with full dependent types.
Cabal-Version: >= 1.6
Build-type: Custom
-Data-files: rts/libidris_rts.a rts/closure.h
+Data-files: rts/libidris_rts.a rts/idris_rts.h
Extra-source-files: lib/Makefile lib/*.idr lib/prelude/*.idr lib/network/*.idr
lib/control/monad/*.idr lib/language/*.idr
tutorial/examples/*.idr
View
2 iif/ctest.c
@@ -1,4 +1,4 @@
-#include <closure.h>
+#include <idris_rts.h>
void plus(VM* vm, VAL* oldbase) {
INITFRAME;
View
6 rts/Makefile
@@ -1,5 +1,5 @@
-OBJS = closure.o
-HDRS = closure.h
+OBJS = idris_rts.o
+HDRS = idris_rts.h
CFLAGS = -g
LIBTARGET = libidris_rts.a
@@ -17,6 +17,6 @@ install : .PHONY
clean : .PHONY
rm -f $(OBJS) $(LIBTARGET)
-closure.o: closure.h
+idris_rts.o: idris_rts.h
.PHONY:
View
2 rts/closure.c → rts/idris_rts.c
@@ -4,7 +4,7 @@
#include <unistd.h>
#include <stdarg.h>
-#include "closure.h"
+#include "idris_rts.h"
VM* init_vm(int stack_size, size_t heap_size) {
VAL* valstack = malloc(stack_size*sizeof(VAL));
View
4 rts/closure.h → rts/idris_rts.h
@@ -1,5 +1,5 @@
-#ifndef _CLOSURE_H
-#define _CLOSURE_H
+#ifndef _IDRISRTS_H
+#define _IDRISRTS_H
#include <stdlib.h>
#include <stdio.h>
View
2 src/Core/Elaborate.hs
@@ -322,7 +322,7 @@ apply fn imps =
map fst (filter (not.snd) (zip args (map fst imps)))
ES (p, a) s prev <- get
let (n, hs) = -- trace ("AVOID UNIFY: " ++ show (fn, dontunify)) $
- unified p
+ unified p
let unify = dropGiven dontunify hs
put (ES (p { unified = (n, unify) }, a) s prev)
end_unify
View
4 src/Idris/ElabTerm.hs
@@ -234,7 +234,9 @@ elab ist info pattern tcgen fn tm
let isinf = f == inferCon || tcname f
ctxt <- get_context
let guarded = isConName Nothing f ctxt
- try (do ns <- apply (Var f) (map isph args)
+-- when True
+ try
+ (do ns <- apply (Var f) (map isph args)
let (ns', eargs)
= unzip $
sortBy (\(_,x) (_,y) -> compare (priority x) (priority y))

0 comments on commit b70780f

Please sign in to comment.
Something went wrong with that request. Please try again.