diff options
Diffstat (limited to 'src/full/Agda/Compiler/UHC/Primitives.hs')
| -rw-r--r-- | src/full/Agda/Compiler/UHC/Primitives.hs | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/src/full/Agda/Compiler/UHC/Primitives.hs b/src/full/Agda/Compiler/UHC/Primitives.hs index c2aff71..78ca53d 100644 --- a/src/full/Agda/Compiler/UHC/Primitives.hs +++ b/src/full/Agda/Compiler/UHC/Primitives.hs @@ -74,11 +74,13 @@ primFunctions = M.fromList $ -- Float , "primShowFloat" , "primFloatEquality" - , "primFloatLess" + , "primFloatNumericalEquality" + , "primFloatNumericalLess" , "primNatToFloat" , "primFloatPlus" , "primFloatMinus" , "primFloatTimes" + , "primFloatNegate" , "primFloatDiv" , "primFloatSqrt" , "primRound" @@ -87,10 +89,18 @@ primFunctions = M.fromList $ , "primExp" , "primLog" , "primSin" + , "primCos" + , "primTan" + , "primASin" + , "primACos" + , "primATan" + , "primATan" + , "primATan2" -- Reflection , "primQNameEquality" , "primQNameLess" , "primShowQName" + , "primQNameFixity" , "primMetaEquality" , "primMetaLess" , "primShowMeta" @@ -102,7 +112,7 @@ primFunctions = M.fromList $ -- lookup refl constructor bt <- fromMaybe __IMPOSSIBLE__ <$> (lift $ getBuiltin' builtinRefl) let reflNm = case T.ignoreSharing bt of - (T.Con conHd []) -> T.conName conHd + (T.Con conHd _ []) -> T.conName conHd _ -> __IMPOSSIBLE__ mkVar <$> getConstrFun reflNm |