rename rts include file
commitb70780f70c117609a4e790bbd6ed279275e401cc
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateThu 30 Aug 2012, 22:03 (14 years ago)
parentccc0f67
idris.cabal+1−1
@@ -40,7 +40,7 @@ Description: Idris is a general purpose language with full dependent types.
4040Cabal-Version: >= 1.6
4141Build-type: Custom
4242
43−Data-files: rts/libidris_rts.a rts/closure.h
43+Data-files: rts/libidris_rts.a rts/idris_rts.h
4444Extra-source-files: lib/Makefile lib/*.idr lib/prelude/*.idr lib/network/*.idr
4545 lib/control/monad/*.idr lib/language/*.idr
4646 tutorial/examples/*.idr
iif/ctest.c+1−1
@@ -1,4 +1,4 @@
1−#include <closure.h>
1+#include <idris_rts.h>
22
33void plus(VM* vm, VAL* oldbase) {
44 INITFRAME;
rts/Makefile+3−3
@@ -1,5 +1,5 @@
1−OBJS = closure.o
2−HDRS = closure.h
1+OBJS = idris_rts.o
2+HDRS = idris_rts.h
33CFLAGS = -g
44
55LIBTARGET = libidris_rts.a
@@ -17,6 +17,6 @@ install : .PHONY
1717clean : .PHONY
1818 rm -f $(OBJS) $(LIBTARGET)
1919
20−closure.o: closure.h
20+idris_rts.o: idris_rts.h
2121
2222.PHONY:
rts/closure.c → rts/idris_rts.crenamed+1−1
@@ -4,7 +4,7 @@
44#include <unistd.h>
55#include <stdarg.h>
66
7−#include "closure.h"
7+#include "idris_rts.h"
88
99VM* init_vm(int stack_size, size_t heap_size) {
1010 VAL* valstack = malloc(stack_size*sizeof(VAL));
rts/closure.h → rts/idris_rts.hrenamed+2−2
@@ -1,5 +1,5 @@
1−#ifndef _CLOSURE_H
2−#define _CLOSURE_H
1+#ifndef _IDRISRTS_H
2+#define _IDRISRTS_H
33
44#include <stdlib.h>
55#include <stdio.h>
src/Core/Elaborate.hs+1−1
@@ -322,7 +322,7 @@ apply fn imps =
322322 map fst (filter (not.snd) (zip args (map fst imps)))
323323 ES (p, a) s prev <- get
324324 let (n, hs) = -- trace ("AVOID UNIFY: " ++ show (fn, dontunify)) $
325− unified p
325+ unified p
326326 let unify = dropGiven dontunify hs
327327 put (ES (p { unified = (n, unify) }, a) s prev)
328328 end_unify
src/Idris/ElabTerm.hs+3−1
@@ -234,7 +234,9 @@ elab ist info pattern tcgen fn tm
234234 let isinf = f == inferCon || tcname f
235235 ctxt <- get_context
236236 let guarded = isConName Nothing f ctxt
237− try (do ns <- apply (Var f) (map isph args)
237+-- when True
238+ try
239+ (do ns <- apply (Var f) (map isph args)
238240 let (ns', eargs)
239241 = unzip $
240242 sortBy (\(_,x) (_,y) -> compare (priority x) (priority y))