From 315fc8ce2d0b5e0f41c3b07cdc283843585ab323 Mon Sep 17 00:00:00 2001
From: MarcelineVQ <marcythevq@gmail.com>
Date: Sun, 6 Sep 2020 20:30:16 -0700
Subject: [PATCH] change ForeignFn to use TTImp to match RawImp version

---
 libs/base/Language/Reflection/TTImp.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libs/base/Language/Reflection/TTImp.idr b/libs/base/Language/Reflection/TTImp.idr
index 60bc6581d..e1290a6e3 100644
--- a/libs/base/Language/Reflection/TTImp.idr
+++ b/libs/base/Language/Reflection/TTImp.idr
@@ -97,7 +97,7 @@ mutual
        GlobalHint : Bool -> FnOpt
        ExternFn : FnOpt
        -- Defined externally, list calling conventions
-       ForeignFn : List String -> FnOpt
+       ForeignFn : List TTImp -> FnOpt
        -- assume safe to cancel arguments in unification
        Invertible : FnOpt
        Totalty : TotalReq -> FnOpt